Package: libghc-copilot-theorem-dev
Source: haskell-copilot-theorem
Version: 4.5-1build1
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: 6052
Depends: libghc-base-dev-4.18.2.1-75247, libghc-bimap-dev-0.5.0-c50de, libghc-bv-sized-dev-1.0.5-f1f8a, libghc-containers-dev-0.6.7-3eda8, libghc-copilot-core-dev-4.5-d70e4, libghc-copilot-prettyprinter-dev-4.5-31c53, libghc-data-default-dev-0.7.1.2-46324, libghc-directory-dev-1.3.8.5-71f9f, libghc-libbf-dev-0.6.8-38e9c, libghc-mtl-dev-2.3.1-f8119, libghc-panic-dev-0.4.0.1-193af, libghc-parameterized-utils-dev-2.1.9.0-cf52b, libghc-parsec-dev-3.1.16.1-6f3a3, libghc-pretty-dev-1.1.3.6-21c21, libghc-process-dev-1.6.19.0-220a3, libghc-random-dev-1.2.1.2-8af52, libghc-transformers-dev-0.6.1.0-5335d, libghc-what4-dev-1.5.1-20ebb, libghc-xml-dev-1.3.14-88ab2, libc6 (>= 2.17), libgmp10 (>= 2:6.3.0+dfsg), zlib1g (>= 1:1.1.4)
Provides: libghc-copilot-theorem-dev-4.5-78629
Section: haskell
Priority: optional
Homepage: https://copilot-language.github.io
Description: k-induction for Copilot.
 Some tools to prove properties on Copilot programs with k-induction model
 checking.
 .
 Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
 Haskell that compiles into embedded C.  Copilot contains an interpreter,
 multiple back-end compilers, and other verification tools.
 .
 A tutorial, examples, and other information are available at
 <https://copilot-language.github.io>.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.
Ghc-Package: copilot-theorem-4.5-9jFkJqWCDBI40lDmkgpDv8
