index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Mode
Name
Size
-rw-r--r--
coq_8.0pl1.orig.tar.gz.delta
44992
log
plain
-rw-r--r--
coq_8.0pl1.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.0pl2.orig.tar.gz.delta
44755
log
plain
-rw-r--r--
coq_8.0pl2.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.0pl3+8.1alpha.orig.tar.gz.delta
46490
log
plain
-rw-r--r--
coq_8.0pl3+8.1alpha.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.0pl3+8.1beta.2.orig.tar.gz.delta
50103
log
plain
-rw-r--r--
coq_8.0pl3+8.1beta.2.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.0pl3+8.1beta.orig.tar.gz.delta
48777
log
plain
-rw-r--r--
coq_8.0pl3+8.1beta.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.0pl3.orig.tar.gz.delta
46061
log
plain
-rw-r--r--
coq_8.0pl3.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.1+dfsg.orig.tar.gz.delta
46093
log
plain
-rw-r--r--
coq_8.1+dfsg.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.1.pl1+dfsg.orig.tar.gz.delta
46138
log
plain
-rw-r--r--
coq_8.1.pl1+dfsg.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.1.pl2+dfsg.orig.tar.gz.delta
43715
log
plain
-rw-r--r--
coq_8.1.pl2+dfsg.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.1.pl3+dfsg.orig.tar.gz.delta
46058
log
plain
-rw-r--r--
coq_8.1.pl3+dfsg.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.1~gamma.orig.tar.gz.delta
47036
log
plain
-rw-r--r--
coq_8.1~gamma.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.2-1+dfsg.orig.tar.gz.delta
53821
log
plain
-rw-r--r--
coq_8.2-1+dfsg.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.2.pl1+dfsg.orig.tar.gz.delta
53933
log
plain
-rw-r--r--
coq_8.2.pl1+dfsg.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.2.pl2+dfsg.orig.tar.gz.delta
53062
log
plain
-rw-r--r--
coq_8.2.pl2+dfsg.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.2~beta3+dfsg.orig.tar.gz.delta
52912
log
plain
-rw-r--r--
coq_8.2~beta3+dfsg.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.2~beta4+dfsg.orig.tar.gz.delta
51039
log
plain
-rw-r--r--
coq_8.2~beta4+dfsg.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.2~beta4.svn20080907+dfsg.orig.tar.gz.delta
48387
log
plain
-rw-r--r--
coq_8.2~beta4.svn20080907+dfsg.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.2~rc2+dfsg.orig.tar.gz.delta
53823
log
plain
-rw-r--r--
coq_8.2~rc2+dfsg.orig.tar.gz.id
41
log
plain
-rw-r--r--
coq_8.3~rc1+dfsg.orig.tar.gz.delta
87960
log
plain
-rw-r--r--
coq_8.3~rc1+dfsg.orig.tar.gz.id
41
log
plain