mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-14 03:10:47 +00:00
Code Issues Releases Activity
200,476 Commits 45 Branches 100 Tags 3.4 GiB
abd9602588
Commit Graph

5 Commits

Author SHA1 Message Date
Tilman Keskinoz
5c022945ad Unbreak by updating to 20071011 
Changelog at http://www.dbai.tuwien.ac.at/proj/dlv/
 2007-12-12 12:35:43 +00:00
Tilman Keskinoz
9d54920112 Mark BROKEN, while i am trying to figure out, why the binary changed. 
Reported by: 	pointyhat
 2007-10-28 12:45:04 +00:00
Tilman Keskinoz
ec9e845bdc Fix "extract" by creating a WRKDIR 
Reported by:	pointyhat
 2007-06-02 17:27:15 +00:00
Tilman Keskinoz
935f7ddc97 Add dlv to LEGAL, no information about redistribution 2007-06-01 18:10:41 +00:00
Tilman Keskinoz
6ba4589f57 Add dlv, a disjunctive Datalog System 2007-06-01 17:16:40 +00:00