nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-06 21:13:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
c770b491e3
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