kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/coq/distinfo
Johan van Selst d255abc4f2 - Update coq to 8.4.3 
- Enable stage support
- Simplify options handling
2014-01-11 09:31:40 +00:00

2 lines
129 B
Text
Raw Blame History

SHA256 (coq-8.4pl3.tar.gz) = 97583d637f981c5554007f4e99ce6420ebc737186b1d021bd71766fd891cfb38
SIZE (coq-8.4pl3.tar.gz) = 4064579
Reference in a new issue View git blame Copy permalink