index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
pristine-tar data for coq_8.9.0.orig.tar.gz
pristine-tar
Benjamin Barenblat
2019-02-02
*
pristine-tar data for coq_8.8.2.orig.tar.gz
Benjamin Barenblat
2018-12-29
*
pristine-tar data for coq_8.6.orig.tar.gz
Enrico Tassi
2016-12-27
*
pristine-tar data for coq_8.5.orig.tar.gz
Enrico Tassi
2016-01-26
*
pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz
Enrico Tassi
2015-11-13
*
pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz
Enrico Tassi
2015-11-13
*
pristine-tar data for coq_8.5~beta2+dfsg.orig.tar.gz
Enrico Tassi
2015-07-15
*
pristine-tar data for coq_8.5~beta1+dfsg.orig.tar.gz
Enrico Tassi
2015-01-25
*
pristine-tar data for coq_8.5~beta1+dfsg.orig.tar.gz
Enrico Tassi
2015-01-25
*
pristine-tar data for coq_8.4pl4dfsg.orig.tar.gz
Stephane Glondu
2014-07-27
*
pristine-tar data for coq_8.4pl3dfsg.orig.tar.gz
Stephane Glondu
2014-01-19
*
pristine-tar data for coq_8.4pl2dfsg.orig.tar.gz
Stephane Glondu
2013-05-08
*
pristine-tar data for coq_8.4pl1dfsg.orig.tar.gz
Stephane Glondu
2012-12-29
*
pristine-tar data for coq_8.4dfsg.orig.tar.gz
Stephane Glondu
2012-08-20
*
pristine-tar data for coq_8.4~gamma0+really8.4beta2+dfsg.orig.tar.gz
Stephane Glondu
2012-06-05
*
pristine-tar data for coq_8.4~gamma0+really8.4beta2.orig.tar.gz
Stephane Glondu
2012-06-04
*
pristine-tar data for coq_8.3.pl4+dfsg.orig.tar.gz
Stephane Glondu
2012-03-27
*
pristine-tar data for coq_8.3.pl4.orig.tar.gz
Stephane Glondu
2012-03-27
*
pristine-tar data for coq_8.4~beta+dfsg.orig.tar.gz
Stephane Glondu
2012-01-12
*
pristine-tar data for coq_8.4~beta.orig.tar.gz
Stephane Glondu
2012-01-12
*
pristine-tar data for coq_8.3.pl3+dfsg.orig.tar.gz
Stephane Glondu
2011-12-25
*
pristine-tar data for coq_8.3.pl3.orig.tar.gz
Stephane Glondu
2011-12-25
*
pristine-tar data for coq_8.3.pl2+dfsg.orig.tar.gz
Stephane Glondu
2011-04-19
*
pristine-tar data for coq_8.3.pl2.orig.tar.gz
Stephane Glondu
2011-04-19
*
pristine-tar data for coq_8.3.pl1+dfsg.orig.tar.gz
Stephane Glondu
2010-12-24
*
pristine-tar data for coq_8.3pl1.orig.tar.gz
Stephane Glondu
2010-12-24
*
pristine-tar data for coq_8.3+dfsg.orig.tar.gz
Stephane Glondu
2010-10-18
*
pristine-tar data for coq_8.3.orig.tar.gz
Stephane Glondu
2010-10-14
*
pristine-tar data for coq_8.3~rc1+dfsg.orig.tar.gz
Stephane Glondu
2010-08-10
*
pristine-tar data for coq_8.2.pl2+dfsg.orig.tar.gz
Stephane Glondu
2010-07-02
*
pristine-tar data for coq_8.2.pl1+dfsg.orig.tar.gz
Stephane Glondu
2009-07-04
*
pristine-tar data for coq_8.2-1+dfsg.orig.tar.gz
Stephane Glondu
2009-02-19
*
pristine-tar data for coq_8.2~rc2+dfsg.orig.tar.gz
Stephane Glondu
2009-02-01
*
pristine-tar data for coq_8.2~beta4.svn20080907+dfsg.orig.tar.gz
Stephane Glondu
2008-09-08
*
pristine-tar data for coq_8.2~beta4+dfsg.orig.tar.gz
Stephane Glondu
2008-08-08
*
pristine-tar data for coq_8.2~beta3+dfsg.orig.tar.gz
Samuel Mimram
2008-07-25
*
pristine-tar data for coq_8.1.pl3+dfsg.orig.tar.gz
Samuel Mimram
2008-01-03
*
pristine-tar data for coq_8.1.pl2+dfsg.orig.tar.gz
Samuel Mimram
2007-10-15
*
pristine-tar data for coq_8.1.pl1+dfsg.orig.tar.gz
Samuel Mimram
2007-08-18
*
pristine-tar data for coq_8.1+dfsg.orig.tar.gz
Samuel Mimram
2007-02-13
*
pristine-tar data for coq_8.1~gamma.orig.tar.gz
Samuel Mimram
2006-11-21
*
pristine-tar data for coq_8.0pl3+8.1beta.2.orig.tar.gz
Samuel Mimram
2006-07-13
*
pristine-tar data for coq_8.0pl3+8.1beta.orig.tar.gz
Samuel Mimram
2006-06-16
*
pristine-tar data for coq_8.0pl3+8.1alpha.orig.tar.gz
Samuel Mimram
2006-04-28
*
pristine-tar data for coq_8.0pl3.orig.tar.gz
Samuel Mimram
2006-01-19
*
pristine-tar data for coq_8.0pl2.orig.tar.gz
Samuel Mimram
2005-01-31
*
pristine-tar data for coq_8.0pl1.orig.tar.gz
Samuel Mimram
2004-07-28