ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2025-01-06 21:42:35 +03:00
Code Issues Projects Releases Wiki Activity
25,237 Commits 96 Branches 102 Tags 4.8 GiB
ff953e211e
Commit Graph

1 Commits

Author SHA1 Message Date
Russell O'Connor
706cbc9318 Update coq to 8.4 2012-08-19 01:01:30 -04:00