coq-theories • apt package info

Information about the apt package "coq-theories".

Package

coq-theories

Version

8.6-4build3

Priority

optional

Section

universe/math

Source

coq

Origin

Ubuntu

Maintainer

Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>

Original Maintainer

Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

Bugs

https://bugs.launchpad.net/ubuntu/+filebug

Installed Size

241 MB

Depends

coq-8.6+4.04.0, libc6 (>= 2.2.5)

Recommends

coq (>= 8.0)

Breaks

coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)

Replaces

coq-libs (<< 8.2.pl1)

Homepage

http://coq.inria.fr/

Download Size

33.3 MB

APT Manual Installed

APT Sources

http://archive.ubuntu.com/ubuntu artful/universe amd64 Packages

Description

proof assistant for higher-order logic (theories)

Install Info

artful,now 8.6-4build3 amd64

Installed Automatically

True

Files

/./
/usr/
/usr/lib/
/usr/lib/coq/
/usr/lib/coq/plugins/
/usr/lib/coq/plugins/btauto/
/usr/lib/coq/plugins/btauto/.coq-native/
/usr/lib/coq/plugins/btauto/.coq-native/NCoq_btauto_Algebra.cmi
/usr/lib/coq/plugins/btauto/.coq-native/NCoq_btauto_Algebra.cmx
/usr/lib/coq/plugins/btauto/.coq-native/NCoq_btauto_Algebra.cmxs
/usr/lib/coq/plugins/btauto/.coq-native/NCoq_btauto_Algebra.o
/usr/lib/coq/plugins/btauto/.coq-native/NCoq_btauto_Btauto.cmi
/usr/lib/coq/plugins/btauto/.coq-native/NCoq_btauto_Btauto.cmx
/usr/lib/coq/plugins/btauto/.coq-native/NCoq_btauto_Btauto.cmxs
/usr/lib/coq/plugins/btauto/.coq-native/NCoq_btauto_Btauto.o
/usr/lib/coq/plugins/btauto/.coq-native/NCoq_btauto_Reflect.cmi
/usr/lib/coq/plugins/btauto/.coq-native/NCoq_btauto_Reflect.cmx
/usr/lib/coq/plugins/btauto/.coq-native/NCoq_btauto_Reflect.cmxs
/usr/lib/coq/plugins/btauto/.coq-native/NCoq_btauto_Reflect.o
/usr/lib/coq/plugins/btauto/Algebra.glob
/usr/lib/coq/plugins/btauto/Algebra.v
/usr/lib/coq/plugins/btauto/Algebra.vo
/usr/lib/coq/plugins/btauto/Btauto.glob
/usr/lib/coq/plugins/btauto/Btauto.v
/usr/lib/coq/plugins/btauto/Btauto.vo
/usr/lib/coq/plugins/btauto/Reflect.glob
/usr/lib/coq/plugins/btauto/Reflect.v
/usr/lib/coq/plugins/btauto/Reflect.vo
/usr/lib/coq/plugins/derive/
/usr/lib/coq/plugins/derive/.coq-native/
/usr/lib/coq/plugins/derive/.coq-native/NCoq_derive_Derive.cmi
/usr/lib/coq/plugins/derive/.coq-native/NCoq_derive_Derive.cmx
/usr/lib/coq/plugins/derive/.coq-native/NCoq_derive_Derive.cmxs
/usr/lib/coq/plugins/derive/.coq-native/NCoq_derive_Derive.o
/usr/lib/coq/plugins/derive/Derive.glob
/usr/lib/coq/plugins/derive/Derive.v
/usr/lib/coq/plugins/derive/Derive.vo
/usr/lib/coq/plugins/extraction/
/usr/lib/coq/plugins/extraction/.coq-native/
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellBasic.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellBasic.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellBasic.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellBasic.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInt.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInt.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInt.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInt.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInteger.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInteger.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInteger.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInteger.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatNum.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatNum.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatNum.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatNum.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellString.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellString.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellString.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellString.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInt.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInt.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInt.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInt.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInteger.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInteger.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInteger.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInteger.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZNum.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZNum.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZNum.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZNum.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBasic.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBasic.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBasic.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBasic.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBigIntConv.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBigIntConv.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBigIntConv.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBigIntConv.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlIntConv.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlIntConv.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlIntConv.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlIntConv.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatBigInt.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatBigInt.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatBigInt.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatBigInt.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlString.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlString.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlString.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlString.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZBigInt.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZBigInt.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZBigInt.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZBigInt.o
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZInt.cmi
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZInt.cmx
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZInt.cmxs
/usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlZInt.o
/usr/lib/coq/plugins/extraction/ExtrHaskellBasic.glob
/usr/lib/coq/plugins/extraction/ExtrHaskellBasic.v
/usr/lib/coq/plugins/extraction/ExtrHaskellBasic.vo
/usr/lib/coq/plugins/extraction/ExtrHaskellNatInt.glob
/usr/lib/coq/plugins/extraction/ExtrHaskellNatInt.v
/usr/lib/coq/plugins/extraction/ExtrHaskellNatInt.vo
/usr/lib/coq/plugins/extraction/ExtrHaskellNatInteger.glob
/usr/lib/coq/plugins/extraction/ExtrHaskellNatInteger.v
/usr/lib/coq/plugins/extraction/ExtrHaskellNatInteger.vo
/usr/lib/coq/plugins/extraction/ExtrHaskellNatNum.glob
/usr/lib/coq/plugins/extraction/ExtrHaskellNatNum.v
/usr/lib/coq/plugins/extraction/ExtrHaskellNatNum.vo
/usr/lib/coq/plugins/extraction/ExtrHaskellString.glob
/usr/lib/coq/plugins/extraction/ExtrHaskellString.v
/usr/lib/coq/plugins/extraction/ExtrHaskellString.vo
/usr/lib/coq/plugins/extraction/ExtrHaskellZInt.glob
/usr/lib/coq/plugins/extraction/ExtrHaskellZInt.v
/usr/lib/coq/plugins/extraction/ExtrHaskellZInt.vo
/usr/lib/coq/plugins/extraction/ExtrHaskellZInteger.glob
/usr/lib/coq/plugins/extraction/ExtrHaskellZInteger.v
/usr/lib/coq/plugins/extraction/ExtrHaskellZInteger.vo
/usr/lib/coq/plugins/extraction/ExtrHaskellZNum.glob
/usr/lib/coq/plugins/extraction/ExtrHaskellZNum.v
/usr/lib/coq/plugins/extraction/ExtrHaskellZNum.vo
/usr/lib/coq/plugins/extraction/ExtrOcamlBasic.glob
/usr/lib/coq/plugins/extraction/ExtrOcamlBasic.v
/usr/lib/coq/plugins/extraction/ExtrOcamlBasic.vo
/usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.glob
/usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.v
/usr/lib/coq/plugins/extraction/ExtrOcamlBigIntConv.vo
/usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.glob
/usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.v
/usr/lib/coq/plugins/extraction/ExtrOcamlIntConv.vo
/usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.glob
/usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.v
/usr/lib/coq/plugins/extraction/ExtrOcamlNatBigInt.vo
/usr/lib/coq/plugins/extraction/ExtrOcamlNatInt.glob
/usr/lib/coq/plugins/extraction/ExtrOcamlNatInt.v
/usr/lib/coq/plugins/extraction/ExtrOcamlNatInt.vo
/usr/lib/coq/plugins/extraction/ExtrOcamlString.glob
/usr/lib/coq/plugins/extraction/ExtrOcamlString.v
/usr/lib/coq/plugins/extraction/ExtrOcamlString.vo
/usr/lib/coq/plugins/extraction/ExtrOcamlZBigInt.glob
/usr/lib/coq/plugins/extraction/ExtrOcamlZBigInt.v
/usr/lib/coq/plugins/extraction/ExtrOcamlZBigInt.vo
/usr/lib/coq/plugins/extraction/ExtrOcamlZInt.glob
/usr/lib/coq/plugins/extraction/ExtrOcamlZInt.v
/usr/lib/coq/plugins/extraction/ExtrOcamlZInt.vo
/usr/lib/coq/plugins/fourier/
/usr/lib/coq/plugins/fourier/.coq-native/
/usr/lib/coq/plugins/fourier/.coq-native/NCoq_fourier_Fourier.cmi
/usr/lib/coq/plugins/fourier/.coq-native/NCoq_fourier_Fourier.cmx
/usr/lib/coq/plugins/fourier/.coq-native/NCoq_fourier_Fourier.cmxs
/usr/lib/coq/plugins/fourier/.coq-native/NCoq_fourier_Fourier.o
/usr/lib/coq/plugins/fourier/.coq-native/NCoq_fourier_Fourier_util.cmi
/usr/lib/coq/plugins/fourier/.coq-native/NCoq_fourier_Fourier_util.cmx
/usr/lib/coq/plugins/fourier/.coq-native/NCoq_fourier_Fourier_util.cmxs
/usr/lib/coq/plugins/fourier/.coq-native/NCoq_fourier_Fourier_util.o
/usr/lib/coq/plugins/fourier/Fourier.glob
/usr/lib/coq/plugins/fourier/Fourier.v
/usr/lib/coq/plugins/fourier/Fourier.vo
/usr/lib/coq/plugins/fourier/Fourier_util.glob
/usr/lib/coq/plugins/fourier/Fourier_util.v
/usr/lib/coq/plugins/fourier/Fourier_util.vo
/usr/lib/coq/plugins/funind/
/usr/lib/coq/plugins/funind/.coq-native/
/usr/lib/coq/plugins/funind/.coq-native/NCoq_funind_Recdef.cmi
/usr/lib/coq/plugins/funind/.coq-native/NCoq_funind_Recdef.cmx
/usr/lib/coq/plugins/funind/.coq-native/NCoq_funind_Recdef.cmxs
/usr/lib/coq/plugins/funind/.coq-native/NCoq_funind_Recdef.o
/usr/lib/coq/plugins/funind/Recdef.glob
/usr/lib/coq/plugins/funind/Recdef.v
/usr/lib/coq/plugins/funind/Recdef.vo
/usr/lib/coq/plugins/micromega/
/usr/lib/coq/plugins/micromega/.coq-native/
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Env.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Env.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Env.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Env.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_EnvRing.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_EnvRing.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_EnvRing.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_EnvRing.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lia.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lia.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lia.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lia.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lqa.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lqa.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lqa.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lqa.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lra.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lra.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lra.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Lra.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_OrderedRing.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_OrderedRing.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_OrderedRing.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_OrderedRing.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Psatz.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Psatz.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Psatz.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Psatz.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_QMicromega.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_QMicromega.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_QMicromega.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_QMicromega.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RMicromega.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RMicromega.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RMicromega.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RMicromega.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Refl.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RingMicromega.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RingMicromega.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RingMicromega.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_RingMicromega.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Tauto.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Tauto.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Tauto.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_Tauto.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_VarMap.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_VarMap.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_VarMap.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_VarMap.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZCoeff.o
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZMicromega.cmi
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZMicromega.cmx
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZMicromega.cmxs
/usr/lib/coq/plugins/micromega/.coq-native/NCoq_micromega_ZMicromega.o
/usr/lib/coq/plugins/micromega/Env.glob
/usr/lib/coq/plugins/micromega/Env.v
/usr/lib/coq/plugins/micromega/Env.vo
/usr/lib/coq/plugins/micromega/EnvRing.glob
/usr/lib/coq/plugins/micromega/EnvRing.v
/usr/lib/coq/plugins/micromega/EnvRing.vo
/usr/lib/coq/plugins/micromega/Lia.glob
/usr/lib/coq/plugins/micromega/Lia.v
/usr/lib/coq/plugins/micromega/Lia.vo
/usr/lib/coq/plugins/micromega/Lqa.glob
/usr/lib/coq/plugins/micromega/Lqa.v
/usr/lib/coq/plugins/micromega/Lqa.vo
/usr/lib/coq/plugins/micromega/Lra.glob
/usr/lib/coq/plugins/micromega/Lra.v
/usr/lib/coq/plugins/micromega/Lra.vo
/usr/lib/coq/plugins/micromega/OrderedRing.glob
/usr/lib/coq/plugins/micromega/OrderedRing.v
/usr/lib/coq/plugins/micromega/OrderedRing.vo
/usr/lib/coq/plugins/micromega/Psatz.glob
/usr/lib/coq/plugins/micromega/Psatz.v
/usr/lib/coq/plugins/micromega/Psatz.vo
/usr/lib/coq/plugins/micromega/QMicromega.glob
/usr/lib/coq/plugins/micromega/QMicromega.v
/usr/lib/coq/plugins/micromega/QMicromega.vo
/usr/lib/coq/plugins/micromega/RMicromega.glob
/usr/lib/coq/plugins/micromega/RMicromega.v
/usr/lib/coq/plugins/micromega/RMicromega.vo
/usr/lib/coq/plugins/micromega/Refl.glob
/usr/lib/coq/plugins/micromega/Refl.v
/usr/lib/coq/plugins/micromega/Refl.vo
/usr/lib/coq/plugins/micromega/RingMicromega.glob
/usr/lib/coq/plugins/micromega/RingMicromega.v
/usr/lib/coq/plugins/micromega/RingMicromega.vo
/usr/lib/coq/plugins/micromega/Tauto.glob
/usr/lib/coq/plugins/micromega/Tauto.v
/usr/lib/coq/plugins/micromega/Tauto.vo
/usr/lib/coq/plugins/micromega/VarMap.glob
/usr/lib/coq/plugins/micromega/VarMap.v
/usr/lib/coq/plugins/micromega/VarMap.vo
/usr/lib/coq/plugins/micromega/ZCoeff.glob
/usr/lib/coq/plugins/micromega/ZCoeff.v
/usr/lib/coq/plugins/micromega/ZCoeff.vo
/usr/lib/coq/plugins/micromega/ZMicromega.glob
/usr/lib/coq/plugins/micromega/ZMicromega.v
/usr/lib/coq/plugins/micromega/ZMicromega.vo
/usr/lib/coq/plugins/nsatz/
/usr/lib/coq/plugins/nsatz/.coq-native/
/usr/lib/coq/plugins/nsatz/.coq-native/NCoq_nsatz_Nsatz.cmi
/usr/lib/coq/plugins/nsatz/.coq-native/NCoq_nsatz_Nsatz.cmx
/usr/lib/coq/plugins/nsatz/.coq-native/NCoq_nsatz_Nsatz.cmxs
/usr/lib/coq/plugins/nsatz/.coq-native/NCoq_nsatz_Nsatz.o
/usr/lib/coq/plugins/nsatz/Nsatz.glob
/usr/lib/coq/plugins/nsatz/Nsatz.v
/usr/lib/coq/plugins/nsatz/Nsatz.vo
/usr/lib/coq/plugins/omega/
/usr/lib/coq/plugins/omega/.coq-native/
/usr/lib/coq/plugins/omega/.coq-native/NCoq_omega_Omega.cmi
/usr/lib/coq/plugins/omega/.coq-native/NCoq_omega_Omega.cmx
/usr/lib/coq/plugins/omega/.coq-native/NCoq_omega_Omega.cmxs
/usr/lib/coq/plugins/omega/.coq-native/NCoq_omega_Omega.o
/usr/lib/coq/plugins/omega/.coq-native/NCoq_omega_OmegaLemmas.cmi
/usr/lib/coq/plugins/omega/.coq-native/NCoq_omega_OmegaLemmas.cmx