swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-10-21 05:01:06 +02:00
Code Issues Packages Projects Releases Wiki Activity
48066 commits 5 branches 0 tags 31 GiB
Commit graph

1 commit

Author SHA1 Message Date
Peter Simons 84cf3f3de7 Agda: drop obsolete version 2.3.2.2 2014-07-31 13:58:36 +02:00
Renamed from pkgs/development/compilers/agda/2.4.0.2.nix (Browse further)