libghc-smtlib-dev 1.0.8-3build1 in ubuntu - bionic / universe

About

This package is 425.6 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/h/haskell-smtlib/libghc-smtlib-dev_1.0.8-3build1_amd64.deb .

View its full control file here: debian/control.

Description

A library for working with the SMTLIB format.

Relations

This package does not recommend any other package.

This package suggests: libghc-smtlib-doc, libghc-smtlib-prof.

This package does not conflict with any other package.

Package Contents

This package is indexed.

libghc-smtlib-dev 1.0.8-3build1 is in ubuntu - bionic / universe. This package's architecture is: amd64.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/lib/ root:root 0o755
/usr/lib/haskell-packages/ root:root 0o755
/usr/lib/haskell-packages/ghc/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/libHSsmtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp-ghc8.0.2.so application/x-sharedlib root:root 0o644 1.4 MB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/libHSsmtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp.a application/x-archive root:root 0o644 2.2 MB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib1// root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib1/AST.dyn_hi application/octet-stream root:root 0o644 259.9 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib1/AST.hi application/octet-stream root:root 0o644 259.9 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib1.dyn_hi application/octet-stream root:root 0o644 5.9 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib1.hi application/octet-stream root:root 0o644 5.9 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib1/PP.dyn_hi application/octet-stream root:root 0o644 26.1 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib1/PP.hi application/octet-stream root:root 0o644 26.1 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib1/QF_AUFBV.dyn_hi application/octet-stream root:root 0o644 9.4 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib1/QF_AUFBV.hi application/octet-stream root:root 0o644 9.4 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib1/QF_BV.dyn_hi application/octet-stream root:root 0o644 22.9 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib1/QF_BV.hi application/octet-stream root:root 0o644 22.9 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2// root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/Array.dyn_hi application/octet-stream root:root 0o644 2.7 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/Array.hi application/octet-stream root:root 0o644 2.7 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/AST.dyn_hi application/octet-stream root:root 0o644 249.8 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/AST.hi application/octet-stream root:root 0o644 249.8 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/BitVector.dyn_hi application/octet-stream root:root 0o644 16.9 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/BitVector.hi application/octet-stream root:root 0o644 16.9 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/Compat1.dyn_hi application/octet-stream root:root 0o644 15.4 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/Compat1.hi application/octet-stream root:root 0o644 15.4 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/Core.dyn_hi application/octet-stream root:root 0o644 5.8 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/Core.hi application/octet-stream root:root 0o644 5.7 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2.dyn_hi application/octet-stream root:root 0o644 5.9 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2.hi application/octet-stream root:root 0o644 5.9 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/Int.dyn_hi application/octet-stream root:root 0o644 6.5 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/Int.hi application/octet-stream root:root 0o644 6.5 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/PP.dyn_hi application/octet-stream root:root 0o644 21.7 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp/SMTLib2/PP.hi application/octet-stream root:root 0o644 21.7 KB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/libghc-smtlib-dev/ root:root 0o755
/usr/share/doc/libghc-smtlib-dev/changelog.Debian.gz application/gzip root:root 0o644 637 bytes
/usr/share/doc/libghc-smtlib-dev/copyright text/plain root:root 0o644 1.4 KB
/usr/share/lintian/ root:root 0o755
/usr/share/lintian/overrides/ root:root 0o755
/usr/share/lintian/overrides/libghc-smtlib-dev text/plain root:root 0o644 30 bytes
/var/ root:root 0o755
/var/lib/ root:root 0o755
/var/lib/ghc/ root:root 0o755
/var/lib/ghc/package.conf.d/ root:root 0o755
/var/lib/ghc/package.conf.d/smtLib-1.0.8.conf text/plain root:root 0o644 1.1 KB

APT Browse - Built by Thomas Orozco.