ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-10-25 16:09:38 +03:00
Code Issues Projects Releases Wiki Activity
54,301 Commits 96 Branches 102 Tags 4.5 GiB
31b163b90b
Commit Graph

2 Commits

Author SHA1 Message Date
John Wiegley
f300c68977 coqPackages.ynot: remove broken tag 2014-10-11 19:32:16 -05:00
John Wiegley
904bee0c46 coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions 2014-10-11 17:24:59 -05:00