package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 44,116 kB
  • sloc: ml: 234,160; sh: 4,301; python: 3,270; ansic: 2,644; makefile: 882; lisp: 172; javascript: 63; xml: 24; sed: 2

Folder: ci

d .. (parent)
d d rwxr-xr-x 77 docker
d d rwxr-xr-x 125 gitlab-modes
d d rwxr-xr-x 4,096 nix
d d rwxr-xr-x 139 platform
d d rwxr-xr-x 4,096 user-overlays
- - rw-r--r-- 8,051 README-developers.md
- - rw-r--r-- 7,964 README-users.md
- - rw-r--r-- 949 README.md
- - rw-r--r-- 201 ci-aac_tactics.sh
- - rw-r--r-- 203 ci-analysis.sh
- - rw-r--r-- 194 ci-argosy.sh
- - rw-r--r-- 207 ci-async_test.sh
- - rw-r--r-- 195 ci-atbr.sh
- - rw-r--r-- 205 ci-autosubst.sh
- - rw-r--r-- 348 ci-autosubst_ocaml.sh
- - rw-r--r-- 27,263 ci-basic-overlay.sh
- - rw-r--r-- 185 ci-bbv.sh
- - rw-r--r-- 403 ci-bedrock2.sh
- - rw-r--r-- 205 ci-bigenough.sh
- - rw-r--r-- 211 ci-bignums.sh
- - rw-r--r-- 260 ci-category_theory.sh
- - rw-r--r-- 203 ci-ceres.sh
- - rw-r--r-- 209 ci-coinduction.sh
- - rw-r--r-- 217 ci-color.sh
- - rw-r--r-- 7,216 ci-common.sh
- - rw-r--r-- 678 ci-compcert.sh
- - rw-r--r-- 273 ci-coq_dpdgraph.sh
- - rw-r--r-- 282 ci-coq_library_undecidability.sh
- - rw-r--r-- 449 ci-coq_lsp.sh
- - rw-r--r-- 258 ci-coq_performance_tests.sh
- - rw-r--r-- 422 ci-coq_tools.sh
- - rw-r--r-- 227 ci-coqhammer.sh
- - rw-r--r-- 231 ci-coqprime.sh
- - rw-r--r-- 219 ci-coqtail.sh
- - rw-r--r-- 298 ci-coquelicot.sh
- - rw-r--r-- 283 ci-coqutil.sh
- - rw-r--r-- 247 ci-corn.sh
- - rw-r--r-- 206 ci-cross_crypto.sh
- - rw-r--r-- 208 ci-deriving.sh
- - rw-r--r-- 224 ci-elpi.sh
- - rw-r--r-- 190 ci-elpi_test.sh
- - rw-r--r-- 264 ci-engine_bench.sh
- - rw-r--r-- 315 ci-equations.sh
- - rw-r--r-- 229 ci-equations_test.sh
- - rw-r--r-- 193 ci-ext_lib.sh
- - rw-r--r-- 188 ci-fcsl_pcm.sh
- - rw-r--r-- 993 ci-fiat_crypto.sh
- - rw-r--r-- 629 ci-fiat_crypto_legacy.sh
- - rw-r--r-- 731 ci-fiat_crypto_ocaml.sh
- - rw-r--r-- 284 ci-fiat_parsers.sh
- - rw-r--r-- 199 ci-finmap.sh
- - rw-r--r-- 293 ci-flocq.sh
- - rw-r--r-- 197 ci-fourcolor.sh
- - rw-r--r-- 241 ci-hb.sh
- - rw-r--r-- 185 ci-hb_test.sh
- - rw-r--r-- 188 ci-hott.sh
- - rw-r--r-- 224 ci-http.sh
- - rw-r--r-- 1,009 ci-iris.sh
- - rw-r--r-- 243 ci-itauto.sh
- - rw-r--r-- 201 ci-itree.sh
- - rw-r--r-- 203 ci-itree_io.sh
- - rw-r--r-- 238 ci-jasmin.sh
- - rw-r--r-- 195 ci-json.sh
- - rw-r--r-- 277 ci-kami.sh
- - rw-r--r-- 269 ci-lean_importer.sh
- - rw-r--r-- 286 ci-ltac2_compiler.sh
- - rw-r--r-- 220 ci-math_classes.sh
- - rw-r--r-- 204 ci-mathcomp.sh
- - rw-r--r-- 216 ci-mathcomp_1.sh
- - rw-r--r-- 185 ci-mathcomp_test.sh
- - rw-r--r-- 297 ci-mathcomp_word.sh
- - rw-r--r-- 176 ci-mczify.sh
- - rw-r--r-- 579 ci-menhir.sh
- - rw-r--r-- 350 ci-metacoq.sh
- - rw-r--r-- 231 ci-mtac2.sh
- - rw-r--r-- 220 ci-neural_net_interp.sh
- - rw-r--r-- 195 ci-oddorder.sh
- - rw-r--r-- 215 ci-paco.sh
- - rw-r--r-- 227 ci-paramcoq.sh
- - rw-r--r-- 199 ci-parsec.sh
- - rw-r--r-- 253 ci-perennial.sh
- - rw-r--r-- 275 ci-quickchick.sh
- - rw-r--r-- 228 ci-quickchick_test.sh
- - rw-r--r-- 225 ci-reduction_effects.sh
- - rw-r--r-- 226 ci-relation_algebra.sh
- - rw-r--r-- 195 ci-rewriter.sh
- - rw-r--r-- 359 ci-riscv_coq.sh
- - rw-r--r-- 373 ci-rupicola.sh
- - rw-r--r-- 334 ci-serapi.sh
- - rw-r--r-- 309 ci-sf.sh
- - rw-r--r-- 271 ci-simple_io.sh
- - rw-r--r-- 221 ci-smtcoq.sh
- - rw-r--r-- 401 ci-stalmarck.sh
- - rw-r--r-- 211 ci-stdlib2.sh
- - rwxr-xr-x 223 ci-tactician.sh
- - rw-r--r-- 185 ci-tlc.sh
- - rw-r--r-- 197 ci-trakt.sh
- - rw-r--r-- 248 ci-unicoq.sh
- - rw-r--r-- 482 ci-unimath.sh
- - rw-r--r-- 506 ci-verdi_raft.sh
- - rw-r--r-- 274 ci-vscoq.sh
- - rw-r--r-- 505 ci-vst.sh
- - rw-r--r-- 275 ci-waterproof.sh
- - rwxr-xr-x 3,175 ci-wrapper.sh
- - rwxr-xr-x 303 gitlab-section.sh