Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 1 Feb 2005 22:25:53 +0100 (CET)
From:      Rene Ladan <r.c.ladan@student.tue.nl>
To:        FreeBSD-gnats-submit@FreeBSD.org
Subject:   ports/76977: [MAINTAINER] math/coq: update to 8.0p2
Message-ID:  <200502012125.j11LPrHi074000@82-168-140-74-bbxl.xdsl.tiscali.nl>
Resent-Message-ID: <200502012130.j11LUHjt025580@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help

>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:



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200502012125.j11LPrHi074000>