Update lang/polyml to version 5.5.2_1
authorDPorts Builder <nobody@home.ok>
Mon, 4 Aug 2014 18:36:32 +0000 (11:36 -0700)
committerDPorts Builder <nobody@home.ok>
Mon, 4 Aug 2014 18:36:32 +0000 (11:36 -0700)
commitdf4fa93ea50485a915971ea9db7c01236172320c
tree658824c990a21fa61cd21ebd9bf11616ce354633
parentc12ea699aa6fe0d3b4406952ab84da21fd150d7e
Update lang/polyml to version 5.5.2_1
lang/polyml/Makefile
lang/polyml/distinfo
lang/polyml/dragonfly/patch-libpolyml_elfexport.cpp
lang/polyml/files/patch-elfexport.h [deleted file]
lang/polyml/pkg-plist [new file with mode: 0644]