JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
5465e6e8ef
nixpkgs/pkgs/development/libraries/agda/standard-library
History
Ingo Blechschmidt 5465e6e8ef agdaPackages.standard-library: 1.4 -> 1.5
2021-01-27 14:06:34 +01:00
..
default.nix agdaPackages.standard-library: 1.4 -> 1.5 2021-01-27 14:06:34 +01:00