Shea Levy 36935f9736 agdaPackages.cubical: 0.2 -> 0.3pred5030a9 ... 0.2 does not build with agda 2.6.2		2021-07-23 07:42:26 -04:00
..
agda-categories
agda-prelude
cubical	agdaPackages.cubical: 0.2 -> 0.3pred5030a9	2021-07-23 07:42:26 -04:00
functional-linear-algebra
generic
iowa-stdlib
standard-library