Tree @debian/8.4_beta+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_beta+dfsg-1
- 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
- Update changelog and prepare upload to unstable Stephane Glondu 13 years ago
- Add Fix-build-with-camlp5-6.02.1.patch Stephane Glondu 13 years ago
- Refresh patches Stephane Glondu 13 years ago
- Prepare upload to experimental Stephane Glondu 13 years ago
- New upstream release, update changelog Stephane Glondu 13 years ago
- Port to camlp5 6.02.1 Stephane Glondu 13 years ago
- Add 0003-Support-for-camlp5-6.02.0.patch Stephane Glondu 13 years ago
- Add debian/source/local-options Stephane Glondu 13 years ago
- debian/rules: make "build" a phony target Stephane Glondu 13 years ago
- Add 0002-Fix-mixed-implicit-and-normal-rules.patch Stephane Glondu 13 years ago
- Run test-suite in override_dh_auto_test, skip coqchk Stephane Glondu 13 years ago
- NOT RELEASED YET Stephane Glondu 13 years ago
- Update changelog and prepare upload to experimental Stephane Glondu 13 years ago