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
*
Disable tests which require `-coqlib` to be set
Benjamin Barenblat
2019-01-03
*
Disable ssrmatching
Benjamin Barenblat
2019-01-03
*
Refresh patches
Benjamin Barenblat
2019-01-03
*
fix FTBFS on mips
debian/8.6-3
Enrico Tassi
2016-12-29
*
fix FTBFS disabling some tests
debian/8.6-2
Enrico Tassi
2016-12-28
*
fix FTBFS on slow architectures by disabling 4429
debian/8.5-2
Enrico Tassi
2016-01-28
*
8.5
Enrico Tassi
2016-01-26
*
Packaging 8.5beta1
Enrico Tassi
2015-07-14
*
Disable micromega tests on Hurd
Stephane Glondu
2013-11-22
*
Refresh patches
Stephane Glondu
2012-12-29
*
Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output
Stephane Glondu
2012-09-22
*
Refresh patches
Stephane Glondu
2012-06-04
*
Disable a test that uses too much memory
Stephane Glondu
2012-01-15
*
Fix an ordering issue that was causing a test to fail in bytecode
Stephane Glondu
2012-01-14
*
Add distclean target to test-suite/Makefile
Stephane Glondu
2012-01-12
*
Remove patch applied upstream
Stephane Glondu
2011-12-25
*
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