This package is 177.8 KB.
It is available at http://ftp.debian.org/debian/pool/main/s/sollya/sollya_6.0+ds-1_amd64.deb
.
View its full control file here:
debian/control.
library for safe floating-point code development -- tool
This package depends on:
libc6 (>= 2.2.5), libfplll2 (>= 5.0.1), libgmp10, libmpfi0 (>= 1.5.1), libmpfr4 (>= 3.1.3), libsollya6 (>= 6.0), libstdc++6 (>= 4.1.1), libxml2 (>= 2.6.27).
This package suggests:
libsollya-dev (= 6.0+ds-1), sollya-doc (= 6.0+ds-1).
This package does not conflict with any other package.
sollya 6.0+ds-1 is in debian - stretch / main. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/sollya
|
application/x-sharedlib | root:root | 0o755 | 6.0 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/sollya/
|
root:root | 0o755 | ||
/usr/share/doc/sollya/AUTHORS
|
text/plain | root:root | 0o644 | 217 bytes |
/usr/share/doc/sollya/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 405 bytes |
/usr/share/doc/sollya/changelog.gz
|
application/gzip | root:root | 0o644 | 154.5 KB |
/usr/share/doc/sollya/copyright
|
text/plain | root:root | 0o644 | 24.3 KB |
/usr/share/doc/sollya/NEWS.gz
|
application/gzip | root:root | 0o644 | 7.5 KB |
/usr/share/doc/sollya/README
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/sollya.1.gz
|
application/gzip | root:root | 0o644 | 2.1 KB |