Publishing details
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
Changelog
polyml (5.2.1-1.1) unstable; urgency=low
* NMU, added armhf to the arch list. (Closes: #623135)
-- Konstantinos Margaritis <email address hidden> Wed, 11 Jan 2012 22:39:20 +0000
Builds
Built packages
-
libpolyml-dev
development files for Poly/ML, a compiler for the Standard ML
-
libpolyml1
runtime files for Poly/ML, a compiler for the Standard ML
-
polyml
interpreter and interactive compiler for the Standard ML programming language
Package files