How to Install and Uninstall coqide Package on Debian 11 (Bullseye)

Last updated: March 14,2025

1. Install "coqide" package

In this section, we are going to explain the necessary steps to install coqide on Debian 11 (Bullseye)

$ sudo apt update $ sudo apt install coqide

2. Uninstall "coqide" package

This tutorial shows how to uninstall coqide on Debian 11 (Bullseye):

$ sudo apt remove coqide $ sudo apt autoclean && sudo apt autoremove

3. Information about the coqide package on Debian 11 (Bullseye)

Package: coqide
Source: coq (8.12.0-3)
Version: 8.12.0-3+b3
Installed-Size: 9275
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: coq (= 8.12.0-3+b3), libc6 (>= 2.29), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0) | libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk-3-0 (>= 3.1.4), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0)
Description: proof assistant for higher-order logic (gtk interface)
Description-md5: ed74063b20a63106a7031db76f847ec1
Homepage: http://coq.inria.fr/
Tag: devel::ide, field::mathematics, implemented-in::ocaml,
interface::graphical, interface::x11, role::program,
scope::application, uitoolkit::gtk, uitoolkit::ncurses, use::checking,
x11::application
Section: math
Priority: optional
Filename: pool/main/c/coq/coqide_8.12.0-3+b3_amd64.deb
Size: 1879212
MD5sum: c162b97357234fdace6c4f3b7b0f36c5
SHA256: 204a3a7cefac4b371ff95063fc2f94a6fcb39dc0811abdf70937ed3101a613d3