JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
69a30a4d68
nixpkgs/pkgs/development/libraries/agda/agda-prelude
History
Alex Rice 8735356e27
agda-prelude: compat-2.6.0 -> compat-2.6.1
2020-08-10 15:07:49 +01:00
..
default.nix agda-prelude: compat-2.6.0 -> compat-2.6.1 2020-08-10 15:07:49 +01:00