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
agda-prelude
agdarsec
cubical
functional-linear-algebra
generic
iowa-stdlib
standard-library