kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/coq/distinfo

3 lines
94 B
Text
Raw Normal View History

Update to 8.0p2 PR: ports/76977 Submitted by: Rene Laden (maintainer)
2005-02-02 12:34:42 +01:00
MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79
SIZE (coq-8.0pl2.tar.gz) = 2285855
Reference in a new issue Copy permalink