diff options
| author | rm <rm@FreeBSD.org> | 2013-03-10 15:01:48 +0800 |
|---|---|---|
| committer | rm <rm@FreeBSD.org> | 2013-03-10 15:01:48 +0800 |
| commit | 4b2010eb13a60eb36e628c9e056093656b63b711 (patch) | |
| tree | e62c0dd0c1b25a313bbbdd05df949ec4e3f060dc /lang/dlv | |
| parent | 450cec1e4865d48eb0990108b27571e1a09595f1 (diff) | |
| download | freebsd-ports-gnome-4b2010eb13a60eb36e628c9e056093656b63b711.tar.gz freebsd-ports-gnome-4b2010eb13a60eb36e628c9e056093656b63b711.tar.zst freebsd-ports-gnome-4b2010eb13a60eb36e628c9e056093656b63b711.zip | |
- update to 20121217
- fix fetch [1]
- remove indefinite article from COMMENT
- tab -> space change in pkg-descr:WWW
PR: 176702
Reported by: John Marino <draco@marino.st> [1]
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/ |