nixpkgs/pkgs/development/libraries/agda/agda-prelude
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