You've already forked macports-ports
mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
committed by
Herby Gillot
parent
72adf6f710
commit
56ac5055f4
@@ -3,11 +3,11 @@
|
||||
PortSystem 1.0
|
||||
PortGroup github 1.0
|
||||
|
||||
github.setup polyml polyml 5.9.1 v
|
||||
github.setup polyml polyml 5.9.2 v
|
||||
revision 0
|
||||
checksums rmd160 d19af2038e5f87cb1e669fc32697db1732531141 \
|
||||
sha256 52f56a57a4f308f79446d479e744312195b298aa65181893bce2dfc023a3663c \
|
||||
size 3887664
|
||||
checksums rmd160 64bcb848aac2d8825f397c41cde119b2cd236d91 \
|
||||
sha256 5cf5f77767568c25cf880acc2d0a32ee3d399e935475ab1626e8192fc3b07390 \
|
||||
size 3878657
|
||||
|
||||
categories lang sml
|
||||
maintainers {veonix.com:phil.clayton @pclayton} openmaintainer
|
||||
|
||||
Reference in New Issue
Block a user