Package - libghc-bv-sized-dev

Package:  libghc-bv-sized-dev
apt-get install libghc-bv-sized-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/h/haskell-bv-sized/libghc-bv-sized-dev_1.0.5-2+b2_amd64.deb (Size: 165.0KiB)

PropertyValue
Packagelibghc-bv-sized-dev
Sourcehaskell-bv-sized (1.0.5-2)
Version1.0.5-2+b2
Installed-Size1588
MaintainerDebian Haskell Group
Architectureamd64
Provideslibghc-bv-sized-dev-1.0.5-ff96d
Dependslibghc-base-dev-4.18.2.1-8e81e, libghc-bitwise-dev-1.0.0.1-b39b8, libghc-bytestring-dev-0.11.5.3-7048d, libghc-deepseq-dev-1.4.8.1-9013f, libghc-panic-dev-0.4.0.1-c7f51, libghc-parameterized-utils-dev-2.1.9.0-f38a3, libghc-random-dev-1.2.1.2-67d7d, libghc-th-lift-dev-0.8.4-95248, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Descriptionbitvector datatype parameterized by the vector width
Description-md53e154d3cb33d061bc9db856a47d09a03
Homepagehttps://github.com/GaloisInc/bv-sized
Ghc-Packagebv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13
Sectionhaskell
Priorityoptional
Filenamepool/main/h/haskell-bv-sized/libghc-bv-sized-dev_1.0.5-2+b2_amd64.deb
Size168988
MD5sumdd165f0c21177196d2ac9ac28097ef06
SHA2568a315cd56fc26f1b5119f6f254ec34a86ab195163c33d841219099053b11803c

Files in package

  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/Data/BitVector/Sized.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/Data/BitVector/Sized.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/Data/BitVector/Sized/Internal.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/Data/BitVector/Sized/Internal.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/Data/BitVector/Sized/Overflow.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/Data/BitVector/Sized/Overflow.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/Data/BitVector/Sized/Panic.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/Data/BitVector/Sized/Panic.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/Data/BitVector/Sized/Signed.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/Data/BitVector/Sized/Signed.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/Data/BitVector/Sized/Unsigned.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/Data/BitVector/Sized/Unsigned.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/bv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13/libHSbv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13.a
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/libHSbv-sized-1.0.5-LWjpJz5agKx4nOwFCkey13-ghc9.6.6.so
  • /usr/share/doc/libghc-bv-sized-dev/buildinfo_amd64.gz
  • /usr/share/doc/libghc-bv-sized-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libghc-bv-sized-dev/changelog.Debian.gz
  • /usr/share/doc/libghc-bv-sized-dev/changelog.gz
  • /usr/share/doc/libghc-bv-sized-dev/copyright
  • /var/lib/ghc/package.conf.d/bv-sized-1.0.5.conf