head	1.5;
access;
symbols
	RELEASE_8_3_0:1.3
	RELEASE_9_0_0:1.3
	RELEASE_7_4_0:1.2
	RELEASE_8_2_0:1.2
	RELEASE_6_EOL:1.2
	RELEASE_8_1_0:1.2
	RELEASE_7_3_0:1.2
	RELEASE_8_0_0:1.2
	RELEASE_7_2_0:1.2
	RELEASE_7_1_0:1.2
	RELEASE_6_4_0:1.2
	RELEASE_5_EOL:1.2
	RELEASE_7_0_0:1.1
	RELEASE_6_3_0:1.1;
locks; strict;
comment	@# @;


1.5
date	2013.03.10.16.12.21;	author svnexp;	state Exp;
branches;
next	1.4;

1.4
date	2012.06.21.13.22.07;	author arved;	state Exp;
branches;
next	1.3;

1.3
date	2011.07.03.13.45.09;	author ohauer;	state Exp;
branches;
next	1.2;

1.2
date	2007.12.12.12.35.43;	author arved;	state Exp;
branches;
next	1.1;

1.1
date	2007.06.01.17.16.40;	author arved;	state Exp;
branches;
next	;


desc
@@


1.5
log
@## SVN ## Exported commit - http://svnweb.freebsd.org/changeset/base/313812
## SVN ## CVS IS DEPRECATED: http://wiki.freebsd.org/CvsIsDeprecated
@
text
@SHA256 (dlv.i386-linux-elf-static.bin) = 725e4c428f6aec7878f2216cd93d914d84375b395e612090a262ea833e1f27fc
SIZE (dlv.i386-linux-elf-static.bin) = 2031392
@


1.4
log
@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
@
text
@d1 2
a2 2
SHA256 (dlv.i386-linux-elf-static.bin) = f830006655247fd5728fe3e435a2813a0679629c06e297cb8ce08d07544f80d1
SIZE (dlv.i386-linux-elf-static.bin) = 1998464
@


1.3
log
@- remove MD5
@
text
@d1 2
a2 2
SHA256 (dlv.i386-linux-elf-static.bin) = 5847c28eb08fb6ff2dc3b477e7b31a88344b1f97c785f0e41fe6f309bf3d1a72
SIZE (dlv.i386-linux-elf-static.bin) = 1889928
@


1.2
log
@Unbreak by updating to 20071011
Changelog at http://www.dbai.tuwien.ac.at/proj/dlv/
@
text
@a0 1
MD5 (dlv.i386-linux-elf-static.bin) = 25b2f293d26981492a0cac3c14bbef32
@


1.1
log
@Add dlv, a disjunctive Datalog System
@
text
@d1 3
a3 3
MD5 (dlv.i386-linux-elf-static.bin) = 53b081dabad026fc5f8c7eb1a6ee7c7d
SHA256 (dlv.i386-linux-elf-static.bin) = eb5de2da04b86cb9c78fea376615fb3ce58448c166e5e7b3bf034694f3d630cc
SIZE (dlv.i386-linux-elf-static.bin) = 2139060
@

