MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-16 23:03:40 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
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