From owner-freebsd-ports-bugs@FreeBSD.ORG Tue Feb 1 21:30:18 2005 Return-Path: Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 3988916A4D7 for ; Tue, 1 Feb 2005 21:30:18 +0000 (GMT) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id E300043D48 for ; Tue, 1 Feb 2005 21:30:17 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.1/8.13.1) with ESMTP id j11LUHbB025581 for ; Tue, 1 Feb 2005 21:30:17 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.1/8.13.1/Submit) id j11LUHjt025580; Tue, 1 Feb 2005 21:30:17 GMT (envelope-from gnats) Resent-Date: Tue, 1 Feb 2005 21:30:17 GMT Resent-Message-Id: <200502012130.j11LUHjt025580@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Rene Ladan Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 62D0016A4D0 for ; Tue, 1 Feb 2005 21:23:26 +0000 (GMT) Received: from 82-168-140-74-bbxl.xdsl.tiscali.nl (82-168-140-74-bbxl.xdsl.tiscali.nl [82.168.140.74]) by mx1.FreeBSD.org (Postfix) with ESMTP id E671843D62 for ; Tue, 1 Feb 2005 21:23:24 +0000 (GMT) (envelope-from r.c.ladan@student.tue.nl) Received: from 82-168-140-74-bbxl.xdsl.tiscali.nl (localhost [127.0.0.1]) j11LPsUb074001 for ; Tue, 1 Feb 2005 22:25:54 +0100 (CET) (envelope-from r.c.ladan@student.tue.nl) Received: (from rene@localhost)j11LPrHi074000; Tue, 1 Feb 2005 22:25:53 +0100 (CET) (envelope-from r.c.ladan@student.tue.nl) Message-Id: <200502012125.j11LPrHi074000@82-168-140-74-bbxl.xdsl.tiscali.nl> Date: Tue, 1 Feb 2005 22:25:53 +0100 (CET) From: Rene Ladan To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Subject: ports/76977: [MAINTAINER] math/coq: update to 8.0p2 X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 01 Feb 2005 21:30:18 -0000 >Number: 76977 >Category: ports >Synopsis: [MAINTAINER] math/coq: update to 8.0p2 >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: maintainer-update >Submitter-Id: current-users >Arrival-Date: Tue Feb 01 21:30:17 GMT 2005 >Closed-Date: >Last-Modified: >Originator: Rene Ladan >Release: FreeBSD 5.3-STABLE i386 >Organization: >Environment: System: FreeBSD 82-168-140-74-bbxl.xdsl.tiscali.nl 5.3-STABLE FreeBSD 5.3-STABLE #8: Mon Jan 31 01:58:50 CET 2005 >Description: - Update to 8.0p2 Generated with FreeBSD Port Tools 0.63 >How-To-Repeat: >Fix: diff -ruN --exclude=CVS /usr/ports/math/coq.orig/Makefile /usr/ports/math/coq/Makefile --- /usr/ports/math/coq.orig/Makefile Tue Feb 1 20:49:25 2005 +++ /usr/ports/math/coq/Makefile Tue Feb 1 21:04:00 2005 @@ -6,13 +6,10 @@ # PORTNAME= coq -PORTVERSION= 8.0p1 +PORTVERSION= 8.0p2 CATEGORIES= math -MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl1/ -DISTNAME= coq-8.0pl1 - -PATCH_SITES= ${MASTER_SITES} -PATCHFILES= patch-coq-8.0pl1-ocaml-3.08.1 +MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/ +DISTNAME= coq-8.0pl2 MAINTAINER= r.c.ladan@student.tue.nl COMMENT= Theorem prover based on lambda-C diff -ruN --exclude=CVS /usr/ports/math/coq.orig/distinfo /usr/ports/math/coq/distinfo --- /usr/ports/math/coq.orig/distinfo Tue Feb 1 20:49:25 2005 +++ /usr/ports/math/coq/distinfo Tue Feb 1 21:11:47 2005 @@ -1,4 +1,2 @@ -MD5 (coq-8.0pl1.tar.gz) = 95237e64081d7306fdea49e1988bde12 -SIZE (coq-8.0pl1.tar.gz) = 2272613 -MD5 (patch-coq-8.0pl1-ocaml-3.08.1) = 02ac210c6af5d8e258a2805a22822a8b -SIZE (patch-coq-8.0pl1-ocaml-3.08.1) = 1321 +MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79 +SIZE (coq-8.0pl2.tar.gz) = 2285855 >Release-Note: >Audit-Trail: >Unformatted: