index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
master
Release for unstable
Benjamin Barenblat
5 years
pristine-tar
pristine-tar data for coq_8.9.0.orig.tar.gz
Benjamin Barenblat
5 years
upstream
Imported Upstream version 8.9.0
Benjamin Barenblat
5 years
Tag
Download
Author
Age
debian/8.9.0-1
commit a7783b2b7b...
Benjamin Barenblat
5 years
upstream/8.9.0
commit 9ebf44d847...
Benjamin Barenblat
5 years
debian/8.8.2-1
commit 11d2b49698...
Benjamin Barenblat
5 years
upstream/8.8.2
commit 9043add656...
Benjamin Barenblat
5 years
debian/8.6-5
commit 45d7383f95...
Stephane Glondu
7 years
debian/8.6-4
commit c2f1eda504...
Enrico Tassi
7 years
debian/8.6-3
commit 56e5876c2a...
Enrico Tassi
7 years
debian/8.6-2
commit 4409e85b91...
Enrico Tassi
7 years
debian/8.6-1
commit bfe45dbaed...
Enrico Tassi
7 years
upstream/8.6
commit a4c7f8bd98...
Enrico Tassi
7 years
debian/8.5-2
commit 7c9b0a7029...
Enrico Tassi
8 years
upstream/8.5
commit 164c686186...
Enrico Tassi
8 years
debian/8.5_beta3+dfsg-2
commit d55ac40146...
Enrico Tassi
9 years
debian/8.5_beta3+dfsg-1
commit b39748fd08...
Enrico Tassi
9 years
upstream/8.5_beta3+dfsg
commit 91dbeab8ee...
Enrico Tassi
9 years
debian/8.4pl4dfsg-3
commit 01762b591f...
Stephane Glondu
9 years
[...]
Age
Commit message
Author
2011-02-21
Update changelog and prepare upload to unstable
debian/8.2.pl2+dfsg-2
Stephane Glondu
2011-02-21
Add Fix-build-with-camlp5-6.02.1.patch
Stephane Glondu
2011-02-21
Refresh patches
Stephane Glondu
2010-07-02
Update changelog and prepare upload to unstable
debian/8.2.pl2+dfsg-1
Stephane Glondu
2010-07-02
Add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
Stephane Glondu
2010-07-02
Fix a few warnings
Stephane Glondu
2010-07-01
Remove Stefano and Remi from Uploaders
Stephane Glondu
2010-07-01
Bump SV to 3.9.0
Stephane Glondu
2010-07-01
Use dh with overrides
Stephane Glondu
2010-07-01
Use debhelper more thoroughly
Stephane Glondu
2010-07-01
Switch source package format to 3.0 (quilt)
Stephane Glondu
2010-07-01
New upstream release
Stephane Glondu
2010-07-01
Merge commit 'upstream/8.2pl2+dfsg'
Stephane Glondu
2010-07-01
Imported Upstream version 8.2pl2+dfsg
upstream/8.2.pl2+dfsg
Stephane Glondu
2010-06-28
Add 0003-Fix-build-with-OCaml-3.12.patch
Stephane Glondu
2010-02-22
Add Disable-micromega-tests.patch, prepare upload to unstable
debian/8.2.pl1+dfsg-6
Stephane Glondu
[...]
Clone
https://git.benjamin.barenblat.name/debian-coq.git