name: opentheory-byte version: 1.126 category: Formal Methods synopsis: Bytes license: MIT license-file: LICENSE cabal-version: >= 1.8.0.2 build-type: Simple author: Joe Leslie-Hurd maintainer: Joe Leslie-Hurd homepage: http://opentheory.gilith.com/?pkg=byte description: Bytes - this package was automatically generated from the OpenTheory package byte-1.126 library build-depends: base >= 4.0 && < 5.0, QuickCheck >= 2.4.0.1 && < 3.0, opentheory-primitive >= 1.6 && < 2.0, opentheory >= 1.193 && < 1.200, opentheory-bits >= 1.63 && < 1.67, opentheory-probability >= 1.46 && < 1.50 hs-source-dirs: src ghc-options: -Wall exposed-modules: OpenTheory.Byte