summaryrefslogtreecommitdiff
path: root/lang/dlv (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* lang: remove 'Created by' linesTobias C. Berner2022-07-201-2/+0
* Deorbit RESTRICTED && NO_CDROM, part two.Mathieu Arnold2021-05-061-1/+6
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* Mark BROKENAntoine Brodin2020-10-081-0/+2
* Allow staging as a regular userAntoine Brodin2014-09-181-6/+7
* Stagify.Vanilla I. Shu2014-06-171-3/+2
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* - update to 20121217Ruslan Makhmatkhanov2013-03-103-10/+7
* Update to more recent version.Tilman Keskinoz2012-06-213-8/+7
* - remove MD5Olli Hauer2011-07-031-1/+0
* Layout of the MASTER_SITE changed. Adjust URLsTilman Keskinoz2009-08-312-2/+3
* Unbreak by updating to 20071011Tilman Keskinoz2007-12-122-5/+4
* Mark BROKEN, while i am trying to figure out, why the binary changed.Tilman Keskinoz2007-10-281-0/+1
* Fix "extract" by creating a WRKDIRTilman Keskinoz2007-06-021-0/+2
* Add dlv to LEGAL, no information about redistributionTilman Keskinoz2007-06-011-0/+1
* Add dlv, a disjunctive Datalog SystemTilman Keskinoz2007-06-013-0/+41
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-12 21:24:02 +0000