mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-18 17:10:27 +00:00
Code Issues Wiki Activity
44887 commits 197 branches 125 tags 12 GiB
Commit graph

1 commit

Author SHA1 Message Date
John Wiegley 61e8fe50c2 Agda: add 2.4.0.1, 2.3.2.2 is still the default for now 2014-06-16 14:03:17 -07:00