Package: libghc-copilot-theorem-dev 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: 4971 Provides: libghc-copilot-theorem-dev-4.2-39660 Depends: libghc-base-dev-4.18.2.1-8e81e, libghc-bimap-dev-0.5.0-5df24, libghc-bv-sized-dev-1.0.5-b83ec, libghc-containers-dev-0.6.7-7a228, libghc-copilot-core-dev-4.2-96933, libghc-copilot-prettyprinter-dev-4.2-5cb47, libghc-data-default-dev-0.7.1.2-6e275, libghc-directory-dev-1.3.8.5-98ebe, libghc-libbf-dev-0.6.8-eccde, libghc-mtl-dev-2.3.1-f8119, libghc-panic-dev-0.4.0.1-c7f51, libghc-parameterized-utils-dev-2.1.9.0-d9890, libghc-parsec-dev-3.1.16.1-a6416, libghc-pretty-dev-1.1.3.6-8f6c9, libghc-process-dev-1.6.19.0-48ee2, libghc-random-dev-1.2.1.2-67d7d, libghc-transformers-dev-0.6.1.0-5335d, libghc-what4-dev-1.5.1-4693d, libghc-xml-dev-1.3.14-8a6bc, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg), zlib1g (>= 1:1.1.4) Filename: pool/universe/h/haskell-copilot-theorem/libghc-copilot-theorem-dev_4.2-1_amd64.deb Size: 614706 MD5sum: 0b97cbdefcf8479ac8976b8968d69b31 SHA1: 0babcdd8c5ca2a3f57976d355534bcce7e0001b4 SHA256: 08fe7c63835efa83a0273bbaa3c04945f6792aa4ff2954c979ac350875cb060a SHA512: a5391eb496699bbe4997219e75bd6382927ba8f5a7609937bd9b51ca0b218c795c323b7ab676d640f5ca65102fd3fb429ff2bc60cdc6de4b3dbe08c0589bedde Homepage: https://copilot-language.github.io Description: k-induction for Copilot. Ghc-Package: copilot-theorem-4.2-JW8964Ra5NdKwSK8MgK4G3 Description-md5: 6c922b3e178550cdaae179191fb949ec