From owner-svn-ports-all@FreeBSD.ORG Sun Mar 10 07:01:50 2013 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.FreeBSD.org [8.8.178.115]) by hub.freebsd.org (Postfix) with ESMTP id 1ECF6A15; Sun, 10 Mar 2013 07:01:50 +0000 (UTC) (envelope-from rm@FreeBSD.org) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) by mx1.freebsd.org (Postfix) with ESMTP id E9235F8D; Sun, 10 Mar 2013 07:01:49 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.6/8.14.6) with ESMTP id r2A71nV4093527; Sun, 10 Mar 2013 07:01:49 GMT (envelope-from rm@svn.freebsd.org) Received: (from rm@localhost) by svn.freebsd.org (8.14.6/8.14.5/Submit) id r2A71n94093524; Sun, 10 Mar 2013 07:01:49 GMT (envelope-from rm@svn.freebsd.org) Message-Id: <201303100701.r2A71n94093524@svn.freebsd.org> From: Ruslan Mahmatkhanov Date: Sun, 10 Mar 2013 07:01:49 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r313812 - head/lang/dlv X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 10 Mar 2013 07:01:50 -0000 Author: rm Date: Sun Mar 10 07:01:48 2013 New Revision: 313812 URL: http://svnweb.freebsd.org/changeset/ports/313812 Log: - update to 20121217 - fix fetch [1] - remove indefinite article from COMMENT - tab -> space change in pkg-descr:WWW PR: 176702 Reported by: John Marino [1] Modified: head/lang/dlv/Makefile head/lang/dlv/distinfo head/lang/dlv/pkg-descr Modified: head/lang/dlv/Makefile ============================================================================== --- head/lang/dlv/Makefile Sun Mar 10 06:50:17 2013 (r313811) +++ head/lang/dlv/Makefile Sun Mar 10 07:01:48 2013 (r313812) @@ -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 Modified: head/lang/dlv/distinfo ============================================================================== --- head/lang/dlv/distinfo Sun Mar 10 06:50:17 2013 (r313811) +++ head/lang/dlv/distinfo Sun Mar 10 07:01:48 2013 (r313812) @@ -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 Modified: head/lang/dlv/pkg-descr ============================================================================== --- head/lang/dlv/pkg-descr Sun Mar 10 06:50:17 2013 (r313811) +++ head/lang/dlv/pkg-descr Sun Mar 10 07:01:48 2013 (r313812) @@ -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/