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 (
Collapse
)
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
|
|
|
|
...to remove embedded Unix from grammar.cma
*
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