This package is 220.0 KB.
It is available at http://ftp.debian.org/debian/pool/main/p/polyml/libpolyml-dev_5.2.1-1.1_amd64.deb
.
View its full control file here:
debian/control.
development files for Poly/ML, a compiler for the Standard ML
This package depends on:
libpolyml1 (= 5.2.1-1.1).
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
libpolyml-dev 5.2.1-1.1 is in debian - wheezy / main. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/libpolyml.a
|
application/x-archive | root:root | 0o644 | 844.4 KB |
/usr/lib/libpolyml.la
|
text/plain | root:root | 0o644 | 964 bytes |
/usr/lib/libpolyml.so
|
root:root | 0o777 | ||
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/libpolyml-dev/
|
root:root | 0o755 | ||
/usr/share/doc/libpolyml-dev/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 444 bytes |
/usr/share/doc/libpolyml-dev/copyright
|
text/plain | root:root | 0o644 | 631 bytes |