Tree @debian/8.9.1-5 (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.1
- coqide.desktop
- coqide.dirs
- coqide.install.in
- coqide.links.in
- coqvars.mk.in
- docs
- gbp.conf
- libcoq-ocaml-dev.install.in
- libcoq-ocaml.install.in
- NEWS
- not-installed
- README.Debian
- README.source
- rules
- TODO.Debian
- watch
History of debian @debian/8.9.1-5
- typo in changelog entry Ralf Treinen 4 years ago
- build-conflicts libcoq-ocaml Ralf Treinen (commit: Ralf Treinen) 4 years ago
- install coqide only on OPT architectures Ralf Treinen 4 years ago
- as-installed test for compiler Ralf Treinen 4 years ago
- avoid installation of coqidetop in the coqide package Ralf Treinen 4 years ago
- fix a typo in the changelog of 8.9.1-4 Ralf Treinen 4 years ago
- update debian/not-installed as we build coqide{top} again Ralf Treinen 4 years ago
- fix coqide.install for bytecode-only architectures Ralf Treinen 4 years ago
- patch upstream's Makefile to fix installation of ide on bytecode archs Ralf Treinen 4 years ago
- use dh_missing --fail-missing Ralf Treinen 4 years ago
- put build-dependency on lablgtk back to lablgtk2 Ralf Treinen 4 years ago
- typo in changelog (standards-version) Ralf Treinen 4 years ago
- standards-version 4.5.0 Ralf Treinen 4 years ago
- build depend on debian-compat; DH compat level 11 Ralf Treinen 4 years ago
- + lintian override for filenames containing wildcards Ralf Treinen 4 years ago
- generate html doc with HTMLSTYLE=simple Ralf Treinen (commit: Ralf Treinen) 4 years ago
- mv /usr/bin/coqidetop from coqide to coq Ralf Treinen 4 years ago
- activate again building coqide Ralf Treinen 4 years ago
- Recompile with OCaml 4.08.1 Stephane Glondu (commit: Stéphane Glondu) 4 years ago
- Prepare upload to unstable Stephane Glondu 4 years ago
- Update changelog Stephane Glondu 4 years ago
- Bump Standards-Version to 4.4.0 Stephane Glondu 4 years ago
- Remove trailing whitespace Stephane Glondu 4 years ago
- Update COQ_VERSION in debian/rules Stephane Glondu 4 years ago
- Remove debian/source/local-options Stephane Glondu 4 years ago
- Update debian/README.source Stephane Glondu 4 years ago
- Refresh patches Stephane Glondu 4 years ago
- Update changelog Stephane Glondu 4 years ago
- Update changelog Stephane Glondu 4 years ago
- Remove test failing with OCaml 4.08.0 Stephane Glondu 4 years ago