Cabal revisions of bv-sized-1.0.5
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: bv-sized-version: 1.0.5-category: Bit Vectors-synopsis: a bitvector datatype that is parameterized by the vector width-description:- This module defines a width-parameterized bitvector type and various associated operations.-extra-source-files: changelog.md-homepage: https://github.com/GaloisInc/bv-sized-license: BSD3-license-file: LICENSE-author: Ben Selfridge-maintainer: benselfridge@galois.com-copyright: Galois Inc., Ben Selfridge March 2018-build-type: Simple-cabal-version: >=1.10-extra-source-files: README.md--source-repository head- type: git- location: https://github.com/GaloisInc/bv-sized--library- exposed-modules: Data.BitVector.Sized- Data.BitVector.Sized.Signed- Data.BitVector.Sized.Unsigned- Data.BitVector.Sized.Overflow- other-modules: Data.BitVector.Sized.Internal- Data.BitVector.Sized.Panic- build-depends: base >= 4.11 && <5,- bitwise >= 1.0.0 && < 1.1,- bytestring >= 0.10 && < 0.12,- deepseq >= 1.4.0 && < 1.5.0,- panic >= 0.4.0 && < 0.5,- parameterized-utils >= 2.0.2 && < 2.2,- random >= 1.2.0 && < 1.3,- th-lift >= 0.8.1 && < 0.9- hs-source-dirs: src- default-language: Haskell2010- ghc-options: -Wall -Wcompat--test-suite bv-sized-tests- type: exitcode-stdio-1.0- hs-source-dirs: test- main-is: Main.hs- build-depends: base,- bv-sized,- bytestring,- hedgehog,- MonadRandom >= 0.5.3 && < 0.7,- parameterized-utils,- tasty >= 1.2.3 && < 1.5,- tasty-hedgehog >= 1.2 && < 1.5- default-language: Haskell2010- ghc-options: -Wall -Wcompat+name: bv-sized +version: 1.0.5 +x-revision: 1 +category: Bit Vectors +synopsis: a bitvector datatype that is parameterized by the vector width +description: + This module defines a width-parameterized bitvector type and various associated operations. +extra-source-files: changelog.md +homepage: https://github.com/GaloisInc/bv-sized +license: BSD3 +license-file: LICENSE +author: Ben Selfridge +maintainer: benselfridge@galois.com +copyright: Galois Inc., Ben Selfridge March 2018 +build-type: Simple +cabal-version: >=1.10 +extra-source-files: README.md + +source-repository head + type: git + location: https://github.com/GaloisInc/bv-sized + +library + exposed-modules: Data.BitVector.Sized + Data.BitVector.Sized.Signed + Data.BitVector.Sized.Unsigned + Data.BitVector.Sized.Overflow + other-modules: Data.BitVector.Sized.Internal + Data.BitVector.Sized.Panic + build-depends: base >= 4.11 && <5, + bitwise >= 1.0.0 && < 1.1, + bytestring >= 0.10 && < 0.13, + deepseq >= 1.4.0 && < 1.6, + panic >= 0.4.0 && < 0.5, + parameterized-utils >= 2.0.2 && < 2.2, + random >= 1.2.0 && < 1.3, + th-lift >= 0.8.1 && < 0.9 + hs-source-dirs: src + default-language: Haskell2010 + ghc-options: -Wall -Wcompat + +test-suite bv-sized-tests + type: exitcode-stdio-1.0 + hs-source-dirs: test + main-is: Main.hs + build-depends: base, + bv-sized, + bytestring, + hedgehog, + MonadRandom >= 0.5.3 && < 0.7, + parameterized-utils, + tasty >= 1.2.3 && < 1.6, + tasty-hedgehog >= 1.2 && < 1.5 + default-language: Haskell2010 + ghc-options: -Wall -Wcompat