Attachment #157072 for bug #200409

View | Details | Raw Unified | Return to bug 200409
Collapse All | Expand All

Lines 2-8 Link Here

(-)math/coq/Makefile (-1 / +1 lines)
2	# $FreeBSD$	2	# $FreeBSD$
3		3
4	PORTNAME= coq	4	PORTNAME= coq
5	PORTVERSION= 8.4.5	5	PORTVERSION= 8.4.6
6	PORTEPOCH= 2	6	PORTEPOCH= 2
7	CATEGORIES= math	7	CATEGORIES= math
8	MASTER_SITES= http://coq.inria.fr/distrib/V${COQVERSION}/files/ \	8	MASTER_SITES= http://coq.inria.fr/distrib/V${COQVERSION}/files/ \

Lines 1-2 Link Here

(-)math/coq/distinfo (-2 / +2 lines)
1	SHA256 (coq-8.4pl5.tar.gz) = 35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245	1	SHA256 (coq-8.4pl6.tar.gz) = a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6
2	SIZE (coq-8.4pl5.tar.gz) = 4070062	2	SIZE (coq-8.4pl6.tar.gz) = 4099815

Lines 45-50 Link Here

(-)math/coq/pkg-plist (+2 lines)
45	lib/coq/theories/Logic/Eqdep_dec.vo	45	lib/coq/theories/Logic/Eqdep_dec.vo
46	lib/coq/theories/Logic/EqdepFacts.vo	46	lib/coq/theories/Logic/EqdepFacts.vo
47	lib/coq/theories/Logic/Eqdep.vo	47	lib/coq/theories/Logic/Eqdep.vo
		48	lib/coq/theories/Logic/ExtensionalityFacts.vo
48	lib/coq/theories/Logic/FunctionalExtensionality.vo	49	lib/coq/theories/Logic/FunctionalExtensionality.vo
49	lib/coq/theories/Logic/Hurkens.vo	50	lib/coq/theories/Logic/Hurkens.vo
50	lib/coq/theories/Logic/IndefiniteDescription.vo	51	lib/coq/theories/Logic/IndefiniteDescription.vo
Lines 970-973 Link Here
970	share/emacs/site-lisp/coq-inferior.el	971	share/emacs/site-lisp/coq-inferior.el
971	share/emacs/site-lisp/coqdoc.sty	972	share/emacs/site-lisp/coqdoc.sty
972	%%DATADIR%%/coq.png	973	%%DATADIR%%/coq.png
		974	%%PORTDOCS%%%%DOCSDIR%%/FAQ-CoqIde
973	@dir lib/coq/user-contrib	975	@dir lib/coq/user-contrib

Return to bug 200409