mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-25 00:51:21 +00:00
Code Issues Releases Activity
afbeb7332b
freebsd-ports/lang/polyml
History
John Marino 04e4ffa550 lang/polyml: Upgrade version 5.5 => 5.5.2 
Also:
  * add support for system libffi
  * Use sed instead of patch to fix configure
  * Adopt modern port conventions

PR:		191914
Submitted by:	maintainer (Timothy Beyer)
2014-07-27 07:59:57 +00:00
..
distinfo lang/polyml: Upgrade version 5.5 => 5.5.2 2014-07-27 07:59:57 +00:00
Makefile lang/polyml: Upgrade version 5.5 => 5.5.2 2014-07-27 07:59:57 +00:00
pkg-descr