kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/coq
History
Dirk Meyer 2b74a89bc8 - update png to 1.5.10
2012-06-01 05:26:28 +00:00
..
files - Update coq to 8.3.3 2012-03-25 09:21:05 +00:00
distinfo - Update coq to 8.3.3 2012-03-25 09:21:05 +00:00
Makefile - update png to 1.5.10 2012-06-01 05:26:28 +00:00
pkg-descr
pkg-plist - Update coq to 8.3.3 2012-03-25 09:21:05 +00:00