| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Alpine Linux Edge
testing |
polyml |
5.9 |
- |
fallback-mnt-alpine@repology |
Alpine Linux Edge
testing |
polyml-doc |
5.9 |
- |
fallback-mnt-alpine@repology |
Alpine Linux Edge
testing |
polyml-dev |
5.9 |
- |
fallback-mnt-alpine@repology |
|
ALT Linux p9 |
polyml |
5.4.1 |
Development/ML |
yushi@altlinux.org |
|
ALT Linux p10 |
polyml |
5.4.1 |
Development/ML |
yushi@altlinux.org |
Arch
community |
polyml |
5.9 |
- |
- |
Arch Linux 32 i486
community |
polyml |
5.9 |
- |
- |
Arch Linux 32 i686
community |
polyml |
5.9 |
- |
- |
Arch Linux 32 pentium4
community |
polyml |
5.8.2 |
- |
- |
Arch Linux ARM aarch64
community |
polyml |
5.9 |
- |
- |
Arch Linux ARM armv7h
community |
polyml |
5.9 |
- |
- |
Debian 8
jessie/main |
polyml |
5.2.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, brucker@member.fsf.org, lmamane@debian.org |
Debian 9
stretch/main |
polyml |
5.6 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Debian 10
buster/main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Debian 11
bullseye/main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Debian Unstable
sid/main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Debian Experimental
experimental/main |
polyml |
5.8.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Deepin
main |
polyml |
5.7.1 |
- |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Devuan 1.0
jessie/main |
polyml |
5.2.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, brucker@member.fsf.org, lmamane@debian.org |
Devuan 2.0
ascii/main |
polyml |
5.6 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Devuan 3.0
beowulf/main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Devuan 4.0
chimaera/main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Devuan Unstable
unstable/main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
|
DPorts |
lang/polyml |
5.8.2 |
lang |
beyert@cs.ucr.edu |
Fedora 26
release |
polyml |
5.7 |
Unspecified |
- |
Fedora 27
updates |
polyml |
5.7.1 |
Unspecified |
- |
Fedora 27
release |
polyml |
5.7 |
Unspecified |
- |
Fedora 28
release |
polyml |
5.7.1 |
Unspecified |
- |
Fedora 28
updates |
polyml |
5.7.1 |
Unspecified |
- |
Fedora 29
release |
polyml |
5.7.1 |
Unspecified |
- |
Fedora 30
updates |
polyml |
5.8 |
Unspecified |
- |
Fedora 30
release |
polyml |
5.7.1 |
Unspecified |
- |
Fedora 31
release |
polyml |
5.8 |
Unspecified |
- |
Fedora 32
updates |
polyml |
5.8.1 |
Unspecified |
- |
Fedora 32
release |
polyml |
5.8 |
Unspecified |
- |
Fedora 33
updates |
polyml |
5.8.2 |
Unspecified |
- |
Fedora 33
release |
polyml |
5.8.1 |
Unspecified |
- |
Fedora 34
updates |
polyml |
5.8.2 |
Unspecified |
- |
Fedora 34
release |
polyml |
5.8.1 |
Unspecified |
- |
Fedora 35
updates |
polyml |
5.9 |
Unspecified |
- |
Fedora 35
release |
polyml |
5.8.2 |
Unspecified |
- |
Fedora 36
development |
polyml |
5.9 |
Unspecified |
- |
Fedora Rawhide
development |
polyml |
5.9 |
Unspecified |
- |
|
FreeBSD Ports |
lang/polyml |
5.9 |
lang |
beyert@cs.ucr.edu |
Funtoo 1.4
ml-lang-kit |
dev-lang/polyml |
5.8 |
dev-lang |
ml@gentoo.org, tupone@gentoo.org |
Funtoo 1.4
ml-lang-kit |
dev-lang/polyml |
5.6 |
dev-lang |
ml@gentoo.org, tupone@gentoo.org |
Funtoo 1.4
ml-lang-kit |
dev-lang/polyml |
5.5.2 |
dev-lang |
ml@gentoo.org, tupone@gentoo.org |
Funtoo 1.4
ml-lang-kit |
dev-lang/polyml |
5.5.1 |
dev-lang |
ml@gentoo.org, tupone@gentoo.org |
Funtoo 1.4
ml-lang-kit |
dev-lang/polyml |
5.5.0 |
dev-lang |
ml@gentoo.org, tupone@gentoo.org |
Funtoo 1.4
ml-lang-kit |
dev-lang/polyml |
5.4.1 |
dev-lang |
ml@gentoo.org, tupone@gentoo.org |
|
Gentoo |
dev-lang/polyml |
5.9 |
dev-lang |
ml@gentoo.org |
|
Gentoo |
dev-lang/polyml |
5.8.2 |
dev-lang |
ml@gentoo.org |
|
Gentoo |
dev-lang/polyml |
5.8 |
dev-lang |
ml@gentoo.org |
|
GNU Guix |
polyml |
5.8.2 |
- |
- |
|
Homebrew |
polyml |
5.9 |
- |
- |
|
LiGurOS stable |
dev-lang/polyml |
5.9 |
dev-lang |
ml@gentoo.org |
|
LiGurOS stable |
dev-lang/polyml |
5.8.2 |
dev-lang |
ml@gentoo.org |
|
LiGurOS stable |
dev-lang/polyml |
5.8 |
dev-lang |
ml@gentoo.org |
|
LiGurOS develop |
dev-lang/polyml |
5.9 |
dev-lang |
ml@gentoo.org |
|
LiGurOS develop |
dev-lang/polyml |
5.8.2 |
dev-lang |
ml@gentoo.org |
|
LiGurOS develop |
dev-lang/polyml |
5.8 |
dev-lang |
ml@gentoo.org |
|
MacPorts |
polyml |
5.9 |
lang |
pclayton@github |
Manjaro Stable
community |
polyml |
5.9 |
- |
- |
Manjaro Testing
community |
polyml |
5.9 |
- |
- |
Manjaro Unstable
community |
polyml |
5.9 |
- |
- |
|
nixpkgs stable 21.05 |
polyml |
5.8.1 |
- |
marco.maggesi@gmail.com, kovirobi@gmail.com |
|
nixpkgs stable 21.05 |
polyml |
5.7.1 |
- |
marco.maggesi@gmail.com |
|
nixpkgs stable 21.05 |
polyml |
5.6 |
- |
marco.maggesi@gmail.com |
|
nixpkgs stable 21.11 |
polyml |
5.8.2 |
- |
marco.maggesi@gmail.com, kovirobi@gmail.com |
|
nixpkgs stable 21.11 |
polyml |
5.7.1 |
- |
marco.maggesi@gmail.com |
|
nixpkgs stable 21.11 |
polyml |
5.6 |
- |
marco.maggesi@gmail.com |
|
nixpkgs unstable |
polyml |
5.9 |
- |
marco.maggesi@gmail.com, kovirobi@gmail.com |
|
nixpkgs unstable |
polyml |
5.7.1 |
- |
marco.maggesi@gmail.com |
|
nixpkgs unstable |
polyml |
5.6 |
- |
marco.maggesi@gmail.com |
|
OpenPKG |
polyml |
5.9 |
Language |
- |
Parabola
community |
polyml |
5.9 |
- |
- |
Pardus 17
main |
polyml |
5.6 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Pardus 19
main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Pardus 21
main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Parrot
parrot/main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Parrot
parrot-updates/main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
|
pkgsrc current |
lang/polyml |
5.8.1 |
lang |
asau@inbox.ru |
|
PureOS Amber |
polyml |
5.7.1 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
|
PureOS landing |
polyml |
5.7.1 |
misc |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Raspbian Oldstable
main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Raspbian Stable
main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Raspbian Testing
main |
polyml |
5.7.1 |
interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
|
SlackBuilds |
development/polyml |
5.5.2 |
development |
hba.nihilismus@gmail.com |
|
Termux |
polyml |
5.9 |
- |
termux@github |
Trisquel 6.0
toutatis/main |
polyml |
5.2.1 |
universe/interpreters |
debian-science-maintainers@lists.alioth.debian.org, brucker@member.fsf.org, lmamane@debian.org |
Trisquel 7.0
belenos/main |
polyml |
5.2.1 |
universe/interpreters |
debian-science-maintainers@lists.alioth.debian.org, brucker@member.fsf.org, lmamane@debian.org |
Trisquel 8.0
flidas/main |
polyml |
5.6 |
universe/interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@jrtc27.com |
Trisquel 9.0
etiona/main |
polyml |
5.7.1 |
universe/interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Trisquel 10.0
nabia/main |
polyml |
5.7.1 |
universe/interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Ubuntu 14.04
trusty/universe |
polyml |
5.2.1 |
universe/interpreters |
debian-science-maintainers@lists.alioth.debian.org, brucker@member.fsf.org, lmamane@debian.org |
Ubuntu 16.04
xenial/universe |
polyml |
5.6 |
universe/interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@jrtc27.com |
Ubuntu 18.04
bionic/universe |
polyml |
5.7.1 |
universe/interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Ubuntu 20.04
focal/universe |
polyml |
5.7.1 |
universe/interpreters |
debian-science-maintainers@lists.alioth.debian.org, jrtc27@debian.org |
Ubuntu 21.04
hirsute/universe |
polyml |
5.7.1 |
universe/interpreters |
ubuntu-devel-discuss@lists.ubuntu.com, jrtc27@debian.org |
Ubuntu 21.10
impish/universe |
polyml |
5.7.1 |
universe/interpreters |
ubuntu-devel-discuss@lists.ubuntu.com, jrtc27@debian.org |
Ubuntu 22.04
jammy/universe |
polyml |
5.7.1 |
universe/interpreters |
ubuntu-devel-discuss@lists.ubuntu.com, jrtc27@debian.org |
Void Linux x86_64
x86_64 |
polyml |
5.9 |
- |
leah@vuxu.org |