mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 06:01:15 +00:00
Code Issues Wiki Activity
nixpkgs/pkgs/development/compilers/agda
History
Mathijs Kwik 9ceeb77bd3 agda-stdlib: no need to jailbreak anymore
2014-06-19 13:38:54 +02:00
..
2.3.2.2.nix Agda: add 2.4.0.1, 2.3.2.2 is still the default for now 2014-06-16 14:03:17 -07:00
2.4.0.1.nix Agda: add 2.4.0.1, 2.3.2.2 is still the default for now 2014-06-16 14:03:17 -07:00
stdlib-0.7.nix Agda: add 2.4.0.1, 2.3.2.2 is still the default for now 2014-06-16 14:03:17 -07:00
stdlib-0.8.nix agda-stdlib: no need to jailbreak anymore 2014-06-19 13:38:54 +02:00