Tree @debian/8.4_gamma0+really8.4beta2+dfsg-1 (Download .tar.gz)
- ..
- patches
- source
- changelog
- compat
- control
- copyright
- coq-theories.dirs
- coq-theories.doc-base
- coq-theories.install.in
- coq-theories.links
- coq.emacsen-install
- coq.emacsen-remove
- coq.emacsen-startup
- coq.install.in
- coq.links.in
- coq.menu
- coq.xpm
- coqide.1
- coqide.desktop
- coqide.dirs
- coqide.install
- coqide.links.in
- coqide.menu
- coqvars.mk.in
- docs
- gbp.conf
- libcoq-ocaml-dev.install.in
- libcoq-ocaml.install.in
- NEWS
- purify_tarball
- README.Debian
- README.source
- rules
- TODO.Debian
- watch
History of debian @debian/8.4_gamma0+really8.4beta2+dfsg-1
- Prepare upload to experimental Stephane Glondu 11 years ago
- Dp plugin has been dropped Stephane Glondu 11 years ago
- Update ABI Stephane Glondu 11 years ago
- Refresh patches Stephane Glondu 11 years ago
- New upstream beta release Stephane Glondu 11 years ago
- Recompile with camlp5 6.05 (no changes) Stephane Glondu 12 years ago
- Update changelog and prepare upload to experimental Stephane Glondu 12 years ago
- Disable a test that uses too much memory Stephane Glondu 12 years ago
- proofgeneral-coq has been dropped in favour of proofgeneral Stephane Glondu 12 years ago
- Update changelog and prepare upload to experimental Stephane Glondu 12 years ago
- Fix an ordering issue that was causing a test to fail in bytecode Stephane Glondu 12 years ago
- Call dh_install with --fail-missing Stephane Glondu 12 years ago
- Fix typo (shame...) Stephane Glondu 12 years ago
- Prepare upload to experimental Stephane Glondu 12 years ago
- Miscellaneous updates Stephane Glondu 12 years ago
- Add distclean target to test-suite/Makefile Stephane Glondu 12 years ago
- New upstream beta release Stephane Glondu 12 years ago
- Update changelog and prepare upload to unstable Stephane Glondu 12 years ago
- Bump COQ_VERSION Stephane Glondu 12 years ago
- Remove patch applied upstream Stephane Glondu 12 years ago
- New upstream release Stephane Glondu 12 years ago
- Downgrade versioned build-dependency to liblablgtk2-ocaml-dev Stephane Glondu 12 years ago
- Prepare upload to unstable Stephane Glondu 12 years ago
- Bump Standards-Version to 3.9.2 (no changes) Stephane Glondu 12 years ago
- Update changelog and prepare upload to unstable Stephane Glondu 13 years ago
- Add patch to fix thumb2-related build error (Closes: #622882) Stephane Glondu 13 years ago
- New upstream release Stephane Glondu 13 years ago
- Promote 8.3 branch to master branch Stephane Glondu 13 years ago
- Set and check COQ_VERSION used to compute COQ_ABI in debian/rules Stephane Glondu 13 years ago
- Merge sid branch Stephane Glondu 13 years ago