Tree @debian/8.1.pl1+dfsg-2 (Download .tar.gz)
- ..
- patches
- changelog
- compat
- control
- copyright
- coq-interface.1
- coq-libs.dirs
- coq-libs.doc-base
- coq-libs.install
- coq.dirs
- coq.docs
- coq.emacsen-install
- coq.emacsen-remove
- coq.emacsen-startup
- coq.install
- coq.menu
- coq.xpm
- coq_makefile.1
- coqc.1
- coqide.1
- coqide.desktop
- coqide.dirs
- coqide.docs
- coqide.install
- coqide.menu
- coqmktop.1
- coqtop.1
- docs
- purify_tarball
- README.Debian
- rules
- svn-deblayout
- TODO.Debian
- watch
History of debian @debian/8.1.pl1+dfsg-2
- Updated camlp5.dpatch. Samuel Mimram 16 years ago
- Updated camlp5 patch. Samuel Mimram 16 years ago
- Preliminary patch for OCaml 3.10. Samuel Mimram 16 years ago
- New upstream release. Samuel Mimram 16 years ago
- Add dependencies on ${misc:Depends}. Samuel Mimram 16 years ago
- Correctly clean. Samuel Mimram 16 years ago
- Removed tetex-extra from build-dependencies. Samuel Mimram 17 years ago
- Correctly set Coq_config.best when rebuilding in byte mode. Samuel Mimram 17 years ago
- Uploading to unstable. Samuel Mimram 17 years ago
- Coq 8.1 becomes trunk. Samuel Mimram 17 years ago
- Uploading to experimental. Samuel Mimram 17 years ago
- Close #415867. Samuel Mimram 17 years ago
- Use dh_installtex instead of hand-crafted postinst. Samuel Mimram 17 years ago
- Install cmxa only on native archs. Samuel Mimram 17 years ago
- Correctly detect the presence of ocamlopt. Samuel Mimram 17 years ago
- Converted copyright to utf8. Samuel Mimram 17 years ago
- New upstream release. Samuel Mimram 17 years ago
- Correctly build glob.dump on non-native archs. Samuel Mimram 17 years ago
- Correctly install coqdoc.sty. Samuel Mimram 17 years ago
- Added next-ia64.dpatch to fix the FTBFS on ia64. Samuel Mimram 17 years ago
- Skip complexity checks. Samuel Mimram 17 years ago
- New upstream release. Samuel Mimram 17 years ago
- Made the package binNMU-safe. Samuel Mimram 17 years ago
- Minor improvements of the coqide.desktop file. Samuel Mimram 17 years ago
- Check assertions in native mode too. Samuel Mimram 17 years ago
- New upstream beta release. Samuel Mimram 17 years ago
- New upstream release. Samuel Mimram 17 years ago
- Correct the FTBFS because of LaTeX. Samuel Mimram 18 years ago
- Added makefile.dpatch in order for ocamlopt not to be called when compiling on non-native archs. Samuel Mimram 18 years ago
- Last modifications before upload. Samuel Mimram 18 years ago