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>