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
6 years
pristine-tar
pristine-tar data for coq_8.9.0.orig.tar.gz
Benjamin Barenblat
6 years
upstream
Imported Upstream version 8.9.0
Benjamin Barenblat
6 years
Tag
Download
Author
Age
debian/8.9.0-1
commit a7783b2b7b...
Benjamin Barenblat
6 years
upstream/8.9.0
commit 9ebf44d847...
Benjamin Barenblat
6 years
debian/8.8.2-1
commit 11d2b49698...
Benjamin Barenblat
6 years
upstream/8.8.2
commit 9043add656...
Benjamin Barenblat
6 years
debian/8.6-5
commit 45d7383f95...
Stephane Glondu
7 years
debian/8.6-4
commit c2f1eda504...
Enrico Tassi
8 years
debian/8.6-3
commit 56e5876c2a...
Enrico Tassi
8 years
debian/8.6-2
commit 4409e85b91...
Enrico Tassi
8 years
debian/8.6-1
commit bfe45dbaed...
Enrico Tassi
8 years
upstream/8.6
commit a4c7f8bd98...
Enrico Tassi
8 years
debian/8.5-2
commit 7c9b0a7029...
Enrico Tassi
9 years
upstream/8.5
commit 164c686186...
Enrico Tassi
9 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
debian/8.4pl4dfsg-2
commit ac7d8c9837...
Stephane Glondu
9 years
debian/8.5_beta2+dfsg-2
commit 64fa31c7ee...
Enrico Tassi
9 years
debian/8.5_beta2+dfsg-1
commit 1b014807aa...
Enrico Tassi
9 years
upstream/8.5_beta2+dfsg
commit 0aa2544d04...
Enrico Tassi
9 years
upstream/8.5_beta1+dfsg
commit cec4741afa...
Enrico Tassi
10 years
debian/8.4pl4dfsg-1
commit 476d60ef0f...
Stephane Glondu
10 years
upstream/8.4pl4dfsg
commit 420f78b2ca...
Stephane Glondu
10 years
debian/8.4pl3dfsg-1
commit 100dfc287a...
Stephane Glondu
11 years
upstream/8.4pl3dfsg
commit d2c5c5e616...
Stephane Glondu
11 years
debian/8.4pl2dfsg-4
commit bdb99a4e91...
Stephane Glondu
11 years
debian/8.4pl2dfsg-3
commit 0ee039503d...
Stephane Glondu
11 years
debian/8.4pl2dfsg-2
commit 505d907f14...
Stephane Glondu
11 years
debian/8.4pl2dfsg-1
commit 794da2871b...
Stephane Glondu
11 years
upstream/8.4pl2dfsg
commit 499a11a45b...
Stephane Glondu
11 years
debian/8.4pl1dfsg-1
commit 1c212c7027...
Stephane Glondu
12 years
upstream/8.4pl1dfsg
commit bf12eb93f3...
Stephane Glondu
12 years
debian/8.4dfsg-2
commit eabf57d06c...
Stephane Glondu
12 years
debian/8.4dfsg-1
commit e0356f0d6e...
Stephane Glondu
12 years
upstream/8.4dfsg
commit e0d682ec25...
Stephane Glondu
12 years
debian/8.4_gamma0+really8.4beta2+dfsg-1
commit 509d6d4b58...
Stephane Glondu
12 years
upstream/8.4_gamma0+really8.4beta2+dfsg
commit 86535d84cc...
Stephane Glondu
12 years
upstream/8.4_gamma0+really8.4beta2
commit 61dc740ed1...
Stephane Glondu
12 years
debian/8.4_beta+dfsg-4
commit ff61c7f8b0...
Stephane Glondu
12 years
debian/8.3.pl4+dfsg-1
commit 7ea6f0085c...
Stephane Glondu
12 years
upstream/8.3.pl4+dfsg
commit 6e34b272d7...
Stephane Glondu
12 years
upstream/8.3.pl4
commit 2bdcd093b3...
Stephane Glondu
12 years
debian/8.3.pl3+dfsg-2
commit 11b04078a2...
Stephane Glondu
12 years
debian/8.4_beta+dfsg-3
commit d136352525...
Stephane Glondu
13 years
debian/8.4_beta+dfsg-2
commit 144b0828b1...
Stephane Glondu
13 years
debian/8.4_beta+dfsg-1
commit 740160e590...
Stephane Glondu
13 years
upstream/8.4_beta+dfsg
commit 39efc41237...
Stephane Glondu
13 years
upstream/8.4_beta
commit 97fefe1fcc...
Stephane Glondu
13 years
debian/8.3.pl3+dfsg-1_bpo60+1
commit 2ee61d5995...
Stephane Glondu
13 years
debian/8.3.pl3+dfsg-1
commit de109d8c0c...
Stephane Glondu
13 years
upstream/8.3.pl3+dfsg
commit 5fe4ac437b...
Stephane Glondu
13 years
upstream/8.3.pl3
commit 300293c119...
Stephane Glondu
13 years
debian/8.3.pl2+dfsg-2_bpo60+1
commit ba02162483...
Stephane Glondu
13 years
debian/8.3.pl2+dfsg-2
commit 4fc051d01a...
Stephane Glondu
13 years
debian/8.3.pl2+dfsg-1
commit f23ca11128...
Stephane Glondu
13 years
upstream/8.3.pl2+dfsg
commit aa33547c76...
Stephane Glondu
13 years
upstream/8.3.pl2
commit 9d27ae0978...
Stephane Glondu
13 years
debian/8.3.pl1+dfsg-2
commit 853081b70a...
Stephane Glondu
13 years
debian/8.2.pl2+dfsg-2
commit 9a65bba53c...
Stephane Glondu
14 years
debian/8.3.pl1+dfsg-1
commit 2ac35e6697...
Stephane Glondu
14 years
upstream/8.3.pl1+dfsg
commit 50dc9067e9...
Stephane Glondu
14 years
upstream/8.3pl1
commit 6b691bbd21...
Stephane Glondu
14 years
debian/8.3+dfsg-1
commit 0fa28b899a...
Stephane Glondu
14 years
upstream/8.3+dfsg
commit 8f4d4c6613...
Stephane Glondu
14 years
upstream/8.3
commit 3e96002677...
Stephane Glondu
14 years
debian/8.3.rc1+dfsg-1
commit aae7cec8d7...
Stephane Glondu
14 years
upstream/8.3.rc1.dfsg
commit f18e6146f4...
Stephane Glondu
14 years
debian/8.3.beta0+13323-1
commit 6c1da06df6...
Stephane Glondu
14 years
debian/8.3.beta0+13298-1
commit 318fa60917...
Stephane Glondu
14 years
debian/8.2.pl2+dfsg-1
commit 7a99898506...
Stephane Glondu
14 years
upstream/8.2.pl2+dfsg
commit da178a880e...
Stephane Glondu
14 years
debian/8.2.pl1+dfsg-6
commit 9ffbef80b9...
Stephane Glondu
15 years
debian/8.2.pl1+dfsg-5
commit beb7d5356e...
Stephane Glondu
15 years
debian/8.2.pl1+dfsg-4
commit 736c682396...
Stephane Glondu
15 years
debian/8.2.pl1+dfsg-3
commit d8e2663f74...
Stephane Glondu
15 years
debian/8.2.pl1+dfsg-2
commit 581c27825b...
Stephane Glondu
15 years
debian/8.2.pl1+dfsg-1
commit d43a92cbe2...
Stephane Glondu
15 years
upstream/8.2.pl1+dfsg
commit e4282ea99c...
Stephane Glondu
15 years
debian/8.2-1+dfsg-2
commit 17b364613a...
Stephane Glondu
15 years
upstream/8.2-1+dfsg
commit a0a94c1340...
Stephane Glondu
16 years
debian/8.2.rc2+dfsg-3
commit 8faffcb73f...
Stephane Glondu
16 years
debian/8.2.rc2+dfsg-2
commit 17b9160469...
Stephane Glondu
16 years
debian/8.2.rc2+dfsg-1
commit 7b47bd0e98...
Samuel Mimram
16 years
upstream/8.2.rc2+dfsg
commit cfbfe13f5b...
Stephane Glondu
16 years
upstream/8.2.beta4.svn20080907+dfsg
commit 113b703a69...
Stephane Glondu
16 years
debian/8.2.beta4+dfsg-2
commit 745e0fb3b3...
Stephane Glondu
16 years
debian/8.2.beta4+dfsg-1
commit 80430f1fcf...
Samuel Mimram
16 years
upstream/8.2.beta4+dfsg
commit 870075f34d...
Stephane Glondu
16 years
upstream/8.2.beta3+dfsg
commit a0cfa4f118...
Samuel Mimram
16 years
debian/8.1.pl3+dfsg-1
commit 4892a9c7ae...
Samuel Mimram
17 years
upstream/8.1.pl3+dfsg
commit 2281410e38...
Samuel Mimram
17 years
debian/8.1.pl2+dfsg-3
commit a08fb51bfe...
Samuel Mimram
17 years
debian/8.1.pl2+dfsg-2
commit 73bbefc63c...
Samuel Mimram
17 years
debian/8.1.pl2+dfsg-1
commit 783b26ca58...
Samuel Mimram
17 years
upstream/8.1.pl2+dfsg
commit 4767d724d4...
Samuel Mimram
17 years
debian/8.1.pl1+dfsg-3
commit 2727b100cc...
Samuel Mimram
17 years
debian/8.1.pl1+dfsg-2
commit d9de9e7b1a...
Samuel Mimram
17 years
debian/8.1.pl1+dfsg-1
commit e5be0a14a0...
Samuel Mimram
17 years
upstream/8.1.pl1+dfsg
commit 72b9a7df48...
Samuel Mimram
17 years
debian/8.1+dfsg-6
commit 763b05d3e6...
Samuel Mimram
17 years
debian/8.1+dfsg-5
commit e9eb79992d...
Samuel Mimram
17 years
debian/8.1+dfsg-4
commit 41f185d26e...
Samuel Mimram
17 years
debian/8.1+dfsg-3
commit cb73a33955...
Samuel Mimram
17 years
debian/8.1+dfsg-2
commit 04d097b8f2...
Samuel Mimram
17 years
debian/8.1+dfsg-1
commit d96021d857...
Samuel Mimram
18 years
upstream/8.1+dfsg
commit 55ce117e80...
Samuel Mimram
18 years
debian/8.1.gamma-4
commit 2a14f39fdf...
Samuel Mimram
18 years
debian/8.1.gamma-3
commit 3ad70b16f1...
Samuel Mimram
18 years
debian/8.1.gamma-2
commit b9343b970c...
Samuel Mimram
18 years
debian/8.1.gamma-1
commit 94594cf938...
Samuel Mimram
18 years
upstream/8.1.gamma
commit 208a0f7bfa...
Samuel Mimram
18 years
debian/8.0pl3+8.1beta.2-1
commit 600cc313b0...
Samuel Mimram
18 years
upstream/8.0pl3+8.1beta.2
commit de00855395...
Samuel Mimram
18 years
debian/8.0pl3+8.1beta-1
commit 0df132d1c1...
Samuel Mimram
18 years
upstream/8.0pl3+8.1beta
commit e978da8c41...
Samuel Mimram
18 years
debian/8.0pl3+8.1alpha-2
commit fe730babfe...
Samuel Mimram
18 years
debian/8.0pl3+8.1alpha-1
commit c514a452ff...
Samuel Mimram
18 years
upstream/8.0pl3+8.1alpha
commit 3ef7797ef6...
Samuel Mimram
18 years
debian/8.0pl3-2
commit 514dce2dfe...
Samuel Mimram
19 years
debian/8.0pl3-1
commit d89cdcc0a1...
Samuel Mimram
19 years
upstream/8.0pl3
commit 018ee3b0c2...
Samuel Mimram
19 years
debian/8.0pl2-4
commit 06e68c3dcf...
Samuel Mimram
19 years
debian/8.0pl2-3
commit 4403263077...
Samuel Mimram
19 years
debian/8.0pl2-2
commit 36056e5065...
Samuel Mimram
19 years
debian/8.0pl2-1
commit 6b61b68d58...
Samuel Mimram
20 years
upstream/8.0pl2
commit 6497f27021...
Samuel Mimram
20 years
debian/8.0pl1-3
commit 30849e1883...
Sven Luther
20 years
debian/8.0pl1-2
commit d5832194f8...
Sven Luther
20 years
debian/8.0pl1-1
commit 07ca48478b...
Sven Luther
20 years
upstream/8.0pl1
commit 6b649aba92...
Samuel Mimram
20 years