How to Install and Uninstall qepcad Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: September 19,2024

1. Install "qepcad" package

This is a short guide on how to install qepcad on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install qepcad

2. Uninstall "qepcad" package

Please follow the instructions below to uninstall qepcad on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove qepcad $ sudo apt autoclean && sudo apt autoremove

3. Information about the qepcad package on Ubuntu 23.10 (Mantic Minotaur)

Package: qepcad
Architecture: amd64
Version: 1.74+ds-3build1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1830
Depends: singular, libc6 (>= 2.34), libgcc-s1 (>= 3.0), libgl1, libglu1-mesa | libglu1, libglut3.12 (>= 3.4.0), libreadline8 (>= 6.0), libstdc++6 (>= 11)
Filename: pool/universe/q/qepcad/qepcad_1.74+ds-3build1_amd64.deb
Size: 490736
MD5sum: 1e10cc36407774816333e0233ec3092a
SHA1: 594cf86ad764fe8749d968646e36469c9fb95843
SHA256: 20234d14afbec74249cd4c9ef3c611b07dfa981fbca85d3e641209f032e30c42
SHA512: 6013c1ea1429ee07e0676be8235806858afdf105eda678f1ed63727a6b0d5ce820d1b001878d8683ef485143a018a1684cab5e95ebafd5e374b8397297e8c6d0
Homepage: https://www.usna.edu/Users/cs/wcbrown/qepcad/B/QEPCAD.html
Description: quantifier elimination tool
Description-md5: 80c6c87c9eb75d49bac09b4ddbc2f13a