aboutsummaryrefslogtreecommitdiffstats
path: root/lang/twelf
Commit message (Expand)AuthorAgeFilesLines
* - Update to 1.5R1wxs2009-04-1112-146/+421
* Remove USE_REINPLACE from the categories starting with Ledwin2006-05-101-1/+0
* New port: lang/twelf A meta-logical framework for deductive systemsedwin2005-11-266-0/+603
generated by cgit (git 2.34.1) at 2025-03-04 04:30:42 +0800
a>johans2009-08-091-0/+2 * - update to jpeg7dinoex2009-07-181-2/+2 * Chase libgmp and bump PORTREVISION.ale2009-05-131-2/+2 * - Reset maintainer at his requestamdmi32008-09-231-1/+1 * - Now compiles on amd64/7pav2008-06-191-4/+0 * Bump portrevision due to upgrade of devel/gettext.edwin2008-06-061-1/+1 * Migration from bison 1.x to 2.xade2007-10-171-1/+2 * Move the definition of USE_PERL5 before bsd.port.pre.mk inclusion. Thislinimon2007-10-071-5/+5 * Remove always-false/true conditions based on OSVERSION 500000edwin2007-10-041-6/+2 * Welcome bsd.perl.mk. Add support for constructs such as USE_PERL5=5.8.0+.linimon2007-09-081-5/+1 * - Broken Does not compile on FreeBSD >= 7.0 amd64miwi2007-06-111-0/+4 * - Update to 7.6.112miwi2007-05-022-4/+4 * - Update to 7.6.108miwi2007-04-182-9/+13 * - Update to 7.6.104miwi2007-03-132-4/+4 * - Chase databases/freetds update: ct.3 -> ct.4, tds.4 -> tds.5rafan2007-03-031-1/+1 * - Update to 7.6.102miwi2007-02-013-9/+4 * - Update to 7.6.94vanilla2006-11-163-6/+5 * Chase pdf library and bump PORTREVISION.ale2006-10-091-2/+2 * Chase gmp library and bump PORTREVISION.ale2006-05-101-1/+2 * Remove USE_REINPLACE from the categories starting with Ledwin2006-05-101-1/+0 * 1: Upgrade to 7.6.64.vanilla2006-01-087-215/+5 * security/nettle is out of date : port version is 1.7, available is 1.13edwin2005-11-241-2/+2 * Backport devel patch to fix underflow in in modify_shared_string()mnag2005-11-182-0/+29 * - Update to 7.6.50pav2005-11-175-5/+177 * - Update to 7.6.48pav2005-11-044-24/+23 * - Fix typo (expiremental -> experimental)pav2005-07-141-1/+1 * - Disable poll support, it's buggypav2005-05-251-1/+2 * BROKEN on !i386: Does not compilekris2005-03-271-2/+2 * Split the postgresql ports into a server and a client part.girgen2005-01-311-1/+1 * bump librsvg's version for fix dependcy.vanilla2005-01-091-1/+1 * - Chase pdflib updatepav2004-12-181-1/+1 * Chase library version bump on multimedia/ffmpeglioux2004-12-061-1/+1 * - Update to 7.6.24pav2004-11-032-4/+4 * Upgrade to 7.6.13.vanilla2004-08-202-3/+3 * Also broken on amd64kris2004-06-151-2/+2 * Add missing filekris2004-05-311-0/+1 * - Add more MASTER_SITESkrion2004-05-211-1/+3 * Upgrade to 7.6.9.vanilla2004-05-202-4/+4 * BROKEN on sparc64: Build failskris2004-05-131-0/+4 * - Update to 7.6.6 Releasevanilla2004-05-073-5/+4 * Upgrade to 7.6.3.vanilla2004-05-064-91/+21 * BROKEN on !i386: Does not build (errors running pike binary during build)kris2004-03-291-0/+4 * - Update to 7.5.21vanilla2004-03-176-110/+14 * Should append variable to LDFLAGS, no assign it.vanilla2004-02-261-1/+1 * - Added mird supportvanilla2004-02-252-3/+5 * Add pike75 7.5.17, a dynamic programming language with a syntax similarvanilla2004-02-21