aboutsummaryrefslogtreecommitdiff
path: root/lang/dlv/distinfo
Commit message (Expand)AuthorAgeFilesLines
* - remove MD5Olli Hauer2011-07-031-1/+0
* Unbreak by updating to 20071011Tilman Keskinoz2007-12-121-3/+3
* Add dlv, a disjunctive Datalog SystemTilman Keskinoz2007-06-011-0/+3