History of debian / patches @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
- Uploading to unstable. Samuel Mimram 17 years ago
- Coq 8.1 becomes trunk. 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
- New upstream release. 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
- Check assertions in native mode too. Samuel Mimram 17 years ago
- New upstream release. Samuel Mimram 17 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
- Document the patch. Samuel Mimram 18 years ago
- Started to package the upcoming 8.1 release. Samuel Mimram 18 years ago
- Apply patch-coq-8.0pl3-ocaml-3.09 patch. Samuel Mimram 18 years ago
- Getting ready for the new release. Samuel Mimram 18 years ago
- Updated to OCaml 3.09.0. Samuel Mimram 18 years ago
- Switching to svn-buildpackage. Samuel Mimram 18 years ago
- New upstream release: 8.0pl2. Samuel Mimram 19 years ago
- Patched for OCaml 3.08.1 + other minor things. Samuel Mimram 19 years ago
- Getting ready for an upload to experimental. Samuel Mimram 19 years ago
- Try to build in opt, ready for dpatch, manpages added (but not used yet). Samuel Mimram 19 years ago