About

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

View its full control file here: debian/control.

Description

Dependent sum type

Relations

This package depends on: libghc-base-dev-4.6.0.1-8aa5d, libc6 (>= 2.2.5).

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.2.1.0-1 is in debian - jessie / 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/dependent-sum-0.2.1.0/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3/Data/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3/Data/Dependent/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3/Data/Dependent/Sum/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3/Data/Dependent/Sum.hi application/octet-stream root:root 0o644 16.6 KB
/usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3/Data/Dependent/Sum/Typeable.hi application/octet-stream root:root 0o644 3.8 KB
/usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3/Data/GADT/ root:root 0o755
/usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3/Data/GADT/Compare.hi application/octet-stream root:root 0o644 23.8 KB
/usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3/Data/GADT/Show.hi application/octet-stream root:root 0o644 2.8 KB
/usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3/HSdependent-sum-0.2.1.0.o application/x-object root:root 0o644 103.9 KB
/usr/lib/haskell-packages/ghc/lib/dependent-sum-0.2.1.0/ghc-7.6.3/libHSdependent-sum-0.2.1.0.a application/x-archive root:root 0o644 151.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.5 KB
/usr/share/doc/libghc-dependent-sum-dev/changelog.Debian.gz application/gzip root:root 0o644 225 bytes
/usr/share/doc/libghc-dependent-sum-dev/copyright text/plain root:root 0o644 285 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.2.1.0.conf text/plain root:root 0o644 1.6 KB