1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-30 01:15:52 +00:00
freebsd-ports/lang/moscow_ml
Alex Dupre bf330a57d4 Switch to use newer GMP version.
PR:		ports/144487
Submitted by:	ale
Approved by:	portmgr (-exp run by erwin)
2010-04-19 10:43:42 +00:00
..
files
distinfo
Makefile Switch to use newer GMP version. 2010-04-19 10:43:42 +00:00
pkg-descr
pkg-plist