diff options
Diffstat (limited to 'lang/dlv')
| -rw-r--r-- | lang/dlv/Makefile | 11 | ||||
| -rw-r--r-- | lang/dlv/distinfo | 4 | ||||
| -rw-r--r-- | lang/dlv/pkg-descr | 2 |
3 files changed, 7 insertions, 10 deletions
diff --git a/lang/dlv/Makefile b/lang/dlv/Makefile index aa332274c349..8716667da05f 100644 --- a/lang/dlv/Makefile +++ b/lang/dlv/Makefile @@ -1,18 +1,15 @@ -# New ports collection Makefile for: dlv -# Date created: 2007-06-01 -# Whom: arved -# +# Created by: arved # $FreeBSD$ PORTNAME= dlv -PORTVERSION= 20111221 +PORTVERSION= 20121217 CATEGORIES= lang -MASTER_SITES= http://www.dlvsystem.com/dlvsystem/files/ +MASTER_SITES= http://www.dlvsystem.com/files/ DISTNAME= dlv.i386-linux-elf-static.bin EXTRACT_SUFX= MAINTAINER= ports@FreeBSD.org -COMMENT= A Disjunctive Datalog System +COMMENT= Disjunctive Datalog System NO_BUILD= yes PLIST_FILES= bin/dlv diff --git a/lang/dlv/distinfo b/lang/dlv/distinfo index f14ec299bff4..3c62253659ca 100644 --- a/lang/dlv/distinfo +++ b/lang/dlv/distinfo @@ -1,2 +1,2 @@ -SHA256 (dlv.i386-linux-elf-static.bin) = f830006655247fd5728fe3e435a2813a0679629c06e297cb8ce08d07544f80d1 -SIZE (dlv.i386-linux-elf-static.bin) = 1998464 +SHA256 (dlv.i386-linux-elf-static.bin) = 725e4c428f6aec7878f2216cd93d914d84375b395e612090a262ea833e1f27fc +SIZE (dlv.i386-linux-elf-static.bin) = 2031392 diff --git a/lang/dlv/pkg-descr b/lang/dlv/pkg-descr index cb65c02589dd..64835c99ccfc 100644 --- a/lang/dlv/pkg-descr +++ b/lang/dlv/pkg-descr @@ -8,4 +8,4 @@ The DLV system also includes * support for inheritance, and * an SQL frontend which prototypes some novel SQL3 features. -WWW: http://www.dlvsystem.com/ +WWW: http://www.dlvsystem.com/dlv/ |