Tree @20414489-17dd-44ad-b828-3e5780491463/main (Download .tar.gz)
- ..
- patches
- source
- tests
- changelog
- control
- copyright
- coq-theories.dirs
- coq-theories.doc-base
- coq-theories.install.in
- coq-theories.links
- coq-theories.lintian-overrides
- coq.install.in
- coq.links.in
- coq.lintian-overrides
- coq.xpm
- coqide.desktop
- coqide.dirs
- coqide.install.in
- coqide.links.in
- coqvars.mk.in
- docs
- gbp.conf
- libcoq-ocaml-dev.install.in
- libcoq-ocaml-dev.lintian-overrides
- libcoq-ocaml.install.in
- libcoq-ocaml.lintian-overrides
- NEWS
- not-installed
- README.Debian
- README.source
- rules
- TODO
- watch
History of debian @20414489-17dd-44ad-b828-3e5780491463/main
- Add lintian override for false positive shared-library-lacks-prerequisites Julien Puydt 2 years ago
- Add a lintian override for false positive ocaml-dangling-cmi Julien Puydt 2 years ago
- Add a lintian override for missing manpages (upstreamed) Julien Puydt 2 years ago
- Made a lintian override more general Julien Puydt 2 years ago
- Add a patch to handle the timing scripts correctly Julien Puydt 2 years ago
- Fix a strange permission issue Julien Puydt 2 years ago
- Fix Debian paths Julien Puydt 2 years ago
- Prepare for upload Julien Puydt 2 years ago
- Add lintian overrides for long lines in source code Julien Puydt 2 years ago
- Add a link for a manpage Julien Puydt 2 years ago
- Remove d/coqide.1 -- now upstream Julien Puydt 2 years ago
- Add lintian overrides for trivial matters Julien Puydt 2 years ago
- Better choice of which files goes where Julien Puydt 2 years ago
- Fix the fix for coq-theories.doc-base Julien Puydt 2 years ago
- Make clear what goes where Julien Puydt 2 years ago
- Add keywords to coqide.desktop Julien Puydt 2 years ago
- Remove a trailing whitespace Julien Puydt 2 years ago
- Fix coq-theories.doc-base Julien Puydt 2 years ago
- Enable hardening flags in d/rules Julien Puydt 2 years ago
- Fix uploaders' list Julien Puydt 2 years ago
- Point coq-theories.doc-base to the new path Julien Puydt 2 years ago
- Update lintian overrides about * in HTML filenames Julien Puydt 2 years ago
- Make the whole patch stack work Julien Puydt 2 years ago
- Drop skip-dot-pc.patch Julien Puydt 2 years ago
- Drop python-scripts-libraries.patch Julien Puydt 2 years ago
- Rewrite avoid-usr-bin-env.patch Julien Puydt 2 years ago
- Bump standards-version to 4.6.0 Julien Puydt 2 years ago
- Add myself to uploaders Julien Puydt 2 years ago
- Prepare for upload to experimental Julien Puydt 2 years ago
- Package new upstream 8.14.0 Julien Puydt 2 years ago