-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 here is a port for camlp5, a preprocessor and pretty-printer for ocaml programs.
I already posted camlp5 port on November 2010, but not taken yet in the ports
tree.
here is the latest version(6.02.3) of camlp5.
I'm working with updating math/coq, and camlp5 is a prerequisite for math/coq
port.
I'm planning to post again this camlp5 and updated coq port files, but
let me know any comments/advices if you have...
(sha256)
camlp5-6.02.3.tar.gz: 3D5E7871 CC39F2F1 669C8334 6543D447 B5FAD0EF DD00D099
FE09CEBB A9189702
-- yozo.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (OpenBSD)
iQEcBAEBCgAGBQJOR8UrAAoJELv0Z7ZfJ6C3r3EIAMiX5nsrvb6imXR8RrAYtmUK
A0EZgrmykw876LWEhJ7z5X04upg+QaaWYjdHSinFYTZV5cUjmci7AEXrWV3foT45
KetjYG8dM+4bNTuL2avhGIehfaS0eC+/t7xQncHuk4tjq3Tg5Nm7E98nQHJK3hM9
3vR9O+2YE0AompNiHLo6D1UExpMDLMnDgBkPjIQ7ZJ4QkJfTdfRONy1trR6RlSKO
PgDvYVtPboSIcNO0PwVZmoEyq+6yYr1DKgNnoEM8p185tXZ0gtZDKQX887sz5mse
GYy8Ig4So6PhdWXu8nGze/l4Lof4CsNJU351eNlESEWhehOgqDWicC+kTkzldG0=
=AVHd
-----END PGP SIGNATURE-----
biniQRVMaP0e0.bin
Description: application/octed-stream
