nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-20 12:43:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
a480c1ebb1
nixpkgs/pkgs/development/libraries/agda/standard-library
History
Anderson Torres 519c4f1727
Merge pull request #110830 from iblech/patch-agdastdlib15 
agdaPackages.standard-library: 1.4 -> 1.5
2021-02-03 15:56:55 -03:00
..
default.nix Merge pull request #110830 from iblech/patch-agdastdlib15 2021-02-03 15:56:55 -03:00