Tree @debian/8.0pl1-3 (Download .tar.gz)
- ..
- patches
- changelog
- compat
- control
- copyright
- coq-interface.1
- coq-libs.install
- coq.desktop
- coq.dirs
- coq.emacsen-install
- coq.emacsen-remove
- coq.emacsen-startup
- coq.install
- coq.menu
- coq.xpm
- coq7-libs.install
- coq_makefile.1
- coqc.1
- coqide.1
- coqide.dirs
- coqide.docs
- coqide.install
- coqide.menu
- coqmktop.1
- coqtop.1
- docs
- README.Debian
- rules
- TODO
- watch
History of debian @debian/8.0pl1-3
- Set urgency to high. Samuel Mimram 19 years ago
- Patched for OCaml 3.08.1 + other minor things. Samuel Mimram 19 years ago
- Versionned the dependency to ocaml-base-nox, added enhanced manpages. Samuel Mimram 19 years ago
- Depend on ocaml-base-nox if coq is compiled in bytecode. Samuel Mimram 19 years ago
- Ignore errors on strip to fix the FTBFS on arm. Samuel Mimram 19 years ago
- Removed the powerpc kludge. Sven Luther 19 years ago
- Let's see if coqide builds in bytecode on alpha. Samuel Mimram 19 years ago
- We will upload it in unstable. Samuel Mimram 19 years ago
- Added myself to the list of uploaders in order for the upload not to be considered as an NMU. Samuel Mimram 19 years ago
- Removed the not-uploaded-version from the changelog. Samuel Mimram 19 years ago
- We're uploading in experimental. Samuel Mimram 19 years ago
- Corrected a typo. Samuel Mimram 19 years ago
- Getting ready for an upload to experimental. Samuel Mimram 19 years ago
- Ready for 3.08 + removed dpatch support. Samuel Mimram 19 years ago
- We only need to call check since world depends on it. Samuel Mimram 19 years ago
- Corrected a bug due to a really unexpected bheaviour of make. Samuel Mimram 19 years ago
- Check is now in byte when compiled in fallback byte. Samuel Mimram 19 years ago
- Opt with fallback on byte should work now. Samuel Mimram 19 years ago
- Working bytecode fallback. Samuel Mimram 19 years ago
- Try to build in opt, ready for dpatch, manpages added (but not used yet). Samuel Mimram 19 years ago
- Added a manpage for coqide. Samuel Mimram 19 years ago
- Corrected a few problems. Samuel Mimram 19 years ago
- Now installing .coqide-gtk2rc. Samuel Mimram 19 years ago
- We don't want --fail-missing Samuel Mimram 19 years ago
- Stupid mistake. Samuel Mimram 19 years ago
- Minor changes. Samuel Mimram 19 years ago
- Added manpage, removed utf8.vo and FAQ from lib. Samuel Mimram 19 years ago
- Removed coq-interface manpage. Samuel Mimram 19 years ago
- Added coqide faq. Samuel Mimram 19 years ago
- Added coqide faq. Samuel Mimram 19 years ago