nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 12:53:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
e65b7e3a63
nixpkgs/pkgs/development/libraries/agda/cubical
History
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