aboutsummaryrefslogtreecommitdiffstats
path: root/misc/otter
Commit message (Expand)AuthorAgeFilesLines
* - Get Rid MD5 supportmiwi2011-03-191-1/+0
* - fix typo, hence plist for -DNOPORTDOCSitetcu2008-11-191-1/+2
* Otter is an automated deduction system (theorem prover) forgarga2006-02-074-0/+385
generated by cgit (git 2.34.1) at 2024-12-29 11:22:48 +0800
01:38:45 +0800'>2018-03-121-2/+1 * Take maintainershipjoneum2018-02-251-1/+1 * www/mod_gnutls: update 0.8.2 -> 0.8.3pi2017-10-212-4/+4 * Resurrect www/mod_gnutls and update to 0.8.2.jkim2017-08-248-0/+152 * Remove non staged ports without pending PR from wwwbapt2014-09-026-98/+0 * Convert a bunch of USE_BZIP2 to USES=tar:bzip2adamw2014-07-301-2/+1 * - Replace security/gnutls with security/gnutls3 and update to 3.2.15tijl2014-07-231-1/+1 * Modernize LIB_DEPENDSbapt2014-07-151-1/+1 * Second batch at resetting maintainership on ports that have not been staged andbapt2014-07-031-1/+1 * Fix properties on pkg-plistbapt2014-01-221-1/+0 * - rename AL2 to APACHE20 in Mk/bsd.licenses.db.mkohauer2013-12-311-1/+1 * Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1 * Finish converting the whole ports tree to USES=pkgconfigbapt2013-04-231-1/+1 * - Add UPDATING entry for gnutls updatenovel2013-02-061-2/+2 * - USE_APACHE= s/22+/22/ohauer2012-09-231-6/+2 * - add USE_PKGCONFIG=build to unbreak the portohauer2012-09-091-0/+1 * - remove www/apache20 and devel/apr0ohauer2012-08-181-1/+1 * - The proper acronym for Apache Software License 2 is really AL2tabthorpe2012-01-091-1/+1 * - bump PORTREVISION from ports if USE_APACHE=13+ or 20+ is definedohauer2011-08-211-1/+2 * Update to 0.5.10zi2011-08-192-8/+9 * - update to version 0.5.9ohauer2011-06-213-7/+3 * Chase security/gnutls update and add an UPDATING entry.novel2011-06-061-1/+2