cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
d618c716d6
freebsd-ports/math/cvc3
History
Li-Wen Hsu 91f7d86366 - Update to 1.2.1
2007-09-07 22:54:09 +00:00
..
distinfo - Update to 1.2.1 2007-09-07 22:54:09 +00:00
Makefile - Update to 1.2.1 2007-09-07 22:54:09 +00:00
pkg-descr
pkg-plist - Update to 1.2.1 2007-09-07 22:54:09 +00:00