Package: libghc-copilot-theorem-prof Architecture: amd64 Version: 4.2-1 Priority: optional Section: universe/haskell Source: haskell-copilot-theorem Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 5061 Provides: libghc-copilot-theorem-prof-4.2-39660 Depends: libghc-base-prof-4.18.2.1-8e81e, libghc-bimap-prof-0.5.0-5df24, libghc-bv-sized-prof-1.0.5-b83ec, libghc-containers-prof-0.6.7-7a228, libghc-copilot-core-prof-4.2-96933, libghc-copilot-prettyprinter-prof-4.2-5cb47, libghc-copilot-theorem-dev (= 4.2-1), libghc-data-default-prof-0.7.1.2-6e275, libghc-directory-prof-1.3.8.5-98ebe, libghc-libbf-prof-0.6.8-eccde, libghc-mtl-prof-2.3.1-f8119, libghc-panic-prof-0.4.0.1-c7f51, libghc-parameterized-utils-prof-2.1.9.0-d9890, libghc-parsec-prof-3.1.16.1-a6416, libghc-pretty-prof-1.1.3.6-8f6c9, libghc-process-prof-1.6.19.0-48ee2, libghc-random-prof-1.2.1.2-67d7d, libghc-transformers-prof-0.6.1.0-5335d, libghc-what4-prof-1.5.1-4693d, libghc-xml-prof-1.3.14-8a6bc Filename: pool/universe/h/haskell-copilot-theorem/libghc-copilot-theorem-prof_4.2-1_amd64.deb Size: 578854 MD5sum: 6172b91862f9379ef22366a91c308122 SHA1: 38e90310afd9033208049a236ec2a98ea43c67e4 SHA256: 5a525b8c31167314f72dfd755d3b1bc5d5ae6bd8e8202c6f48c9ae793e9641b8 SHA512: 96d8651548c926c59b7926949f424b53037dd60a0c86aff1e3882a845a8fc5a9f754eced3112f21734743820918d191dbf137908c75611f2d7e26cb083aaf87f Homepage: https://copilot-language.github.io Description: k-induction for Copilot.; profiling libraries Description-md5: 0e7549443f808b00ba257830b38a07e2