wszystkie opcje
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Pakiet źródłowy: polyml (5.2.1-1.1)

Odnośniki dla polyml

Zasoby systemu Debian:

Opiekunowie:

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
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

Inne pakiety związane z polyml

  • build-depends
  • build-depends-indep

Download polyml

PlikRozmiar (w KiB)Suma kontrolna MD5
polyml_5.2.1-1.1.dsc 2,0 KiB c2e428c2cb307c0cb2ee71a63e443e61
polyml_5.2.1.orig.tar.gz 4 018,1 KiB 303ba7d26c262999685ddd54b36dd16b
polyml_5.2.1-1.1.diff.gz 464,4 KiB ff6d9097e988d3e239ec04b948f46db6
Repozytorium kodu źródłowego Debiana (VCS: Git)
git://git.debian.org/git/debian-science/packages/polyml.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
http://git.debian.org/?p=debian-science/packages/polyml.git