Ingo Blechschmidt c8ca37a12d agdaPackages.standard-library: 2.1.1-rc2 -> 2.1.1		2024-09-11 19:21:08 +02:00
..
1lab
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
iowa-stdlib
standard-library	agdaPackages.standard-library: 2.1.1-rc2 -> 2.1.1	2024-09-11 19:21:08 +02:00