Contents filter
| File | Package | Branch | Repository | Architecture |
|---|---|---|---|---|
| /usr/bin/coq-tex | rocq | edge | community | x86_64 |
| /usr/bin/coq_makefile | rocq | edge | community | x86_64 |
| /usr/bin/coqc | rocq | edge | community | x86_64 |
| /usr/bin/coqchk | rocq | edge | community | x86_64 |
| /usr/bin/coqdep | rocq | edge | community | x86_64 |
| /usr/bin/coqdoc | rocq | edge | community | x86_64 |
| /usr/bin/coqnative | rocq | edge | community | x86_64 |
| /usr/bin/coqpp | rocq | edge | community | x86_64 |
| /usr/bin/coqtop | rocq | edge | community | x86_64 |
| /usr/bin/coqtop.byte | rocq | edge | community | x86_64 |
| /usr/bin/coqwc | rocq | edge | community | x86_64 |
| /usr/bin/coqworkmgr | rocq | edge | community | x86_64 |
| /usr/bin/csdpcert | rocq | edge | community | x86_64 |
| /usr/bin/ocamllibdep | rocq | edge | community | x86_64 |
| /usr/bin/rocq | rocq | edge | community | x86_64 |
| /usr/bin/rocq.byte | rocq | edge | community | x86_64 |
| /usr/bin/rocqchk | rocq | edge | community | x86_64 |
| /usr/bin/rocqide | rocq | edge | community | x86_64 |
| /usr/bin/votour | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq-core/META | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq-core/dune-package | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq-core/opam | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Array/ArrayAxioms.glob | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Array/ArrayAxioms.v | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Array/ArrayAxioms.vo | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Array/ArrayAxioms.vos | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Array/PrimArray.glob | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Array/PrimArray.v | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Array/PrimArray.vo | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Array/PrimArray.vos | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/BinNums/IntDef.glob | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/BinNums/IntDef.v | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/BinNums/IntDef.vo | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/BinNums/IntDef.vos | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/BinNums/NatDef.glob | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/BinNums/NatDef.v | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/BinNums/NatDef.vo | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/BinNums/NatDef.vos | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/BinNums/PosDef.glob | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/BinNums/PosDef.v | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/BinNums/PosDef.vo | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/BinNums/PosDef.vos | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Classes/CMorphisms.glob | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Classes/CMorphisms.v | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Classes/CMorphisms.vo | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Classes/CMorphisms.vos | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Classes/CRelationClasses.glob | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Classes/CRelationClasses.v | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Classes/CRelationClasses.vo | rocq | edge | community | x86_64 |
| /usr/lib/ocaml/coq/theories/Classes/CRelationClasses.vos | rocq | edge | community | x86_64 |