About

This package is 46.7 KB. It is available at http://ftp.debian.org/debian/pool/main/h/haskell-dependent-sum/libghc-dependent-sum-dev_0.3.2.2-3_amd64.deb .

View its full control file here: debian/control.

Description

Dependent sum type

Relations

This package depends on: libghc-base-dev-4.9.0.0-5e731, 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.3.2.2-3 is in debian - stretch / main. 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.1/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q// root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/Data// root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/Data/Dependent// root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/Data/Dependent/Sum.dyn_hi application/octet-stream root:root 0o644 36.8 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/Data/Dependent/Sum.hi application/octet-stream root:root 0o644 36.8 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/Data/GADT// root:root 0o755
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/Data/GADT/Compare.dyn_hi application/octet-stream root:root 0o644 23.2 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/Data/GADT/Compare.hi application/octet-stream root:root 0o644 23.2 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/Data/GADT/Show.dyn_hi application/octet-stream root:root 0o644 5.8 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/Data/GADT/Show.hi application/octet-stream root:root 0o644 5.8 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/Data/Some.dyn_hi application/octet-stream root:root 0o644 18.2 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/Data/Some.hi application/octet-stream root:root 0o644 18.2 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/libHSdependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q.a application/x-archive root:root 0o644 160.4 KB
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/dependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q/libHSdependent-sum-0.3.2.2-6CaXGAnhgDhIcM3OA323Q-ghc8.0.1.so application/x-sharedlib root:root 0o644 110.1 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/buildinfo_amd64.gz application/gzip root:root 0o644 2.7 KB
/usr/share/doc/libghc-dependent-sum-dev/changelog.Debian.gz application/gzip root:root 0o644 687 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.3.2.2.conf text/plain root:root 0o644 1.4 KB