summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 03:42:09 +0000