index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
/
patches
/
series
Commit message (
Expand
)
Author
Age
*
Add patch to fix thumb2-related build error (Closes: #622882)
Stephane Glondu
2011-04-19
*
New upstream release, update changelog
Stephane Glondu
2010-12-24
*
Port to camlp5 6.02.1
Stephane Glondu
2010-12-06
*
Add 0003-Support-for-camlp5-6.02.0.patch
Stephane Glondu
2010-11-17
*
Add 0002-Fix-mixed-implicit-and-normal-rules.patch
Stephane Glondu
2010-10-19
*
Add patch to fix test-suite
Stephane Glondu
2010-10-15
*
New upstream release candidate
Stephane Glondu
2010-08-10
*
Add 0001-Fix-installation-of-emacs-files.patch
Stephane Glondu
2010-07-24
*
New upstream snapshot
Stephane Glondu
2010-07-21
*
Add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
Stephane Glondu
2010-07-02
*
New upstream release
Stephane Glondu
2010-07-01
*
Add 0003-Fix-build-with-OCaml-3.12.patch
Stephane Glondu
2010-06-28
*
Add Disable-micromega-tests.patch, prepare upload to unstable
debian/8.2.pl1+dfsg-6
Stephane Glondu
2010-02-22
*
Add 0001-Update-for-why-2.19.patch
Stephane Glondu
2009-08-29