Attachment 157072 Details for Bug 200409 – patch

[patch] patch

coq.patch (text/plain), 1.43 KB, created by Yuri Victorovich on 2015-05-23 09:34:37 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Yuri Victorovich

Created: 2015-05-23 09:34:37 UTC

Size: 1.43 KB

patch

obsolete

>Index: math/coq/Makefile
>===================================================================
>--- math/coq/Makefile	(revision 386711)
>+++ math/coq/Makefile	(working copy)
>@@ -2,7 +2,7 @@
> # $FreeBSD$
> 
> PORTNAME=	coq
>-PORTVERSION=	8.4.5
>+PORTVERSION=	8.4.6
> PORTEPOCH=	2
> CATEGORIES=	math
> MASTER_SITES=	http://coq.inria.fr/distrib/V${COQVERSION}/files/ \
>Index: math/coq/distinfo
>===================================================================
>--- math/coq/distinfo	(revision 386711)
>+++ math/coq/distinfo	(working copy)
>@@ -1,2 +1,2 @@
>-SHA256 (coq-8.4pl5.tar.gz) = 35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245
>-SIZE (coq-8.4pl5.tar.gz) = 4070062
>+SHA256 (coq-8.4pl6.tar.gz) = a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6
>+SIZE (coq-8.4pl6.tar.gz) = 4099815
>Index: math/coq/pkg-plist
>===================================================================
>--- math/coq/pkg-plist	(revision 386711)
>+++ math/coq/pkg-plist	(working copy)
>@@ -45,6 +45,7 @@
> lib/coq/theories/Logic/Eqdep_dec.vo
> lib/coq/theories/Logic/EqdepFacts.vo
> lib/coq/theories/Logic/Eqdep.vo
>+lib/coq/theories/Logic/ExtensionalityFacts.vo
> lib/coq/theories/Logic/FunctionalExtensionality.vo
> lib/coq/theories/Logic/Hurkens.vo
> lib/coq/theories/Logic/IndefiniteDescription.vo
>@@ -970,4 +971,5 @@
> share/emacs/site-lisp/coq-inferior.el
> share/emacs/site-lisp/coqdoc.sty
> %%DATADIR%%/coq.png
>+%%PORTDOCS%%%%DOCSDIR%%/FAQ-CoqIde
> @dir lib/coq/user-contrib

Actions: View | Diff

Attachments on bug 200409: 157072