Tree @15c643fd-3cb6-4d10-92ed-69ea79b2eae7/main (Download .tar.gz)
- ..
- patches
- source
- tests
- changelog
- control
- copyright
- coq-theories.dirs
- coq-theories.doc-base
- coq-theories.docs
- 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.links
- 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 @15c643fd-3cb6-4d10-92ed-69ea79b2eae7/main
- Remove constraints unnecessary since buster Debian Janitor 2 years ago
- Prepare for upload Julien Puydt 2 years ago
- Refresh lintian overrides Julien Puydt 2 years ago
- Refresh patches Julien Puydt 2 years ago
- Package new upstream 8.15.0 (Closes: #1003586) Julien Puydt 2 years ago
- Drop some Files-Excluded from d/copyright (removed upstream) Julien Puydt 2 years ago
- Prepare for upload Julien Puydt 2 years ago
- Make the ocaml libs available in /usr/lib/ocaml Julien Puydt 2 years ago
- Build-depend on ocaml-native-compilers instead of hardcoding architecture lists Adrian Bunk 2 years ago
- Prepare for upload Julien Puydt 2 years ago
- Package new upstream release 8.14.1 Julien Puydt 2 years ago
- Ship the META file in the right package, following OCaml Packaging Policy Julien Puydt 2 years ago
- Prepare for upload Julien Puydt 2 years ago
- Still missed some bytecode-only architectures for some packages... Julien Puydt 2 years ago
- Prepare for upload Julien Puydt 2 years ago
- Missed two bytecode-only architectures Julien Puydt 2 years ago
- Prepare for upload Julien Puydt 2 years ago
- Disable the bytecode-only architectures (Closes: #999651) Julien Puydt 2 years ago
- Make the html files point to local css files Julien Puydt 2 years ago
- Make the html doc point to a local logo file Julien Puydt 2 years ago
- Build using dune Julien Puydt 2 years ago
- Strip libraries Julien Puydt 2 years ago
- Prepare for upload to unstable Julien Puydt 2 years ago
- Add lintian override for maintainer desktop entry Julien Puydt 2 years ago
- 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