Cheap VPS & Xen Server


Residential Proxy Network - Hourly & Monthly Packages

How to install libssreflect-coq on Debian Unstable (Sid)


Install libssreflect-coq

Installing libssreflect-coq package on Debian Unstable (Sid) is as easy as running the following command on terminal:

sudo apt-get update
sudo apt-get install libssreflect-coq

libssreflect-coq package information

distro Debian Unstable (Sid)
section Main
name libssreflect-coq
version 1.5-3
description small scale reflection library for Coq (theories)
subsection math
website msr-inria.fr / projects / mathematical-components / 
maintainer Debian OCaml Maintainers

Uninstall libssreflect-coq

To remove just libssreflect-coq package itself from Debian Unstable (Sid) execute on terminal:

sudo apt-get remove libssreflect-coq

Uninstall libssreflect-coq and it’s dependent packages

To remove the libssreflect-coq package and any other dependant package which are no longer needed from Debian Sid.

sudo apt-get remove --auto-remove libssreflect-coq

Purging libssreflect-coq

If you also want to delete configuration and/or data files of libssreflect-coq from Debian Sid then this will work:

sudo apt-get purge libssreflect-coq

To delete configuration and/or data files of libssreflect-coq and it’s dependencies from Debian Sid then execute:

sudo apt-get purge --auto-remove libssreflect-coq

 

Comments

comments