index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev
/
build
/
windows
Mode
Name
Size
-rw-r--r--
CAVEATS.txt
728
log
plain
-rw-r--r--
MakeCoq_84pl6_abs_ocaml.bat
222
log
plain
-rw-r--r--
MakeCoq_85pl2_abs_ocaml.bat
222
log
plain
-rw-r--r--
MakeCoq_85pl3_abs_ocaml.bat
222
log
plain
-rw-r--r--
MakeCoq_85pl3_installer.bat
195
log
plain
-rw-r--r--
MakeCoq_85pl3_installer_32.bat
195
log
plain
-rw-r--r--
MakeCoq_86_abs_ocaml.bat
213
log
plain
-rw-r--r--
MakeCoq_86_installer.bat
186
log
plain
-rw-r--r--
MakeCoq_86_installer_32.bat
186
log
plain
-rw-r--r--
MakeCoq_86beta1_abs_ocaml.bat
228
log
plain
-rw-r--r--
MakeCoq_86beta1_installer.bat
201
log
plain
-rw-r--r--
MakeCoq_86beta1_installer_32.bat
201
log
plain
-rw-r--r--
MakeCoq_86git_abs_ocaml.bat
224
log
plain
-rw-r--r--
MakeCoq_86git_abs_ocaml_gtksrc.bat
253
log
plain
-rw-r--r--
MakeCoq_86git_installer.bat
197
log
plain
-rw-r--r--
MakeCoq_86git_installer2.bat
199
log
plain
-rw-r--r--
MakeCoq_86git_installer_32.bat
197
log
plain
-rw-r--r--
MakeCoq_86rc1_abs_ocaml.bat
222
log
plain
-rw-r--r--
MakeCoq_86rc1_installer.bat
195
log
plain
-rw-r--r--
MakeCoq_86rc1_installer_32.bat
195
log
plain
-rw-r--r--
MakeCoq_MinGW.bat
11677
log
plain
-rw-r--r--
MakeCoq_SetRootPath.bat
309
log
plain
-rw-r--r--
MakeCoq_regtest_noproxy.bat
344
log
plain
-rw-r--r--
MakeCoq_regtests.bat
402
log
plain
-rw-r--r--
ReadMe.txt
17328
log
plain
-rw-r--r--
configure_profile.sh
1128
log
plain
-rw-r--r--
difftar-folder.sh
2007
log
plain
-rw-r--r--
makecoq_mingw.sh
44294
log
plain
d---------
patches_coq
524
log
plain