How to Install and Uninstall libghc-copilot-theorem-prof Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 23,2024

1. Install "libghc-copilot-theorem-prof" package

Please follow the step by step instructions below to install libghc-copilot-theorem-prof on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install libghc-copilot-theorem-prof

2. Uninstall "libghc-copilot-theorem-prof" package

Please follow the instructions below to uninstall libghc-copilot-theorem-prof on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove libghc-copilot-theorem-prof $ sudo apt autoclean && sudo apt autoremove

3. Information about the libghc-copilot-theorem-prof package on Ubuntu 23.10 (Mantic Minotaur)

Package: libghc-copilot-theorem-prof
Architecture: amd64
Version: 3.13-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: 4932
Provides: libghc-copilot-theorem-prof-3.13-12664
Depends: libghc-base-prof-4.15.1.0-6a406, libghc-bimap-prof-0.5.0-e16f1, libghc-bv-sized-prof-1.0.4-317a5, libghc-containers-prof-0.6.4.1-31c3b, libghc-copilot-core-prof-3.13-db5ae, libghc-copilot-prettyprinter-prof-3.13-91705, libghc-copilot-theorem-dev (= 3.13-1), libghc-data-default-prof-0.7.1.1-6d3b3, libghc-directory-prof-1.3.6.2-311c9, libghc-libbf-prof-0.6.5.1-82182, libghc-mtl-prof-2.2.2-e3bae, libghc-panic-prof-0.4.0.1-95384, libghc-parameterized-utils-prof-2.1.5.0-18eea, libghc-parsec-prof-3.1.14.0-377f0, libghc-pretty-prof-1.1.3.6-b017f, libghc-process-prof-1.6.13.2-9f25f, libghc-random-prof-1.2.1.1-f840d, libghc-transformers-prof-0.5.6.2-fc6f3, libghc-what4-prof-1.3-c24f5, libghc-xml-prof-1.3.14-9ace6
Filename: pool/universe/h/haskell-copilot-theorem/libghc-copilot-theorem-prof_3.13-1_amd64.deb
Size: 562938
MD5sum: 7e37597ef13e61638a970b250a58f507
SHA1: fceb56b7e00ba20d1c9c913b89981f8673ccd7d9
SHA256: fcd63d1ce36c1e65149b5dc7df152ce68c5c0005d344270868e805d30e44b7aa
SHA512: 6f608e3ccfaebd245261af09f51f03680e6c7f63e4460a155377d39b36580fcaa621c7756229e0780cb61838ea0fbe63072820a3765da55bd94875c8f4e4839d
Homepage: https://copilot-language.github.io
Description: k-induction for Copilot.; profiling libraries
Description-md5: 0e7549443f808b00ba257830b38a07e2