polyml
interpreter and interactive compiler for Standard ML
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/polyml
general
source
polyml
(
source
,
interpreters
)
version
5.7.1-5
maint
Debian Science Maintainers
(
a
)
,
Jessica Clarke
(u)
std-ver
4.1.4
VCS
Git
(
browse
)
versions
o-o-stable
5.7.1-2
oldstable
5.7.1-4
stable
5.7.1-5
unstable
5.7.1-5
exp
5.8.1-1~exp1
Ubuntu
5.7.1-5build1
binaries
libpolyml-dev
(
0 bugs
:
0
,
0
,
0
,
0
)
development files for Poly/ML, a compiler for Standard ML
libpolyml9
(
0 bugs
:
0
,
0
,
0
,
0
)
runtime files for Poly/ML, a compiler for Standard ML
polyml
(
1 bugs
:
0
,
0
,
1
,
0
)
interpreter and interactive compiler for Standard ML
polyml-modules
(
0 bugs
:
0
,
0
,
0
,
0
)
modules for Poly/ML, a compiler for Standard ML
todo
Lintian
reports
13 errors and 1 warning
about this package. You should make the package
lintian clean
getting rid of them.
Build log checks
report
1 warning
about this package.
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.7.0
instead of
4.1.4
).
A new upstream version is available:
5.9.1
, you should consider packaging it.
problems
The as-installed testing for this package
did not pass
(
log
).
news
RSS
[2023-06-27]
polyml REMOVED from testing
(Britney)
[2023-02-08]
polyml 5.7.1-5 MIGRATED to testing
(Britney)
[2023-02-03]
Accepted 5.7.1-5 in unstable (medium)
(Debian FTP Masters)
[2022-04-19]
polyml REMOVED from testing
(Britney)
[2020-12-01]
Accepted 5.8.1-1~exp1 in experimental (medium)
(Debian FTP Masters)
[2020-01-31]
polyml 5.7.1-4 MIGRATED to testing
(Britney)
[2020-01-19]
Accepted 5.7.1-4 in unstable (medium)
(James Clarke)
[2020-01-19]
Accepted 5.7.1-3 in unstable (medium)
(James Clarke)
[2018-07-03]
polyml 5.7.1-2 MIGRATED to testing
(Britney)
[2018-06-30]
Accepted 5.7.1-2 in unstable (medium)
(James Clarke)
[2017-12-14]
polyml 5.7.1-1 MIGRATED to testing
(Britney)
[2017-12-08]
Accepted 5.7.1-1 in unstable (medium)
(James Clarke)
[2017-11-20]
Accepted 5.7.1~20171120.git44b7b88-1 in experimental (medium)
(James Clarke)
[2017-10-11]
polyml 5.7-2 MIGRATED to testing
(Britney)
[2017-10-05]
Accepted 5.7-2 in unstable (medium)
(James Clarke)
[2017-08-24]
polyml 5.7-1 MIGRATED to testing
(Britney)
[2017-08-18]
Accepted 5.7-1 in unstable (medium)
(James Clarke)
[2017-03-24]
Accepted 5.7~20170322.git096d446-1 in experimental (medium)
(James Clarke)
[2017-03-20]
Accepted 5.7~20170315.git1343f60-1 in experimental (medium)
(James Clarke)
[2017-02-22]
Accepted 5.7~20170222.git2737850-1 in experimental (medium)
(James Clarke)
[2017-02-21]
Accepted 5.7~20170221.git4c3ba45-1 in experimental (medium)
(James Clarke)
[2017-01-18]
polyml 5.6-8 MIGRATED to testing
(Britney)
[2017-01-07]
Accepted 5.6-8 in unstable (low)
(James Clarke)
[2016-05-03]
polyml 5.6-7 MIGRATED to testing
(Britney)
[2016-04-26]
Accepted 5.6-7 in unstable (low)
(James Clarke)
[2016-04-25]
Accepted 5.6-6 in unstable (medium)
(James Clarke)
[2016-04-24]
polyml 5.6-5 MIGRATED to testing
(Britney)
[2016-04-13]
Accepted 5.6-5 in unstable (low)
(James Clarke)
[2016-04-06]
Accepted 5.6-4 in unstable (low)
(James Clarke)
[2016-03-23]
polyml 5.6-3 MIGRATED to testing
(Britney)
bugs
all
6
RC
2
I&N
3
M&W
1
F&P
0
Ubu
2
links
homepage
changelog
/
copyright
buildd:
logs
,
exp
,
checks
,
clang
tests
(
log
)
lintian
(
13
,
1
)
popcon
debtags
screenshots:
1
,
2
,
3
RDF meta-data
browse source code
patches
Debian
5.7.1-4
5.7.1-5
5.7.1-5
5.8.1-1~exp1