Naïm Favier 963278d147 agdaPackages.cubical: unstable-2023-02-09 -> 0.5 ... https://github.com/agda/cubical/releases/tag/v0.5		2023-07-05 11:14:29 +02:00
..
agda-categories	agda: 2.6.2.2 -> 2.6.3	2023-02-14 14:45:39 +01:00
agda-prelude	agda: 2.6.2.2 -> 2.6.3	2023-02-14 14:45:39 +01:00
agdarsec
cubical	agdaPackages.cubical: unstable-2023-02-09 -> 0.5	2023-07-05 11:14:29 +02:00
functional-linear-algebra
generic
iowa-stdlib
standard-library	agda: 2.6.2.2 -> 2.6.3	2023-02-14 14:45:39 +01:00