index
:
coq
master
Debian dgit repo for package coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Mode
Name
Size
d---------
.github
97
log
plain
-rw-r--r--
.gitlab-ci.yml
11172
log
plain
-rw-r--r--
.merlin.in
559
log
plain
-rw-r--r--
CHANGES.md
191546
log
plain
-rw-r--r--
CONTRIBUTING.md
9870
log
plain
-rw-r--r--
CREDITS
8087
log
plain
-rw-r--r--
INSTALL
12311
log
plain
-rw-r--r--
LICENSE
24381
log
plain
-rw-r--r--
META.coq.in
10146
log
plain
-rw-r--r--
Makefile
12764
log
plain
-rw-r--r--
Makefile.build
30611
log
plain
-rw-r--r--
Makefile.checker
3834
log
plain
-rw-r--r--
Makefile.ci
1740
log
plain
-rw-r--r--
Makefile.common
6172
log
plain
-rw-r--r--
Makefile.dev
6736
log
plain
-rw-r--r--
Makefile.doc
9969
log
plain
-rw-r--r--
Makefile.ide
10369
log
plain
-rw-r--r--
Makefile.install
5688
log
plain
-rw-r--r--
Makefile.vofiles
1582
log
plain
-rw-r--r--
README.md
3137
log
plain
-rw-r--r--
appveyor.yml
297
log
plain
d---------
checker
1941
log
plain
d---------
clib
2573
log
plain
d---------
config
42
log
plain
-rwxr-xr-x
configure
944
log
plain
-rw-r--r--
configure.ml
49609
log
plain
d---------
coqpp
166
log
plain
d---------
debian
1042
log
plain
-rw-r--r--
default.nix
3242
log
plain
d---------
dev
1237
log
plain
d---------
doc
207
log
plain
d---------
engine
1553
log
plain
d---------
grammar
202
log
plain
d---------
ide
3342
log
plain
-rwxr-xr-x
install.sh
248
log
plain
d---------
interp
1571
log
plain
d---------
kernel
3770
log
plain
d---------
lib
1905
log
plain
d---------
library
1409
log
plain
d---------
man
492
log
plain
d---------
parsing
580
log
plain
d---------
plugins
638
log
plain
d---------
pretyping
2826
log
plain
d---------
printing
595
log
plain
d---------
proofs
1297
log
plain
-rw-r--r--
shell.nix
251
log
plain
d---------
stm
944
log
plain
d---------
tactics
1678
log
plain
d---------
test-suite
985
log
plain
d---------
theories
833
log
plain
d---------
tools
1094
log
plain
d---------
topbin
235
log
plain
d---------
toplevel
621
log
plain
d---------
vernac
2657
log
plain