mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-22 00:35:15 +00:00
Code Issues Releases Activity

Update coq to 8.4.2

Browse Source
This commit is contained in:
Johan van Selst 2013-04-30 14:50:26 +00:00
parent 8ff04a6770
commit 834028a8dd
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=316937
2 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
math/coq/Makefile
View File

@ -2,8 +2,7 @@
# $FreeBSD$
PORTNAME= coq
PORTVERSION= 8.4.1
PORTREVISION= 1
PORTVERSION= 8.4.2
PORTEPOCH= 1
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.4pl1.tar.gz) = 5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80
SIZE (coq-8.4pl1.tar.gz) = 4139808
SHA256 (coq-8.4pl2.tar.gz) = fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8
SIZE (coq-8.4pl2.tar.gz) = 4145112