Import lang/polyml version 5.5_1
authorDPorts Builder <nobody@home.ok>
Fri, 20 Jun 2014 11:07:20 +0000 (04:07 -0700)
committerDPorts Builder <nobody@home.ok>
Fri, 20 Jun 2014 11:07:20 +0000 (04:07 -0700)
commitaec4533a5816b319f228a71230c3d99dbbe0087b
treefdcb0044435d9f882d55750f8f09530371698052
parente1c9b2056079c920b0ade1817539b8cdfb9ed84d
Import lang/polyml version 5.5_1
lang/polyml/Makefile [new file with mode: 0644]
lang/polyml/distinfo [new file with mode: 0644]
lang/polyml/dragonfly/patch-libpolyml_elfexport.cpp [new file with mode: 0644]
lang/polyml/files/patch-elfexport.h [new file with mode: 0644]
lang/polyml/pkg-descr [new file with mode: 0644]