How to Install and Uninstall libcoq-iris Package on Ubuntu 22.10 (Kinetic Kudu)
Last updated: December 24,2024
1. Install "libcoq-iris" package
This guide covers the steps necessary to install libcoq-iris on Ubuntu 22.10 (Kinetic Kudu)
$
sudo apt update
Copied
$
sudo apt install
libcoq-iris
Copied
2. Uninstall "libcoq-iris" package
This guide let you learn how to uninstall libcoq-iris on Ubuntu 22.10 (Kinetic Kudu):
$
sudo apt remove
libcoq-iris
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libcoq-iris package on Ubuntu 22.10 (Kinetic Kudu)
Package: libcoq-iris
Architecture: amd64
Version: 4.0.0-1
Priority: optional
Section: universe/ocaml
Source: coq-iris
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 41231
Provides: libcoq-iris-nbgg6
Depends: libcoq-stdpp (>= 1.8.0)
Filename: pool/universe/c/coq-iris/libcoq-iris_4.0.0-1_amd64.deb
Size: 13498860
MD5sum: b0a29c4d1be1d581589953ce6c7dd10f
SHA1: 3ebdda1227ba878cd5728a2c18dc4f0bd39cc079
SHA256: 48d97d0426bf0eb7b21bef84530a4b5ee7a7f300248ec042ffe28e8ded6d30a3
SHA512: d8fdd500c4a1e8a7f6d5ca1aed536c8145b4255bc844fda6714ed8f193467861f65fe704089776de9a53572e4ffc43b4b79a0e843e305d555c1a46537020d344
Homepage: https://gitlab.mpi-sws.org/iris/iris
Description: high-order concurrent separation logic framework for Coq
Description-md5: 74d5fbfb9ecfce6d055e40a6442c23c0
Architecture: amd64
Version: 4.0.0-1
Priority: optional
Section: universe/ocaml
Source: coq-iris
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 41231
Provides: libcoq-iris-nbgg6
Depends: libcoq-stdpp (>= 1.8.0)
Filename: pool/universe/c/coq-iris/libcoq-iris_4.0.0-1_amd64.deb
Size: 13498860
MD5sum: b0a29c4d1be1d581589953ce6c7dd10f
SHA1: 3ebdda1227ba878cd5728a2c18dc4f0bd39cc079
SHA256: 48d97d0426bf0eb7b21bef84530a4b5ee7a7f300248ec042ffe28e8ded6d30a3
SHA512: d8fdd500c4a1e8a7f6d5ca1aed536c8145b4255bc844fda6714ed8f193467861f65fe704089776de9a53572e4ffc43b4b79a0e843e305d555c1a46537020d344
Homepage: https://gitlab.mpi-sws.org/iris/iris
Description: high-order concurrent separation logic framework for Coq
Description-md5: 74d5fbfb9ecfce6d055e40a6442c23c0