mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-12 07:27:57 +00:00
Code Issues Releases Activity
233,369 Commits 46 Branches 101 Tags 3.4 GiB
e2f3e3062f
Commit Graph

5 Commits

Author SHA1 Message Date
Alex Dupre
523a16e2bd Chase libgmp and bump PORTREVISION. 2009-05-13 09:46:02 +00:00
Ade Lovett
dbd39ca660 Migration from bison 1.x to 2.x 
PR:		117086
Tested by:	-exp runs
 2007-10-17 10:13:01 +00:00
Li-Wen Hsu
91f7d86366 - Update to 1.2.1 2007-09-07 22:54:09 +00:00
Li-Wen Hsu
69dd27cc3c - Change to my FreeBSD.org email 
Approved by:     clsung (mentor)
 2007-04-04 08:49:31 +00:00
Cheng-Lung Sung
8fdb6ad4aa Add cvc3 1.0, an automatic theorem prover for the SMT problem. 
PR:		ports/110770
Submitted by:	Li-Wen Hsu <lwhsu at lwhsu.org>
 2007-03-25 04:04:30 +00:00