1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-26 00:55:14 +00:00
freebsd-ports/lang/ocamlduce
Pav Lucistnik a24d16fedc - Update to 3.10.0.1
PR:		ports/122788
Submitted by:	Jaap Boender <jaapb@kerguelen.org> (maintainer)
2008-04-15 15:20:50 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist