kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update Coq to 8.4pl6

Browse source 
PR:		200409
Submitted by:	yuri@rawbw.com
This commit is contained in:
Johan van Selst 2015-05-23 10:06:54 +00:00
parent af5918fa8c
commit 377f42277a
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=387123
3 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
math/coq/Makefile
View file

@ -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/ \

4
math/coq/distinfo
View file

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

1
math/coq/pkg-plist
View file

@ -45,6 +45,7 @@ lib/coq/theories/Logic/Epsilon.vo
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