freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/math/clasp

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix build on 8 and 9 where there is no std::strtoull.	vsevolod	2014-08-27	1	-0/+20
*	- Update to 3.1.0	vsevolod	2014-08-19	2	-3/+3
*	- Update to 2.1.4	vsevolod	2014-01-10	3	-15/+3
*	- Unbreak with clang and new C++ world.	vsevolod	2013-11-01	2	-2/+13
*	Add NO_STAGE all over the place in preparation for the staging support (cat: ...	bapt	2013-09-21	1	-0/+1
*	Add clasp - an answer set solver for (extended) normal logic programs.	vsevolod	2013-09-19	3	-0/+36

6 +0800'>2010-10-061-1/+1 * Autotools update. Read ports/UPDATING 20100915 for details.ade2010-09-161-1/+2 * - Update to 0.17pgollucci2010-02-1010-17/+89 * - Update MASTER_SITESmiwi2009-08-191-1/+1 * -Repocopy devel/libtool15 -> libtool22 and libltdl15 -> libltdl22.mezz2009-08-031-1/+1 * - Fix libftdi on HEAD by including stdlib.h in ftdi.c. Since HEAD'sstas2009-05-052-0/+11 * - Chase libusb20 rename in r189585.stas2009-03-104-3/+69 * - Update to 0.14miwi2009-01-113-5/+5 * Update CONFIGURE_ARGS for how we pass CONFIGURE_TARGET to configure script.rafan2008-08-211-1/+0 * - Update to 0.10.araujo2007-09-203-14/+18 * Use libtool port instead of included one to avoid objformat a.out botchkris2007-01-281-0/+1 * Fix build on 4.xitetcu2006-07-311-9/+2