kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/coq/distinfo
Johan van Selst 51ccf06067 - Update coq to 8.3 
- Add a patch to fix threading issues

Submitted by:	AUGER Cedric <Cedric.Auger@lri.fr>
2010-11-09 07:09:26 +00:00

2 lines
123 B
Text
Raw Blame History

SHA256 (coq-8.3.tar.gz) = bd818e053948e6eed288753fe10fe2b23bdc6f277a8fe50a6233d8f07b263e0a
SIZE (coq-8.3.tar.gz) = 3736420
Reference in a new issue View git blame Copy permalink