Naïm Favier 1bc5ddcff4 agdaPackages.cubical: clean up ... - use `C.UTF-8` so that we don't have to depend on glibcLocales - remove now unnecessary AGDA_EXEC - run pre/post-build hooks - add ncfavier as maintainer		2023-01-12 18:32:26 +01:00
..
agda-categories	agdaPackages.standard-library: 1.7 -> 1.7.1	2021-11-29 09:21:23 +01:00
agda-prelude
agdarsec
cubical	agdaPackages.cubical: clean up	2023-01-12 18:32:26 +01:00
functional-linear-algebra
generic
iowa-stdlib
standard-library	agdaPackages.standard-library: 1.7 -> 1.7.1	2021-11-29 09:21:23 +01:00