Package: libghc-copilot-theorem-prof
Source: haskell-copilot-theorem
Version: 4.8-1
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 5365
Depends: libghc-base-prof-4.20.2.0-47ff0, libghc-bimap-prof-0.5.0-fdbfd, libghc-bv-sized-prof-1.0.6-227f4, libghc-containers-prof-0.7-0c6d4, libghc-copilot-core-prof-4.8-6acb8, libghc-copilot-prettyprinter-prof-4.8-6ecf7, libghc-copilot-theorem-dev (= 4.8-1), libghc-data-default-prof-0.8.0.1-00d7d, libghc-directory-prof-1.3.8.5-1f094, libghc-extra-prof-1.8.1-c0d84, libghc-fp-ieee-prof-0.1.0.6-695ba, libghc-libbf-prof-0.6.8-b9ecd, libghc-mtl-prof-2.3.1-edf82, libghc-panic-prof-0.4.0.1-f37f0, libghc-parameterized-utils-prof-2.1.11.0-a7bfc, libghc-pretty-prof-1.1.3.6-f6a4f, libghc-process-prof-1.6.26.1-92ff0, libghc-random-prof-1.2.1.3-962bc, libghc-transformers-prof-0.6.1.1-26140, libghc-what4-prof-1.6.3-db00b
Provides: libghc-copilot-theorem-prof-4.8-7590c
Section: haskell
Priority: optional
Homepage: https://copilot-language.github.io
Description: k-induction for Copilot.; profiling libraries
 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, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.
