package info (click to toggle)
coq 9.1.0%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 35,964 kB
  • sloc: ml: 239,908; sh: 4,355; python: 2,985; ansic: 2,644; makefile: 874; lisp: 171; javascript: 63; xml: 24; sed: 2

Folder: scripts

d .. (parent)
- - rw-r--r-- 209 ci-aac_tactics.sh
- - rw-r--r-- 261 ci-algebra_tactics.sh
- - rw-r--r-- 381 ci-analysis.sh
- - rw-r--r-- 272 ci-analysis_stdlib.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-- 193 ci-bbv.sh
- - rw-r--r-- 466 ci-bedrock2.sh
- - rw-r--r-- 362 ci-bedrock2_examples.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,437 ci-common.sh
- - rw-r--r-- 678 ci-compcert.sh
- - rw-r--r-- 281 ci-coq_dpdgraph.sh
- - rw-r--r-- 615 ci-coq_lsp.sh
- - rw-r--r-- 266 ci-coq_performance_tests.sh
- - rw-r--r-- 431 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-- 333 ci-elpi.sh
- - rw-r--r-- 237 ci-elpi_test.sh
- - rw-r--r-- 272 ci-engine_bench.sh
- - rw-r--r-- 361 ci-equations.sh
- - rw-r--r-- 285 ci-equations_test.sh
- - rw-r--r-- 201 ci-ext_lib.sh
- - rw-r--r-- 188 ci-fcsl_pcm.sh
- - rw-r--r-- 927 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-- 211 ci-hott.sh
- - rw-r--r-- 224 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-- 259 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-- 203 ci-mathcomp.sh
- - rw-r--r-- 176 ci-mathcomp_test.sh
- - rw-r--r-- 297 ci-mathcomp_word.sh
- - rw-r--r-- 199 ci-mczify.sh
- - rw-r--r-- 436 ci-menhir.sh
- - rw-r--r-- 361 ci-metarocq.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-- 267 ci-parsec.sh
- - rw-r--r-- 261 ci-perennial.sh
- - rw-r--r-- 311 ci-quickchick.sh
- - rw-r--r-- 250 ci-quickchick_test.sh
- - rw-r--r-- 233 ci-reduction_effects.sh
- - rw-r--r-- 322 ci-refman.sh
- - rw-r--r-- 278 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-- 317 ci-sf.sh
- - rw-r--r-- 279 ci-simple_io.sh
- - rw-r--r-- 221 ci-smtcoq.sh
- - rw-r--r-- 233 ci-smtcoq_trakt.sh
- - rw-r--r-- 401 ci-stalmarck.sh
- - rw-r--r-- 343 ci-stdlib.sh
- - rw-r--r-- 194 ci-stdlib_doc.sh
- - rw-r--r-- 174 ci-stdlib_test.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-- 518 ci-unimath.sh
- - rw-r--r-- 514 ci-verdi_raft.sh
- - rw-r--r-- 442 ci-vsrocq.sh
- - rw-r--r-- 513 ci-vst.sh
- - rw-r--r-- 303 ci-waterproof.sh