summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterRelease for unstableGravatar Benjamin Barenblat6 years
pristine-tarpristine-tar data for coq_8.9.0.orig.tar.gzGravatar Benjamin Barenblat6 years
upstreamImported Upstream version 8.9.0Gravatar Benjamin Barenblat6 years
 
TagDownloadAuthorAge
debian/8.9.0-1commit a7783b2b7b...Gravatar Benjamin Barenblat6 years
upstream/8.9.0commit 9ebf44d847...Gravatar Benjamin Barenblat6 years
debian/8.8.2-1commit 11d2b49698...Gravatar Benjamin Barenblat6 years
upstream/8.8.2commit 9043add656...Gravatar Benjamin Barenblat6 years
debian/8.6-5commit 45d7383f95...Gravatar Stephane Glondu7 years
debian/8.6-4commit c2f1eda504...Gravatar Enrico Tassi8 years
debian/8.6-3commit 56e5876c2a...Gravatar Enrico Tassi8 years
debian/8.6-2commit 4409e85b91...Gravatar Enrico Tassi8 years
debian/8.6-1commit bfe45dbaed...Gravatar Enrico Tassi8 years
upstream/8.6commit a4c7f8bd98...Gravatar Enrico Tassi8 years
debian/8.5-2commit 7c9b0a7029...Gravatar Enrico Tassi9 years
upstream/8.5commit 164c686186...Gravatar Enrico Tassi9 years
debian/8.5_beta3+dfsg-2commit d55ac40146...Gravatar Enrico Tassi9 years
debian/8.5_beta3+dfsg-1commit b39748fd08...Gravatar Enrico Tassi9 years
upstream/8.5_beta3+dfsgcommit 91dbeab8ee...Gravatar Enrico Tassi9 years
debian/8.4pl4dfsg-3commit 01762b591f...Gravatar Stephane Glondu9 years
debian/8.4pl4dfsg-2commit ac7d8c9837...Gravatar Stephane Glondu9 years
debian/8.5_beta2+dfsg-2commit 64fa31c7ee...Gravatar Enrico Tassi9 years
debian/8.5_beta2+dfsg-1commit 1b014807aa...Gravatar Enrico Tassi9 years
upstream/8.5_beta2+dfsgcommit 0aa2544d04...Gravatar Enrico Tassi9 years
upstream/8.5_beta1+dfsgcommit cec4741afa...Gravatar Enrico Tassi10 years
debian/8.4pl4dfsg-1commit 476d60ef0f...Gravatar Stephane Glondu10 years
upstream/8.4pl4dfsgcommit 420f78b2ca...Gravatar Stephane Glondu10 years
debian/8.4pl3dfsg-1commit 100dfc287a...Gravatar Stephane Glondu11 years
upstream/8.4pl3dfsgcommit d2c5c5e616...Gravatar Stephane Glondu11 years
debian/8.4pl2dfsg-4commit bdb99a4e91...Gravatar Stephane Glondu11 years
debian/8.4pl2dfsg-3commit 0ee039503d...Gravatar Stephane Glondu11 years
debian/8.4pl2dfsg-2commit 505d907f14...Gravatar Stephane Glondu11 years
debian/8.4pl2dfsg-1commit 794da2871b...Gravatar Stephane Glondu12 years
upstream/8.4pl2dfsgcommit 499a11a45b...Gravatar Stephane Glondu12 years
debian/8.4pl1dfsg-1commit 1c212c7027...Gravatar Stephane Glondu12 years
upstream/8.4pl1dfsgcommit bf12eb93f3...Gravatar Stephane Glondu12 years
debian/8.4dfsg-2commit eabf57d06c...Gravatar Stephane Glondu12 years
debian/8.4dfsg-1commit e0356f0d6e...Gravatar Stephane Glondu12 years
upstream/8.4dfsgcommit e0d682ec25...Gravatar Stephane Glondu12 years
debian/8.4_gamma0+really8.4beta2+dfsg-1commit 509d6d4b58...Gravatar Stephane Glondu13 years
upstream/8.4_gamma0+really8.4beta2+dfsgcommit 86535d84cc...Gravatar Stephane Glondu13 years
upstream/8.4_gamma0+really8.4beta2commit 61dc740ed1...Gravatar Stephane Glondu13 years
debian/8.4_beta+dfsg-4commit ff61c7f8b0...Gravatar Stephane Glondu13 years
debian/8.3.pl4+dfsg-1commit 7ea6f0085c...Gravatar Stephane Glondu13 years
upstream/8.3.pl4+dfsgcommit 6e34b272d7...Gravatar Stephane Glondu13 years
upstream/8.3.pl4commit 2bdcd093b3...Gravatar Stephane Glondu13 years
debian/8.3.pl3+dfsg-2commit 11b04078a2...Gravatar Stephane Glondu13 years
debian/8.4_beta+dfsg-3commit d136352525...Gravatar Stephane Glondu13 years
debian/8.4_beta+dfsg-2commit 144b0828b1...Gravatar Stephane Glondu13 years
debian/8.4_beta+dfsg-1commit 740160e590...Gravatar Stephane Glondu13 years
upstream/8.4_beta+dfsgcommit 39efc41237...Gravatar Stephane Glondu13 years
upstream/8.4_betacommit 97fefe1fcc...Gravatar Stephane Glondu13 years
debian/8.3.pl3+dfsg-1_bpo60+1commit 2ee61d5995...Gravatar Stephane Glondu13 years
debian/8.3.pl3+dfsg-1commit de109d8c0c...Gravatar Stephane Glondu13 years
upstream/8.3.pl3+dfsgcommit 5fe4ac437b...Gravatar Stephane Glondu13 years
upstream/8.3.pl3commit 300293c119...Gravatar Stephane Glondu13 years
debian/8.3.pl2+dfsg-2_bpo60+1commit ba02162483...Gravatar Stephane Glondu13 years
debian/8.3.pl2+dfsg-2commit 4fc051d01a...Gravatar Stephane Glondu13 years
debian/8.3.pl2+dfsg-1commit f23ca11128...Gravatar Stephane Glondu14 years
upstream/8.3.pl2+dfsgcommit aa33547c76...Gravatar Stephane Glondu14 years
upstream/8.3.pl2commit 9d27ae0978...Gravatar Stephane Glondu14 years
debian/8.3.pl1+dfsg-2commit 853081b70a...Gravatar Stephane Glondu14 years
debian/8.2.pl2+dfsg-2commit 9a65bba53c...Gravatar Stephane Glondu14 years
debian/8.3.pl1+dfsg-1commit 2ac35e6697...Gravatar Stephane Glondu14 years
upstream/8.3.pl1+dfsgcommit 50dc9067e9...Gravatar Stephane Glondu14 years
upstream/8.3pl1commit 6b691bbd21...Gravatar Stephane Glondu14 years
debian/8.3+dfsg-1commit 0fa28b899a...Gravatar Stephane Glondu14 years
upstream/8.3+dfsgcommit 8f4d4c6613...Gravatar Stephane Glondu14 years
upstream/8.3commit 3e96002677...Gravatar Stephane Glondu14 years
debian/8.3.rc1+dfsg-1commit aae7cec8d7...Gravatar Stephane Glondu14 years
upstream/8.3.rc1.dfsgcommit f18e6146f4...Gravatar Stephane Glondu14 years
debian/8.3.beta0+13323-1commit 6c1da06df6...Gravatar Stephane Glondu14 years
debian/8.3.beta0+13298-1commit 318fa60917...Gravatar Stephane Glondu14 years
debian/8.2.pl2+dfsg-1commit 7a99898506...Gravatar Stephane Glondu14 years
upstream/8.2.pl2+dfsgcommit da178a880e...Gravatar Stephane Glondu14 years
debian/8.2.pl1+dfsg-6commit 9ffbef80b9...Gravatar Stephane Glondu15 years
debian/8.2.pl1+dfsg-5commit beb7d5356e...Gravatar Stephane Glondu15 years
debian/8.2.pl1+dfsg-4commit 736c682396...Gravatar Stephane Glondu15 years
debian/8.2.pl1+dfsg-3commit d8e2663f74...Gravatar Stephane Glondu15 years
debian/8.2.pl1+dfsg-2commit 581c27825b...Gravatar Stephane Glondu15 years
debian/8.2.pl1+dfsg-1commit d43a92cbe2...Gravatar Stephane Glondu15 years
upstream/8.2.pl1+dfsgcommit e4282ea99c...Gravatar Stephane Glondu15 years
debian/8.2-1+dfsg-2commit 17b364613a...Gravatar Stephane Glondu16 years
upstream/8.2-1+dfsgcommit a0a94c1340...Gravatar Stephane Glondu16 years
debian/8.2.rc2+dfsg-3commit 8faffcb73f...Gravatar Stephane Glondu16 years
debian/8.2.rc2+dfsg-2commit 17b9160469...Gravatar Stephane Glondu16 years
debian/8.2.rc2+dfsg-1commit 7b47bd0e98...Gravatar Samuel Mimram16 years
upstream/8.2.rc2+dfsgcommit cfbfe13f5b...Gravatar Stephane Glondu16 years
upstream/8.2.beta4.svn20080907+dfsgcommit 113b703a69...Gravatar Stephane Glondu16 years
debian/8.2.beta4+dfsg-2commit 745e0fb3b3...Gravatar Stephane Glondu16 years
debian/8.2.beta4+dfsg-1commit 80430f1fcf...Gravatar Samuel Mimram16 years
upstream/8.2.beta4+dfsgcommit 870075f34d...Gravatar Stephane Glondu16 years
upstream/8.2.beta3+dfsgcommit a0cfa4f118...Gravatar Samuel Mimram16 years
debian/8.1.pl3+dfsg-1commit 4892a9c7ae...Gravatar Samuel Mimram17 years
upstream/8.1.pl3+dfsgcommit 2281410e38...Gravatar Samuel Mimram17 years
debian/8.1.pl2+dfsg-3commit a08fb51bfe...Gravatar Samuel Mimram17 years
debian/8.1.pl2+dfsg-2commit 73bbefc63c...Gravatar Samuel Mimram17 years
debian/8.1.pl2+dfsg-1commit 783b26ca58...Gravatar Samuel Mimram17 years
upstream/8.1.pl2+dfsgcommit 4767d724d4...Gravatar Samuel Mimram17 years
debian/8.1.pl1+dfsg-3commit 2727b100cc...Gravatar Samuel Mimram17 years
debian/8.1.pl1+dfsg-2commit d9de9e7b1a...Gravatar Samuel Mimram17 years
debian/8.1.pl1+dfsg-1commit e5be0a14a0...Gravatar Samuel Mimram17 years
upstream/8.1.pl1+dfsgcommit 72b9a7df48...Gravatar Samuel Mimram17 years
debian/8.1+dfsg-6commit 763b05d3e6...Gravatar Samuel Mimram17 years
debian/8.1+dfsg-5commit e9eb79992d...Gravatar Samuel Mimram18 years
debian/8.1+dfsg-4commit 41f185d26e...Gravatar Samuel Mimram18 years
debian/8.1+dfsg-3commit cb73a33955...Gravatar Samuel Mimram18 years
debian/8.1+dfsg-2commit 04d097b8f2...Gravatar Samuel Mimram18 years
debian/8.1+dfsg-1commit d96021d857...Gravatar Samuel Mimram18 years
upstream/8.1+dfsgcommit 55ce117e80...Gravatar Samuel Mimram18 years
debian/8.1.gamma-4commit 2a14f39fdf...Gravatar Samuel Mimram18 years
debian/8.1.gamma-3commit 3ad70b16f1...Gravatar Samuel Mimram18 years
debian/8.1.gamma-2commit b9343b970c...Gravatar Samuel Mimram18 years
debian/8.1.gamma-1commit 94594cf938...Gravatar Samuel Mimram18 years
upstream/8.1.gammacommit 208a0f7bfa...Gravatar Samuel Mimram18 years
debian/8.0pl3+8.1beta.2-1commit 600cc313b0...Gravatar Samuel Mimram18 years
upstream/8.0pl3+8.1beta.2commit de00855395...Gravatar Samuel Mimram18 years
debian/8.0pl3+8.1beta-1commit 0df132d1c1...Gravatar Samuel Mimram19 years
upstream/8.0pl3+8.1betacommit e978da8c41...Gravatar Samuel Mimram19 years
debian/8.0pl3+8.1alpha-2commit fe730babfe...Gravatar Samuel Mimram19 years
debian/8.0pl3+8.1alpha-1commit c514a452ff...Gravatar Samuel Mimram19 years
upstream/8.0pl3+8.1alphacommit 3ef7797ef6...Gravatar Samuel Mimram19 years
debian/8.0pl3-2commit 514dce2dfe...Gravatar Samuel Mimram19 years
debian/8.0pl3-1commit d89cdcc0a1...Gravatar Samuel Mimram19 years
upstream/8.0pl3commit 018ee3b0c2...Gravatar Samuel Mimram19 years
debian/8.0pl2-4commit 06e68c3dcf...Gravatar Samuel Mimram19 years
debian/8.0pl2-3commit 4403263077...Gravatar Samuel Mimram19 years
debian/8.0pl2-2commit 36056e5065...Gravatar Samuel Mimram20 years
debian/8.0pl2-1commit 6b61b68d58...Gravatar Samuel Mimram20 years
upstream/8.0pl2commit 6497f27021...Gravatar Samuel Mimram20 years
debian/8.0pl1-3commit 30849e1883...Gravatar Sven Luther20 years
debian/8.0pl1-2commit d5832194f8...Gravatar Sven Luther20 years
debian/8.0pl1-1commit 07ca48478b...Gravatar Sven Luther20 years
upstream/8.0pl1commit 6b649aba92...Gravatar Samuel Mimram20 years