/games/lincity/

ader'> cgit logo index : freebsd-ports-gnome
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/math/proofgeneral
Commit message (Expand)AuthorAgeFilesLines
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)miwi2010-02-261-1/+1
* - update to jpeg-8dinoex2010-02-051-1/+1
* - bump all port that indirectly depends on libjpeg and have not yet been bump...dinoex2009-07-311-0/+1
* [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1edwin2008-08-155-12/+34
* Bump portrevision due to upgrade of devel/gettext.edwin2008-06-061-0/+1
* - Remove empty filespav2008-04-101-0/+0
* - Update to 3.7rafan2008-04-047-577/+593
* Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..mezz2007-10-281-2/+2
* Fix the *.desktop installation, bump the PORTREVISION.mezz2007-10-261-1/+4
* Presenting GNOME 2.20.1 and all related works for FreeBSD. The officialmarcus2007-10-253-13/+14
* - Welcome X.org 7.2 \o/.flz2007-05-201-1/+1
* Now appears to build on amd64kris2007-04-021-4/+0
* Fix deinstall and unbroke port.anray2007-03-062-4/+3
* BROKEN: Incomplete pkg-plistkris2007-02-271-0/+2
* * Remove the direct inclusion of bsd.emacs.mkanray2007-02-074-443/+533
* Deprecate and expire on 2007-02-07 to give the maintainer more incentivekris2006-12-10