Ingo Blechschmidt c8ca37a12d agdaPackages.standard-library: 2.1.1-rc2 -> 2.1.1		2024-09-11 19:21:08 +02:00
..
1lab	agdaPackages._1lab: unstable-2024-03-07 -> unstable-2024-08-05	2024-08-20 11:01:53 +02:00
agda-categories
agda-prelude	agdaPackages.agda-prelude: unstable-2023-10-04 -> unstable-2024-08-22	2024-08-22 10:59:03 +02:00
agdarsec
cubical
functional-linear-algebra
generic
generics	agdaPackages.generics: init at 1.0.1	2024-07-01 17:11:41 +02:00
iowa-stdlib
standard-library	agdaPackages.standard-library: 2.1.1-rc2 -> 2.1.1	2024-09-11 19:21:08 +02:00