Package - libghc-dependent-sum-dev

Package:  libghc-dependent-sum-dev
apt-get install libghc-dependent-sum-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/h/haskell-dependent-sum/libghc-dependent-sum-dev_0.7.2.0-2+b1_amd64.deb (Size: 21.9KiB)

PropertyValue
Packagelibghc-dependent-sum-dev
Sourcehaskell-dependent-sum (0.7.2.0-2)
Version0.7.2.0-2+b1
Installed-Size176
MaintainerDebian Haskell Group
Architectureamd64
Provideslibghc-dependent-sum-dev-0.7.2.0-b46bf
Dependslibghc-base-dev-4.18.2.1-8e81e, libghc-constraints-extras-dev-0.4.0.1-79de6, libghc-some-dev-1.0.6-47394, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
DescriptionDependent sum type
Description-md544266b1bc2fd61aa09f458dbee73e939
Homepagehttps://github.com/obsidiansystems/dependent-sum
Ghc-Packagedependent-sum-0.7.2.0-6EmpoIwPBE33yhK2OIzKsc
Sectionhaskell
Priorityoptional
Filenamepool/main/h/haskell-dependent-sum/libghc-dependent-sum-dev_0.7.2.0-2+b1_amd64.deb
Size22476
MD5sum452eae830bc8bb64b0d5d7f546435dbf
SHA25644b7d2e5115e9f5d079529a37730bbd9f5009368088378a4abc752fd9bd8c503

Files in package

  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/dependent-sum-0.7.2.0-6EmpoIwPBE33yhK2OIzKsc/Data/Dependent/Sum.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/dependent-sum-0.7.2.0-6EmpoIwPBE33yhK2OIzKsc/Data/Dependent/Sum.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/dependent-sum-0.7.2.0-6EmpoIwPBE33yhK2OIzKsc/libHSdependent-sum-0.7.2.0-6EmpoIwPBE33yhK2OIzKsc.a
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/libHSdependent-sum-0.7.2.0-6EmpoIwPBE33yhK2OIzKsc-ghc9.6.6.so
  • /usr/share/doc/libghc-dependent-sum-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libghc-dependent-sum-dev/changelog.Debian.gz
  • /usr/share/doc/libghc-dependent-sum-dev/changelog.gz
  • /usr/share/doc/libghc-dependent-sum-dev/copyright
  • /var/lib/ghc/package.conf.d/dependent-sum-0.7.2.0.conf