About

This package is 46.9 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/h/haskell-dependent-sum/libghc-dependent-sum-dev_0.4-1_amd64.deb .

View its full control file here: debian/control.

Description

Dependent sum type

Relations

This package depends on: libghc-base-dev-4.9.1.0-d28d6, libc6 (>= 2.2.5), libgmp10.

This package does not recommend any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

libghc-dependent-sum-dev 0.4-1 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/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/Data// root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/Data/Dependent// root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/Data/Dependent/Sum.dyn_hi application/octet-stream root:root 0o644 36.9 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/Data/Dependent/Sum.hi application/octet-stream root:root 0o644 36.9 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/Data/GADT// root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/Data/GADT/Compare.dyn_hi application/octet-stream root:root 0o644 23.0 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/Data/GADT/Compare.hi application/octet-stream root:root 0o644 23.0 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/Data/GADT/Show.dyn_hi application/octet-stream root:root 0o644 7.0 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/Data/GADT/Show.hi application/octet-stream root:root 0o644 7.0 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/Data/Some.dyn_hi application/octet-stream root:root 0o644 18.3 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/Data/Some.hi application/octet-stream root:root 0o644 18.3 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/dependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl/libHSdependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl.a application/x-archive root:root 0o644 163.2 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.2/libHSdependent-sum-0.4-32kCW1hJUMSBd03CvIwqZl-ghc8.0.2.so application/x-sharedlib root:root 0o644 106.2 KB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/libghc-dependent-sum-dev/ root:root 0o755
/usr/share/doc/libghc-dependent-sum-dev/changelog.Debian.gz application/gzip root:root 0o644 757 bytes
/usr/share/doc/libghc-dependent-sum-dev/copyright text/plain root:root 0o644 308 bytes
/usr/share/lintian/ root:root 0o755
/usr/share/lintian/overrides/ root:root 0o755
/usr/share/lintian/overrides/libghc-dependent-sum-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/dependent-sum-0.4.conf text/plain root:root 0o644 1.5 KB