ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-13 21:32:23 +03:00
Code Issues Projects Releases Wiki Activity
53,358 Commits 96 Branches 102 Tags 4.5 GiB
8236ca5d70
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