deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
Depends: libghc-base-dev-4.15.1.0-6a406, libghc-bitwise-dev-1.0.0.1-dbfa6, libghc-bytestring-dev-0.10.12.1-ced9a,
libghc-deepseq-dev-1.4.5.0-118cf, libghc-panic-dev-0.4.0.1-95384, libghc-parameterized-utils-dev-2.1.5.0-7c4ad,
libghc-random-dev-1.2.1.1-f840d, libghc-th-lift-dev-0.8.2-fd5f2, libc6 (>= 2.2.5),
libgmp10 (>= 2:6.2.1+dfsg1)
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.4-3tcHb6fMaTCCQHYw6LFIvV
Homepage: https://github.com/GaloisInc/bv-sized
Installed-Size: '1617'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package: libghc-bv-sized-dev
Priority: optional
Provides: libghc-bv-sized-dev-1.0.4-82727
Section: haskell
Source: haskell-bv-sized (1.0.4-2)
Version: 1.0.4-2+b4
srcpkg_name: haskell-bv-sized
srcpkg_version: 1.0.4-2