Package: libghc-bv-sized-dev
Source: haskell-bv-sized
Version: 1.0.6-1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 1858
Depends: libghc-base-dev-4.20.2.0-08385, libghc-bitwise-dev-1.0.0.1-33790, libghc-bytestring-dev-0.12.2.0-ea2c7, libghc-deepseq-dev-1.5.0.0-5309b, libghc-panic-dev-0.4.0.1-47a6a, libghc-parameterized-utils-dev-2.1.11.0-32458, libghc-random-dev-1.2.1.3-b84dd, libghc-th-lift-dev-0.8.6-432d8, libc6 (>= 2.17), libgmp10 (>= 2:6.3.0+dfsg)
Provides: libghc-bv-sized-dev-1.0.6-71ce5
Section: haskell
Priority: optional
Homepage: https://github.com/GaloisInc/bv-sized
Description: bitvector datatype parameterized by the vector width
 This module defines a width-parameterized bitvector type and various
 associated operations.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.
Ghc-Package: bv-sized-1.0.6-2VgGESQNLBVBh9nZmgdLKo
