summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* pristine-tar data for coq_8.9.0.orig.tar.gzpristine-tarGravatar Benjamin Barenblat2019-02-02
* pristine-tar data for coq_8.8.2.orig.tar.gzGravatar Benjamin Barenblat2018-12-29
* pristine-tar data for coq_8.6.orig.tar.gzGravatar Enrico Tassi2016-12-27
* pristine-tar data for coq_8.5.orig.tar.gzGravatar Enrico Tassi2016-01-26
* pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gzGravatar Enrico Tassi2015-11-13
* pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gzGravatar Enrico Tassi2015-11-13
* pristine-tar data for coq_8.5~beta2+dfsg.orig.tar.gzGravatar Enrico Tassi2015-07-15
* pristine-tar data for coq_8.5~beta1+dfsg.orig.tar.gzGravatar Enrico Tassi2015-01-25
* pristine-tar data for coq_8.5~beta1+dfsg.orig.tar.gzGravatar Enrico Tassi2015-01-25
* pristine-tar data for coq_8.4pl4dfsg.orig.tar.gzGravatar Stephane Glondu2014-07-27
* pristine-tar data for coq_8.4pl3dfsg.orig.tar.gzGravatar Stephane Glondu2014-01-19
* pristine-tar data for coq_8.4pl2dfsg.orig.tar.gzGravatar Stephane Glondu2013-05-08
* pristine-tar data for coq_8.4pl1dfsg.orig.tar.gzGravatar Stephane Glondu2012-12-29
* pristine-tar data for coq_8.4dfsg.orig.tar.gzGravatar Stephane Glondu2012-08-20
* pristine-tar data for coq_8.4~gamma0+really8.4beta2+dfsg.orig.tar.gzGravatar Stephane Glondu2012-06-05
* pristine-tar data for coq_8.4~gamma0+really8.4beta2.orig.tar.gzGravatar Stephane Glondu2012-06-04
* pristine-tar data for coq_8.3.pl4+dfsg.orig.tar.gzGravatar Stephane Glondu2012-03-27
* pristine-tar data for coq_8.3.pl4.orig.tar.gzGravatar Stephane Glondu2012-03-27
* pristine-tar data for coq_8.4~beta+dfsg.orig.tar.gzGravatar Stephane Glondu2012-01-12
* pristine-tar data for coq_8.4~beta.orig.tar.gzGravatar Stephane Glondu2012-01-12
* pristine-tar data for coq_8.3.pl3+dfsg.orig.tar.gzGravatar Stephane Glondu2011-12-25
* pristine-tar data for coq_8.3.pl3.orig.tar.gzGravatar Stephane Glondu2011-12-25
* pristine-tar data for coq_8.3.pl2+dfsg.orig.tar.gzGravatar Stephane Glondu2011-04-19
* pristine-tar data for coq_8.3.pl2.orig.tar.gzGravatar Stephane Glondu2011-04-19
* pristine-tar data for coq_8.3.pl1+dfsg.orig.tar.gzGravatar Stephane Glondu2010-12-24
* pristine-tar data for coq_8.3pl1.orig.tar.gzGravatar Stephane Glondu2010-12-24
* pristine-tar data for coq_8.3+dfsg.orig.tar.gzGravatar Stephane Glondu2010-10-18
* pristine-tar data for coq_8.3.orig.tar.gzGravatar Stephane Glondu2010-10-14
* pristine-tar data for coq_8.3~rc1+dfsg.orig.tar.gzGravatar Stephane Glondu2010-08-10
* pristine-tar data for coq_8.2.pl2+dfsg.orig.tar.gzGravatar Stephane Glondu2010-07-02
* pristine-tar data for coq_8.2.pl1+dfsg.orig.tar.gzGravatar Stephane Glondu2009-07-04
* pristine-tar data for coq_8.2-1+dfsg.orig.tar.gzGravatar Stephane Glondu2009-02-19
* pristine-tar data for coq_8.2~rc2+dfsg.orig.tar.gzGravatar Stephane Glondu2009-02-01
* pristine-tar data for coq_8.2~beta4.svn20080907+dfsg.orig.tar.gzGravatar Stephane Glondu2008-09-08
* pristine-tar data for coq_8.2~beta4+dfsg.orig.tar.gzGravatar Stephane Glondu2008-08-08
* pristine-tar data for coq_8.2~beta3+dfsg.orig.tar.gzGravatar Samuel Mimram2008-07-25
* pristine-tar data for coq_8.1.pl3+dfsg.orig.tar.gzGravatar Samuel Mimram2008-01-03
* pristine-tar data for coq_8.1.pl2+dfsg.orig.tar.gzGravatar Samuel Mimram2007-10-15
* pristine-tar data for coq_8.1.pl1+dfsg.orig.tar.gzGravatar Samuel Mimram2007-08-18
* pristine-tar data for coq_8.1+dfsg.orig.tar.gzGravatar Samuel Mimram2007-02-13
* pristine-tar data for coq_8.1~gamma.orig.tar.gzGravatar Samuel Mimram2006-11-21
* pristine-tar data for coq_8.0pl3+8.1beta.2.orig.tar.gzGravatar Samuel Mimram2006-07-13
* pristine-tar data for coq_8.0pl3+8.1beta.orig.tar.gzGravatar Samuel Mimram2006-06-16
* pristine-tar data for coq_8.0pl3+8.1alpha.orig.tar.gzGravatar Samuel Mimram2006-04-28
* pristine-tar data for coq_8.0pl3.orig.tar.gzGravatar Samuel Mimram2006-01-19
* pristine-tar data for coq_8.0pl2.orig.tar.gzGravatar Samuel Mimram2005-01-31
* pristine-tar data for coq_8.0pl1.orig.tar.gzGravatar Samuel Mimram2004-07-28