Contents filter
File | Package | Branch | Repository | Architecture |
---|---|---|---|---|
/usr/share/doc/coq-core/LICENSE | coq-doc | edge | community | x86_64 |
/usr/share/doc/coq-core/README.md | coq-doc | edge | community | x86_64 |
/usr/share/doc/coq-stdlib/LICENSE | coq-doc | edge | community | x86_64 |
/usr/share/doc/coq-stdlib/README.md | coq-doc | edge | community | x86_64 |
/usr/share/doc/coq/LICENSE | coq-doc | edge | community | x86_64 |
/usr/share/doc/coq/README.md | coq-doc | edge | community | x86_64 |
/usr/share/doc/coq/odoc-pages/index.mld | coq-doc | edge | community | x86_64 |
/usr/share/man/man1/coq-tex.1.gz | coq-doc | edge | community | x86_64 |
/usr/share/man/man1/coq_makefile.1.gz | coq-doc | edge | community | x86_64 |
/usr/share/man/man1/coqc.1.gz | coq-doc | edge | community | x86_64 |
/usr/share/man/man1/coqchk.1.gz | coq-doc | edge | community | x86_64 |
/usr/share/man/man1/coqdep.1.gz | coq-doc | edge | community | x86_64 |
/usr/share/man/man1/coqdoc.1.gz | coq-doc | edge | community | x86_64 |
/usr/share/man/man1/coqnative.1.gz | coq-doc | edge | community | x86_64 |
/usr/share/man/man1/coqtop.1.gz | coq-doc | edge | community | x86_64 |
/usr/share/man/man1/coqtop.byte.1.gz | coq-doc | edge | community | x86_64 |
/usr/share/man/man1/coqtop.opt.1.gz | coq-doc | edge | community | x86_64 |
/usr/share/man/man1/coqwc.1.gz | coq-doc | edge | community | x86_64 |