mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-24 09:25:01 +00:00
Code Issues Releases Activity
178,341 Commits 46 Branches 101 Tags 3.4 GiB
4fafe99105
Commit Graph

4 Commits

Author SHA1 Message Date
Li-Wen Hsu
9e16bde814 - Mark BROKEN for gcc 4.2 
- Mark DEPRECATED, this project is replaced by CVC3 (math/cvc3)
- Set EXPIRATION_DATE to 2007-06-30
 2007-06-01 14:35:25 +00:00
Li-Wen Hsu
69dd27cc3c - Change to my FreeBSD.org email 
Approved by:     clsung (mentor)
 2007-04-04 08:49:31 +00:00
Pav Lucistnik
97aab5b1c4 - Fix build on amd64 
- Respect CXXFLAGS

PR:		ports/103768
Submitted by:	Li-Wen Hsu <lwhsu@lwhsu.org> (maintainer)
 2006-09-28 17:12:19 +00:00
Ying-Chieh Liao
d15a699539 add cvcl 2.5.1 
An automatic theorem prover for the SMT problem

PR:		103412
Submitted by:	Li-Wen Hsu <lwhsu@lwhsu.org>
 2006-09-20 01:42:03 +00:00