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
..
default.nix	agdaPackages.cubical: clean up	2023-01-12 18:32:26 +01:00