toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  sid  ] [  experimental  ]

Paquet source : polyml (5.7.1-2)

Liens pour polyml

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
libpolyml-dev
development files for Poly/ML, a compiler for Standard ML
libpolyml9
runtime files for Poly/ML, a compiler for Standard ML
polyml
interpréteur et compilateur interactif pour Standard ML
polyml-modules
modules for Poly/ML, a compiler for Standard ML

Autres paquets associés à polyml

  • build-depends
  • build-depends-indep

Download polyml

FichierTaille (en ko)Somme MD5
polyml_5.7.1-2.dsc 2,1 ko ba79be309ee894839425517aeecc5e55
polyml_5.7.1.orig.tar.gz 7 107,8 ko b65bfc025078a7dd8afe70e39778620c
polyml_5.7.1-2.debian.tar.xz 20,5 ko f707c0dfadf9660fa0f57b440b1cdb65
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/science-team/polyml.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/science-team/polyml