Martin Wilke
|
bb86cbe5d2
|
- Get Rid MD5 support
|
2011-03-20 12:54:45 +00:00 |
|
Alex Dupre
|
bf330a57d4
|
Switch to use newer GMP version.
PR: ports/144487
Submitted by: ale
Approved by: portmgr (-exp run by erwin)
|
2010-04-19 10:43:42 +00:00 |
|
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 |
|