Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  sid  ] [  experimental  ]

Quellcode-Paket: polyml (5.7.1-5)

Links für polyml

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
libpolyml-dev
development files for Poly/ML, a compiler for Standard ML
libpolyml9
runtime files for Poly/ML, a compiler for Standard ML
polyml
interpreter and interactive compiler for Standard ML
polyml-modules
modules for Poly/ML, a compiler for Standard ML

Andere Pakete mit Bezug zu polyml

  • build-depends
  • build-depends-indep

Download polyml

DateiGröße (in kB)MD5-Prüfsumme
polyml_5.7.1-5.dsc 2,1 kB 14040a0f593c2cb17961fb99bbfe7a76
polyml_5.7.1.orig.tar.gz 7.107,8 kB b65bfc025078a7dd8afe70e39778620c
polyml_5.7.1-5.debian.tar.xz 21,9 kB 9f8424c1b7649e09496c3d389c3ae4ae
Quellcode-Depot des Debian-Pakets (VCS: Git)
https://salsa.debian.org/science-team/polyml.git
Quellcode-Depot des Debian-Pakets (browsable)
https://salsa.debian.org/science-team/polyml