aboutsummaryrefslogtreecommitdiff
path: root/lang/dlv
Commit message (Collapse)AuthorAgeFilesLines
* Allow staging as a regular userAntoine Brodin2014-09-181-6/+7
| | | | Notes: svn path=/head/; revision=368524
* Stagify.Vanilla I. Shu2014-06-171-3/+2
| | | | Notes: svn path=/head/; revision=358101
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | lang) Notes: svn path=/head/; revision=327741
* - update to 20121217Ruslan Makhmatkhanov2013-03-103-10/+7
| | | | | | | | | | | | - fix fetch [1] - remove indefinite article from COMMENT - tab -> space change in pkg-descr:WWW PR: 176702 Reported by: John Marino <draco@marino.st> [1] Notes: svn path=/head/; revision=313812
* Update to more recent version.Tilman Keskinoz2012-06-213-8/+7
| | | | | | | | | | | Drop maintainership, i forgot all about dlv :( Changelog: http://www.dlvsystem.com/dlvsystem/index.php/Version_history Reported by: watermelon@jabber.metalab.at via Jabber Notes: svn path=/head/; revision=299728
* - remove MD5Olli Hauer2011-07-031-1/+0
| | | | Notes: svn path=/head/; revision=276987
* Layout of the MASTER_SITE changed. Adjust URLsTilman Keskinoz2009-08-312-2/+3
| | | | Notes: svn path=/head/; revision=240583
* Unbreak by updating to 20071011Tilman Keskinoz2007-12-122-5/+4
| | | | | | | Changelog at http://www.dbai.tuwien.ac.at/proj/dlv/ Notes: svn path=/head/; revision=203250
* Mark BROKEN, while i am trying to figure out, why the binary changed.Tilman Keskinoz2007-10-281-0/+1
| | | | | | | Reported by: pointyhat Notes: svn path=/head/; revision=202218
* Fix "extract" by creating a WRKDIRTilman Keskinoz2007-06-021-0/+2
| | | | | | | Reported by: pointyhat Notes: svn path=/head/; revision=192592
* Add dlv to LEGAL, no information about redistributionTilman Keskinoz2007-06-011-0/+1
| | | | Notes: svn path=/head/; revision=192548
* Add dlv, a disjunctive Datalog SystemTilman Keskinoz2007-06-013-0/+41
Notes: svn path=/head/; revision=192545