Tilman Keskinoz
|
ff77289702
|
Update to more recent version.
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
|
2012-06-21 13:22:07 +00:00 |
|
Olli Hauer
|
27de467a2b
|
- remove MD5
|
2011-07-03 13:45:36 +00:00 |
|
Tilman Keskinoz
|
ad97f419cb
|
Layout of the MASTER_SITE changed. Adjust URLs
|
2009-08-31 07:27:27 +00:00 |
|
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 |
|