pkgsrc/lang/polyml
alnsn 8b102708f3 Update to version 5.7.1. Switch to github releases.
Major Changes

   This release fixes a number of bugs and timing issues in version 5.7 mainly related to the code-generator.
2019-05-02 18:24:58 +00:00
..
patches
DESCR
distinfo Update to version 5.7.1. Switch to github releases. 2019-05-02 18:24:58 +00:00
Makefile Update to version 5.7.1. Switch to github releases. 2019-05-02 18:24:58 +00:00
MESSAGE
options.mk
PLIST Update to version 5.7.1. Switch to github releases. 2019-05-02 18:24:58 +00:00