kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/coq
History
Johan van Selst 590950f595 Update to 8.2.1
2009-03-16 07:38:00 +00:00
..
distinfo Update to 8.2.1 2009-03-16 07:38:00 +00:00
Makefile Update to 8.2.1 2009-03-16 07:38:00 +00:00
pkg-descr
pkg-plist Update to 8.2.1 2009-03-16 07:38:00 +00:00