Tree @15df95b0-2265-435f-8858-7e334d669721/main (Download .tar.gz)
- ..
- patches
- source
- tests
- upstream
- 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
- watch
History of debian @15df95b0-2265-435f-8858-7e334d669721/main
- Update standards version to 4.5.1, no changes needed. Debian Janitor 2 years ago
- Set upstream metadata fields: Bug-Database, Bug-Submit. Debian Janitor 2 years ago
- Use secure URI in Homepage field. Debian Janitor 2 years ago
- debian/copyright: use spaces rather than tabs to start continuation lines. Debian Janitor 2 years ago
- Trim trailing whitespace. Debian Janitor 2 years ago
- upload to unstable Ralf Treinen 3 years ago
- patch header format Ralf Treinen 3 years ago
- disable test bugs/closed/bug_4544.v Ralf Treinen 3 years ago
- Rules-requires-Root=no Ralf Treinen 3 years ago
- DH compat level 13 Ralf Treinen 3 years ago
- DH compat level 12 Ralf Treinen 3 years ago
- update install files Ralf Treinen 3 years ago
- update versions of build-dependencies Ralf Treinen 3 years ago
- update COQ_VERSION Ralf Treinen 3 years ago
- refresh patch remove-bytecode-failing-tests Ralf Treinen 3 years ago
- refresh patch testsuite-bytecode Ralf Treinen 3 years ago
- refresh patch skip-dot-pc Ralf Treinen 3 years ago
- refresh patch python-scripts-libraries Ralf Treinen 3 years ago
- refresh patch avoid-usr-bin-env Ralf Treinen 3 years ago
- refresh patch remove-tests-that-need-coqlib Ralf Treinen 3 years ago
- Update upstream source from tag 'upstream/8.12.0' Ralf Treinen 3 years ago
- disable test coq-makefile/findlib-package-unpacked as it fails on bytecode Ralf Treinen 4 years ago
- add patch to fix test failures on bc archs Ralf Treinen 4 years ago
- build-dependency texlive-latex-extrs => tex-common Ralf Treinen 4 years ago
- drop patch verbose-build.patch Ralf Treinen 4 years ago
- dropped build-dependency on hevea Ralf Treinen 4 years ago
- /usr/bin/doc_grammar no longer installed Ralf Treinen 4 years ago
- bump COQ+VESION Ralf Treinen 4 years ago
- drop patch restore_g_ssrmatching.mli, refresh some other patches Ralf Treinen 4 years ago
- drop patch votour-linking Ralf Treinen 4 years ago