ci « dev - debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	README.md	9345	log plain
-rw-r--r--	appveyor.bat	1373	log plain
-rw-r--r--	appveyor.sh	529	log plain
-rwxr-xr-x	ci-basic-overlay.sh	14178	log plain
-rwxr-xr-x	ci-bedrock2.sh	194	log plain
-rwxr-xr-x	ci-bignums.sh	152	log plain
-rwxr-xr-x	ci-color.sh	133	log plain
-rw-r--r--	ci-common.sh	3131	log plain
-rwxr-xr-x	ci-compcert.sh	211	log plain
-rwxr-xr-x	ci-coq-dpdgraph.sh	193	log plain
-rwxr-xr-x	ci-coquelicot.sh	222	log plain
-rwxr-xr-x	ci-corn.sh	147	log plain
-rwxr-xr-x	ci-cpdt.sh	171	log plain
-rwxr-xr-x	ci-cross-crypto.sh	202	log plain
-rwxr-xr-x	ci-elpi.sh	147	log plain
-rwxr-xr-x	ci-equations.sh	239	log plain
-rwxr-xr-x	ci-ext-lib.sh	152	log plain
-rwxr-xr-x	ci-fcsl-pcm.sh	158	log plain
-rwxr-xr-x	ci-fiat-crypto-legacy.sh	557	log plain
-rwxr-xr-x	ci-fiat-crypto.sh	408	log plain
-rwxr-xr-x	ci-fiat-parsers.sh	202	log plain
-rwxr-xr-x	ci-flocq.sh	181	log plain
-rwxr-xr-x	ci-formal-topology.sh	153	log plain
-rwxr-xr-x	ci-geocoq.sh	169	log plain
-rwxr-xr-x	ci-hott.sh	179	log plain
-rwxr-xr-x	ci-iris-lambda-rust.sh	858	log plain
-rwxr-xr-x	ci-ltac2.sh	163	log plain
-rwxr-xr-x	ci-math-classes.sh	181	log plain
-rwxr-xr-x	ci-math-comp.sh	265	log plain
-rwxr-xr-x	ci-mtac2.sh	290	log plain
-rwxr-xr-x	ci-pidetop.sh	577	log plain
-rwxr-xr-x	ci-quickchick.sh	177	log plain
-rwxr-xr-x	ci-sf.sh	361	log plain
-rwxr-xr-x	ci-simple-io.sh	162	log plain
-rwxr-xr-x	ci-tlc.sh	141	log plain
-rwxr-xr-x	ci-unimath.sh	150	log plain
-rwxr-xr-x	ci-vst.sh	151	log plain
-rwxr-xr-x	ci-wrapper.sh	752	log plain
d---------	docker	74	log plain
-rwxr-xr-x	gitlab.bat	3707	log plain
d---------	user-overlays	157	log plain