notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

FInally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combinatio for a given watch list. This is what FreshPorts will look for.

non port: math/cvc3/Makefile

Number of commits found: 29

Thursday, 5 Jan 2023
08:16 Li-Wen Hsu (lwhsu) search for other commits by this committer
Remove math/cvc3, it was succeeded by CVC4 and CVC5

Reported by:	yuri
commit hash: 7a04fc56833848131e198bfaed4c7d5b468cb87d commit hash: 7a04fc56833848131e198bfaed4c7d5b468cb87d commit hash: 7a04fc56833848131e198bfaed4c7d5b468cb87d commit hash: 7a04fc56833848131e198bfaed4c7d5b468cb87d 7a04fc5
Wednesday, 7 Sep 2022
21:10 Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.

This commit implements such a proposal and moves one of the WWW: entries
of each pkg-descr file into the respective port's Makefile. A heuristic
attempts to identify the most relevant URL in case there is more than
one WWW: entry in some pkg-descr file. URLs that are not moved into the
Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr
files in order to preserve them.

There are 1256 ports that had no WWW: entries in pkg-descr files. These
ports will not be touched in this commit.

The portlint port has been adjusted to expect a WWW entry in each port
Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as
deprecated.

Approved by:		portmgr (tcberner)
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 b7f0544
Wednesday, 20 Jul 2022
14:22 Tobias C. Berner (tcberner) search for other commits by this committer
math: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Aaron Dalton <aaron@daltons.ca>
  *  Alessando Sagratini <ale_sagra@hotmail.com>
  *  Alex Dupre <ale@FreeBSD.org>
  *  Alexey Dokuchaev <danfe@FreeBSD.org>
  *  Amarendra Godbole <amarendra.godbole@gmail.com>
  *  Anders Nordby <anders@FreeBSD.org>
  *  Andreas Fehlner (fehlner@gmx.de)
  *  Andrew L. Neporada <andrew@chg.ru>
  *  Andrey <gugu@zoo.rambler.ru>
  *  Andrey Zakhvatov
  *  Anton Berezin <tobez@FreeBSD.org>
  *  Anton Berezin <tobez@plab.ku.dk>
  *  Anton Berezin <tobez@tobez.org>
  *  Anton Shterenlikht
  *  Anton Shterenlikht <mexas@bris.ac.uk>
  *  Bob Eager <bob@eager.cx>
  *  Charlie Kester <corky1951@comcast.net>
  *  Cheng-Lung Sung <clsung@FreeBSD.org>
  *  Cheng-Lung Sung <clsung@dragon2.net>
  *  Chris D. Faulhaber <jedgar@fxp.org>
  *  Christopher J. Ruwe
  *  Christopher Key <cjk32@cam.ac.uk>
  *  Chuck Hein <geekdude@pacbell.net>
  *  Cyrille Szymanski <cnszym@gmail.com>
  *  Dan Rue <drue@therub.org>
  *  Danilo Egea Gondolfo <danilo@FreeBSD.org>
  *  David Naylor <dbn@FreeBSD.org>
  *  David Naylor <naylor.b.david@gmail.com>
  *  Dereckson <dereckson@gmail.com>
  *  Devin Teske <dteske@FreeBSD.org>
  *  Dmitry Sivachenko <demon@FreeBSD.org>
  *  Dmitry Sivachenko <mitya@yandex-team.ru>
  *  Don Croyle <croyle@gelemna.org>
  *  Douglas K. Rand (rand@meridian-enviro.com)
  *  Dylan Simon <dylan@dylex.net>
  *  Edwin Groothuis <edwin@mavetju.org>
  *  Eijiro Shibusawa <ej-sib@ice.uec.ac.jp>
  *  Emanuel Haupt <ehaupt@FreeBSD.org>
  *  Eoin Lawless (eoin@maths.tcd.ie)
  *  Eric A. Griff <eagriff@global2000.net>
  *  Eric van Gyzen <vangyzen@stat.duke.edu>
  *  Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>
  *  Fernan Aguero <fernan@iib.unsam.edu.ar>
  *  Foxfair Hu <foxfair@FreeBSD.org>
  *  Frederic Han <han@math.jussieu.fr>
  *  Gabor Kovesdan <gabor@FreeBSD.org>
  *  Gea-Suan Lin <gslin@gslin.org>
  *  George Reid <greid@ukug.uk.freebsd.org>
  *  Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
  *  Greg Larkin <glarkin@FreeBSD.org>
  *  Guangyuan Yang <ygy@FreeBSD.org>
  *  Gustau Perez i Querol <gustau.perez@gmail.com>
  *  Heinz Tschabitscher
  *  Horia Racoviceanu <horia@racoviceanu.com>
  *  Hye-Shik Chang <perky@fallin.lv>
  *  Iblis Lin <iblis@hs.ntnu.edu.tw>
  *  Issei Suzuki <issei@jp.FreeBSD.ORG>
  *  Janni
  *  Jason Harris <jharris@widomaker.com>
  *  Javad Kouhi <javad.kouhi@gmail.com>
  *  Jean-Yves Lefort <jylefort@FreeBSD.org>
  *  Jin-Shan Tseng <tjs@cdpa.nsysu.edu.tw>
  *  Joe Marcus Clarke <marcus@FreeBSD.org>
  *  Johannes Dieterich <dieterich@ogolem.org>
  *  Johannes M Dieterich <jmd@FreeBSD.org>
  *  Johannes Meixner <johannes@perceivon.net>
  *  John Marino <marino@FreeBSD.org>
  *  Joseph Koshy <jkoshy@FreeBSD.org>
  *  Ju Pengfei <ju.pengfei@gmail.com>
  *  Jukka A. Ukkonen <jau@iki.fi>
  *  Kay Lehmann <kay_lehmann@web.de>
  *  Kevin Lo <kevlo@FreeBSD.org>
  *  Klaus T. Aehlig <aehlig@linta.de>
  *  Kubilay Kocak <koobs@FreeBSD.org>
  *  Kurt Jaeger <fbsd-ports@opsec.eu>
  *  Lars Engels <lme@FreeBSD.org>
  *  Lars Koeller <Lars.Koeller@Uni-Bielefeld.DE>
  *  Lars Koeller <Lars.Koeller@Uni-Bielefeld.de>
  *  Li-Wen Hsu <lwhsu@FreeBSD.org>
  *  Li-Wen Hsu <lwhsu@lwhsu.org>
  *  M. L. Dodson, <bdodson@scms.utmb.edu>
  *  Maho Nakata <maho@FreeBSD.org>
  *  Mario S F Ferreira <lioux@FreeBSD.org>
  *  Mario S F Ferreira <lioux@linf.unb.br> et al.
  *  Mario Sergio Fujikawa Ferreira <lioux@FreeBSD.org>
  *  Mark Felder <feld@FreeBSD.org>
  *  Mark R V Murray <markm@FreeBSD.org>
  *  Martin Matuska <mm@FreeBSD.org>
  *  Matthew Seaman <matthew@FreeBSD.org>
  *  Maurice Castro <maurice@serc.rmit.edu.au>
  *  Maxim Sobolev <sobomax@FreeBSD.org>
  *  Maxime Henrion <mux@FreeBSD.org>
  *  Michael Haro <mharo@FreeBSD.org>
  *  Michael Johnson <ahze@FreeBSD.org>
  *  Michael Johnson <ahze@ahze.net>
  *  Michael Neumann <mneumann@ntecs.de>
  *  Muhammad Moinur Rahmanh <5u623l20@gmail.com>
  *  NAKATA Maho <chat95@mbox.kyoto-inet.or.jp>
  *  NAKATA, Maho <maho@FreeBSD.org>
  *  Nakata Maho <maho@FreeBSD.org>
  *  Nicola Vitale <nivit@email.it>
  *  Olivier Duchateau
  *  Pedro F. Giffuni
  *  Pedro F. Giffuni <giffunip@asme.org>
  *  Pedro Giffuni
  *  Pedro Giffuni <giffunip@asme.org>
  *  Pedro Giffuni <pfg@FreeBSD.org>
  *  Peter Pentchev <roam@FreeBSD.org>
  *  Philip Paeps <philip@FreeBSD.org>
  *  Pierre-Paul Lavoie <ppl@nbnet.nb.ca>
  *  Pietro Cerutti <gahr@FreeBSD.org>
  *  Piotr Rybicki <meritus@innervision.pl>
  *  Po-Chuan Hsieh <sunpoet@FreeBSD.org>
  *  Rainer Hurling <rhurlin@gwdg.de>
  *  Robert Jenssen
  *  Robin Schilham
  *  Rod Taylor <ports@rbt.ca>
  *  Roman Neuhauser <neuhauser@sigpipe.cz>
  *  Sander Vesik <sander@haldjas.folklore.ee>
  *  Scott Flatman <sf@dsinw.com>
  *  Seamus Venasse <svenasse@polaris.ca>
  *  Sergey A. Osokin <osa@FreeBSD.org>
  *  Sergey Akifyev <asa@agava.com>
  *  Sergey Akifyev <asa@gascom.ru>
  *  Sergey Skvortsov <skv@FreeBSD.org>
  *  Sergey Skvortsov <skv@protey.ru>
  *  Shell Hung <shell@shellhung.org>
  *  Shin-ya MURAKAMI <murashin@gfd-dennou.org>
  *  Stas Timokhin <devel@stasyan.com>
  *  Stefan A. Deutscher (sad@mailaps.org)
  *  Stefan Esser <se@StefanEsser.FreeBSD.org>
  *  Stephen Montgomery-Smith <stephen@FreeBSD.edu>
  *  Stephen Montgomery-Smith <stephen@FreeBSD.org>
  *  Stephen Montgomery-Smith <stephen@math.missouri.edu>
  *  Stephen Montgomery-Smith <stephen@missouri.edu>
  *  Steve Wills <steve@mouf.net>
  *  Steve Wills <swills@FreeBSD.org>
  *  Steven Kreuzer <skreuzer@FreeBSD.org>
  *  Steven Kreuzer <skreuzer@f2o.org>
  *  Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>
  *  TAKATSU Tomonari <tota@FreeBSD.org>
  *  Thierry Thomas (<thierry@pompo.net>)
  *  Thierry Thomas <thierry@pompo.net>
  *  Thomas Gellekum <tg@FreeBSD.org>
  *  Thomas Sandford <freebsduser@paradisegreen.co.uk>
  *  Timothy Bourke <timbob@bigpond.com>
  *  Tony Maher
  *  Tz-Huan Huang <tzhuan@csie.org>
  *  Vsevolod Stakhov <vsevolod@FreeBSD.org>
  *  Vsevolod Stakhov <vsevolod@highsecure.ru>
  *  Waitman Gobble <waitman@waitman.net>
  *  Wen Heping <wen@FreeBSD.org>
  *  Wen Heping <wenheping@gmail.com>
  *  Will Andrews <andrews@technologist.com>
  *  Yi-Hsuan Hsin <mhsin@mhsin.org>
  *  Ying-Chieh Liao <ijliao@FreeBSD.org>
  *  Yinghong.Liu <relaxbsd@gmail.com>
  *  Yoshiaki UCHIKAWA <yoshiaki@kt.rim.or.jp>
  *  Yukihiro Nakai <Nakai@technologist.com>
  *  Yuri Victorovich <yuri@FreeBSD.org>
  *  Yuri Victorovich <yuri@rawbw.com>
  *  Yuri Victorovich <yuri@tsoft.com>
  *  Zhen REN <bg1tpt@gmail.com>
  *  amir.husaini@gmail.com
  *  arved
  *  asami
  *  b.f. <bf@FreeBSD.org>
  *  bart <lbartoletti@FreeBSD.org>
  *  bauerm
  *  bf <bf2006a@yahoo.com>
  *  bf <bf@FreeBSD.org>
  *  bf@FreeBSD.org
  *  bremner@unb.ca
  *  chinsan
  *  chuckr@FreeBSD.org
  *  dawe <daweonline@gmail.com>
  *  dbader@ece.unm.edu
  *  dd
  *  demon@FreeBSD.org
  *  dikshie
  *  eserte
  *  fenner
  *  gahr
  *  giffunip
  *  gmarco@giovannelli.it
  *  gurkan@phys.ethz.ch
  *  ijliao
  *  janek@gaja.ipan.lublin.pl
  *  jhs@berklix.com / asami (original)
  *  jmz
  *  js@jeannot.org
  *  keith@FreeBSD.org
  *  ljo
  *  mr
  *  nobu@rd.isac.co.jp
  *  pauls@utdallas.edu
  *  pusto@web.de
  *  reg@shale.csir.co.za
  *  rfarmer@predatorlabs.net
  *  stephen@FreeBSD.org
  *  thierry@pompo.net
  *  tobez
  *  will
  * # Created by Matthias Fechner <mfechner@FreeBSD.org>

With hat:	portmgr
commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da f53eb28
Friday, 4 Jun 2021
05:53 Gerald Pfeifer (gerald) search for other commits by this committer
*/*: Replace USE_GCC=any with USE_GCC=yes

USE_GCC=any has been equivalent to USE_GCC=yes in most cases (such
as i386 and amd64 since 12.x and depending on configuration 11.x,
most newer installations on other platforms, and 13.x across the
board).

Since commit 96c17633d90386b5bcf8 Mk/bsd.gcc.mk is treating them as
different spellings of the same, so continue the deorbiting of the
USE_GCC=any form and simply replace it with USE_GCC=yes.

This should not make any functional difference at all.

Discussed with:	mat, linimon, pkubaj
commit hash: d09ed096c44ca516f3e4922e292b4afabd03ff11 commit hash: d09ed096c44ca516f3e4922e292b4afabd03ff11 commit hash: d09ed096c44ca516f3e4922e292b4afabd03ff11 commit hash: d09ed096c44ca516f3e4922e292b4afabd03ff11 d09ed09
Tuesday, 6 Apr 2021
14:31 Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb 305f148
Friday, 26 Jul 2019
20:46 gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
Original commitRevision:507372 
Wednesday, 12 Dec 2018
01:35 gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.

PR:		231590
Original commitRevision:487272 
Sunday, 29 Jul 2018
22:18 gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
in the ports tree (via Mk/bsd.default-versions.mk and lang/gcc) which
has now moved from GCC 6 to GCC 7 by default.

This includes ports
 - featuring USE_GCC=yes or USE_GCC=any,
 - featuring USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and those
 - with USES=compiler specifying one of openmp, nestedfct, c11, c++0x,
   c++11-lib, c++11-lang, c++14-lang, c++17-lang, or gcc-c++11-lib.

PR:		222542
Original commitRevision:475857 
Saturday, 10 Mar 2018
17:46 gerald search for other commits by this committer
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079).
Original commitRevision:464084 
Sunday, 10 Sep 2017
20:55 gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
(via Mk/bsd.default-versions.mk and lang/gcc) which has moved from
GCC 5.4 to GCC 6.4 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++11-lang,
   c++14-lang, c++0x, c11, or gcc-c++11-lib.

PR:		219275
Original commitRevision:449591 
Saturday, 1 Apr 2017
15:23 gerald search for other commits by this committer
Bump PORTREVISIONs for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.9.4 to GCC 5.4 (at least under some
circumstances such as versions of FreeBSD or platforms).

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using using Mk/bsd.octave.mk which in turn has USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c++11-lib, c++14-lang,
   c++11-lang, c++0x, c11, or gcc-c++11-lib.

PR:		216707
Original commitRevision:437439 
Saturday, 11 Feb 2017
19:54 jbeich search for other commits by this committer
math/cvc3: unbreak with gcc6 or later

In file included from src/include/expr_manager.h:445:0,
                 from src/include/expr.h:803,
                 from expr.cpp:25:
src/include/expr_value.h: In static member function 'static size_t
CVC3::ExprString::hash(const string&)':
src/include/expr_value.h:667:34: error: no match for call to '(std::hash<char*>)
(const char*)'
     return s_charHash(str.c_str());
                                  ^
In file included from src/include/hash_map.h:54:0,
                 from src/include/compat_hash_map.h:34,
                 from src/include/expr.h:33,
                 from src/include/assumptions.h:36,
                 from src/include/theorem_producer.h:75,
                 from common_theorem_producer.h:34,
                 from common_theorem_producer.cpp:27:
src/include/hash_table.h: In instantiation of 'Hash::hash_table<_Key, _Value,
_HashFcn, _EqualKey, _ExtractKey>::~hash_table() [with _Key = CVC3::Expr; _Value
= std::pair<const CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem,
std::hash<CVC3::Expr> >*>; _HashFcn = std::hash<CVC3::Expr>; _EqualKey =
std::equal_to<CVC3::Expr>; _ExtractKey = Hash::_Select1st<std::pair<const
CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem, std::hash<CVC3::Expr> >*>
>]':
src/include/hash_map.h:82:9:   required from 'CVC3::CDMap<Key, Data,
HashFcn>::~CDMap() [with Key = CVC3::Expr; Data = CVC3::Theorem; HashFcn =
std::hash<CVC3::Expr>]'
common_theorem_producer.h:60:38:   required from here
src/include/hash_table.h:319:5: error: use of deleted function
'std::hash<CVC3::Expr>::~hash()'
     }
     ^
Original commitRevision:433908 
Sunday, 20 Nov 2016
09:38 gerald search for other commits by this committer
Bump PORTREVISIONS for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.8.5 to GCC 4.9.4 (at least under some
circumstances such as versions of FreeBSD or platforms).

In particular that is ports with USE_GCC=yes, USE_GCC=any, or one of
gcc-c++11-lib, openmp, nestedfct, c++11-lib as well as c++14-lang,
c++11-lang, c++0x, c11 requested via USES=compiler.
Original commitRevision:426566 
Friday, 21 Oct 2016
15:21 mat search for other commits by this committer
Use USES=pathfix where applicable.

PR:		213195
Submitted by:	mat
Exp-run by:	antoine
Sponsored by:	Absolight
Differential Revision:	https://reviews.freebsd.org/D8093
Original commitRevision:424427 
Friday, 1 Apr 2016
14:16 mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
Original commitRevision:412348 
Wednesday, 16 Jul 2014
03:25 vanilla search for other commits by this committer
Stagify.

Approved by:	lwhsu@ (maintainer)
Original commitRevision:362025 
Sunday, 13 Jul 2014
23:36 bapt search for other commits by this committer
Modernize LIB_DEPENDS

With hat:	portmgr
Original commitRevision:361728 
Monday, 7 Jul 2014
15:31 olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Category M.

CR:		D306
Approved by:	portmgr (bapt)
Original commitRevision:361099 
Wednesday, 13 Nov 2013
15:55 lwhsu search for other commits by this committer
- Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later
Original commitRevision:333703 
Friday, 20 Sep 2013
20:55 bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
Original commitRevision:327746 
Monday, 16 Sep 2013
16:32 bapt search for other commits by this committer
Convert to new perl framework
Convert USE_GMAKE to USES
Original commitRevision:327411 
Friday, 8 Mar 2013
11:32 bapt search for other commits by this committer
Convert USE_BISON to USES= bison

It brings bison as a build dependency in case it is set the following way:
USES= bison or USES= bison:build

it brings bison as a run dependency in case it is set the following way:
USES= bison:run

it brings bison both as a run and build dependency in case it the set the
following way:
USES= bison:both

While here trim some headers
Convert some USE_GNOME= gnomehack to USES= pathfix
Original commitRevision:313635 
Saturday, 4 Feb 2012
14:37 lwhsu search for other commits by this committer
- Update to 2.4.1
Original commit
Monday, 19 Apr 2010
10:43 ale search for other commits by this committer
Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)
Original commit
Wednesday, 13 May 2009
09:46 ale search for other commits by this committer
Chase libgmp and bump PORTREVISION.
Original commit
Wednesday, 17 Oct 2007
10:13 ade search for other commits by this committer
Migration from bison 1.x to 2.x

PR:             117086
Tested by:      -exp runs
Original commit
Friday, 7 Sep 2007
22:54 lwhsu search for other commits by this committer
- Update to 1.2.1
Original commit
Wednesday, 4 Apr 2007
08:49 lwhsu search for other commits by this committer
- Change to my FreeBSD.org email

Approved by:     clsung (mentor)
Original commit
Sunday, 25 Mar 2007
04:04 clsung search for other commits by this committer
Add cvc3 1.0, an automatic theorem prover for the SMT problem.

PR:             ports/110770
Submitted by:   Li-Wen Hsu <lwhsu at lwhsu.org>
Original commit

Number of commits found: 29