1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-22 08:58:47 +00:00

- Update to 5.13

PR:		ports/144729
Submitted by:	soulcatcher <soulcatcher13@gmail.com>
Approved by:	maintainer
This commit is contained in:
Pav Lucistnik 2010-03-17 18:57:48 +00:00
parent 28177a4fdc
commit 39e3fb3c81
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=251185
2 changed files with 4 additions and 4 deletions

View File

@ -7,7 +7,7 @@
#
PORTNAME= camlp5
PORTVERSION= 5.12
PORTVERSION= 5.13
CATEGORIES= devel
MASTER_SITES= http://cristal.inria.fr/~ddr/camlp5/distrib/src/ \
http://pauillac.inria.fr/~ddr/camlp5/distrib/src/

View File

@ -1,3 +1,3 @@
MD5 (camlp5-5.12.tgz) = 28a86d4f1da8983b7fc773262fa52f1f
SHA256 (camlp5-5.12.tgz) = 985a5e373ea75f89667e71bc857c868c395769fce664cba88aa76f93b0ad8461
SIZE (camlp5-5.12.tgz) = 685032
MD5 (camlp5-5.13.tgz) = f205d624e890761d3526eaf709071039
SHA256 (camlp5-5.13.tgz) = 5e6e4663ba642f29a440359318df6c0cc32203e646aa9ee7e41c6b02b4f876d2
SIZE (camlp5-5.13.tgz) = 684951