public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
47,517 Commits 1 Branch 0 Tags 1.5 GiB
Commit Graph

2 Commits

Author SHA1 Message Date
John Wiegley cfc70c60ab coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590 2014-08-16 00:13:15 -05:00
John Wiegley 83cf279452 Add an expression for building Coq HEAD 2014-08-08 18:11:00 -05:00