package info (click to toggle)
coq-doc 8.20.0-2
  • links: PTS, VCS
  • area: non-free
  • in suites: sid, trixie
  • size: 46,708 kB
  • sloc: ml: 234,429; sh: 4,686; python: 3,359; ansic: 2,644; makefile: 842; lisp: 172; javascript: 87; 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-- 209 ci-aac_tactics.sh
- - rw-r--r-- 203 ci-analysis.sh
- - rw-r--r-- 202 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,271 ci-basic-overlay.sh
- - rw-r--r-- 193 ci-bbv.sh
- - rw-r--r-- 411 ci-bedrock2.sh
- - rw-r--r-- 205 ci-bigenough.sh
- - rw-r--r-- 219 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-- 225 ci-color.sh
- - rw-r--r-- 7,508 ci-common.sh
- - rw-r--r-- 678 ci-compcert.sh
- - rw-r--r-- 281 ci-coq_dpdgraph.sh
- - rw-r--r-- 282 ci-coq_library_undecidability.sh
- - rw-r--r-- 449 ci-coq_lsp.sh
- - rw-r--r-- 266 ci-coq_performance_tests.sh
- - rw-r--r-- 430 ci-coq_tools.sh
- - rw-r--r-- 235 ci-coqhammer.sh
- - rw-r--r-- 239 ci-coqprime.sh
- - rw-r--r-- 227 ci-coqtail.sh
- - rw-r--r-- 306 ci-coquelicot.sh
- - rw-r--r-- 283 ci-coqutil.sh
- - rw-r--r-- 255 ci-corn.sh
- - rw-r--r-- 214 ci-cross_crypto.sh
- - rw-r--r-- 216 ci-deriving.sh
- - rw-r--r-- 224 ci-elpi.sh
- - rw-r--r-- 190 ci-elpi_test.sh
- - rw-r--r-- 272 ci-engine_bench.sh
- - rw-r--r-- 323 ci-equations.sh
- - rw-r--r-- 229 ci-equations_test.sh
- - rw-r--r-- 201 ci-ext_lib.sh
- - rw-r--r-- 188 ci-fcsl_pcm.sh
- - rw-r--r-- 1,001 ci-fiat_crypto.sh
- - rw-r--r-- 637 ci-fiat_crypto_legacy.sh
- - rw-r--r-- 739 ci-fiat_crypto_ocaml.sh
- - rw-r--r-- 292 ci-fiat_parsers.sh
- - rw-r--r-- 199 ci-finmap.sh
- - rw-r--r-- 301 ci-flocq.sh
- - rw-r--r-- 205 ci-fourcolor.sh
- - rw-r--r-- 241 ci-hb.sh
- - rw-r--r-- 185 ci-hb_test.sh
- - rw-r--r-- 196 ci-hott.sh
- - rw-r--r-- 195 ci-http.sh
- - rw-r--r-- 1,017 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-- 228 ci-math_classes.sh
- - rw-r--r-- 212 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-- 184 ci-mczify.sh
- - rw-r--r-- 587 ci-menhir.sh
- - rw-r--r-- 358 ci-metacoq.sh
- - rw-r--r-- 239 ci-mtac2.sh
- - rw-r--r-- 220 ci-neural_net_interp.sh
- - rw-r--r-- 203 ci-oddorder.sh
- - rw-r--r-- 215 ci-paco.sh
- - rw-r--r-- 235 ci-paramcoq.sh
- - rw-r--r-- 199 ci-parsec.sh
- - rw-r--r-- 261 ci-perennial.sh
- - rw-r--r-- 283 ci-quickchick.sh
- - rw-r--r-- 228 ci-quickchick_test.sh
- - rw-r--r-- 233 ci-reduction_effects.sh
- - rw-r--r-- 234 ci-relation_algebra.sh
- - rw-r--r-- 203 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-- 317 ci-sf.sh
- - rw-r--r-- 279 ci-simple_io.sh
- - rw-r--r-- 221 ci-smtcoq.sh
- - rw-r--r-- 401 ci-stalmarck.sh
- - rw-r--r-- 219 ci-stdlib2.sh
- - rwxr-xr-x 223 ci-tactician.sh
- - rw-r--r-- 193 ci-tlc.sh
- - rw-r--r-- 197 ci-trakt.sh
- - rw-r--r-- 256 ci-unicoq.sh
- - rw-r--r-- 490 ci-unimath.sh
- - rw-r--r-- 514 ci-verdi_raft.sh
- - rw-r--r-- 282 ci-vscoq.sh
- - rw-r--r-- 513 ci-vst.sh
- - rw-r--r-- 275 ci-waterproof.sh
- - rwxr-xr-x 3,183 ci-wrapper.sh
- - rwxr-xr-x 303 gitlab-section.sh