DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamelibpolyml1
Beschreibungruntime files for Poly/ML, a compiler for the Standard ML
Archiv/RepositoryOffizielles Debian Archiv wheezy (main)
Version5.2.1-1.1
Sektionlibs
Prioritätextra
Installierte Größe389 Byte
Hängt ab vonlibc6 (>= 2.3.6-6~), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1)
Empfohlene Pakete
PaketbetreuerDebian Science Maintainers
Quellepolyml
Paketgröße160224 Byte
Prüfsumme MD50430b227e75c55890d6dd72849e3b6c9
Prüfsumme SHA1b389c1f6d5813040fd4aaeb99a4316c16760a04a
Prüfsumme SHA256aef91e69ff990a970e2f718ff805f5f7b29d19c9e7e3e7d2b0c97a78082b4a6e
Link zum Herunterladenlibpolyml1_5.2.1-1.1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds