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: user-overlays

d .. (parent)
- - rw-r--r-- 69 12324-proux01-enable-notation.sh
- - rw-r--r-- 395 13445-herbelin-master%2Breworking-assumptions.sh
- - rw-r--r-- 139 17393-ejgallego-skip_vofile.sh
- - rw-r--r-- 77 17674-ppedrot-vm-split-bytecode.sh
- - rw-r--r-- 548 18038-Yann-Leray-rewrite-rules.sh
- - rw-r--r-- 149 18094-JasonGross-stratfix.sh
- - rw-r--r-- 321 18143-SkySkimmer-print-relevance.sh
- - rw-r--r-- 207 18224-proux01-ssr_17876.sh
- - rw-r--r-- 126 18229-herbelin-master%2Bguard-merging-rec-nested.sh
- - rw-r--r-- 72 18236-Tragicus-coercion-hook.sh
- - rw-r--r-- 65 18248-herbelin-master-extend-deprecation.sh
- - rw-r--r-- 274 18253-herbelin-master%2Buseless-poly-flag-coercion.sh
- - rw-r--r-- 539 18327-rlepigre-brfix-18281.sh
- - rw-r--r-- 313 18331-SkySkimmer-sort-poly-ind.sh
- - rw-r--r-- 82 18336-SkySkimmer-micromega-split-library.sh
- - rw-r--r-- 169 18345-ppedrot-harden-vernacextend-naming.sh
- - rw-r--r-- 426 18397-herbelin-master%2Bsmall-cleanup-declare_variable.sh
- - rw-r--r-- 581 18422-SkySkimmer-indirect.sh
- - rw-r--r-- 148 18437-gares-bump-elpi.sh
- - rw-r--r-- 150 18443-herbelin-master%2Bwish18097-print-about-see-through-aliases.sh
- - rw-r--r-- 372 18445-herbelin-master%2Bmore-robust-notations-with-max-impargs.sh
- - rw-r--r-- 161 18528-SkySkimmer-ltac2-uncommon.sh
- - rw-r--r-- 232 18529-SkySkimmer-dyn-no-anon.sh
- - rw-r--r-- 451 18546-rlepigre-brevaluable_refactoring.sh
- - rw-r--r-- 163 18603-SkySkimmer-temrops-use-evd.sh
- - rw-r--r-- 254 18624-SkySkimmer-split-tac2ffi.sh
- - rw-r--r-- 74 18652-ppedrot-prettyp-explicit-env.sh
- - rw-r--r-- 169 18664-ppedrot-cleanup-hint-path-derivate.sh
- - rw-r--r-- 169 18666-ppedrot-patternops-rm-canonical.sh
- - rw-r--r-- 69 18707-SkySkimmer-vernac-focus.sh
- - rw-r--r-- 79 18719-SkySkimmer-less-ltac-plugin.sh
- - rw-r--r-- 150 18743-herbelin-master%2Bmore-flexible-theorem-with.sh
- - rw-r--r-- 120 18771-afdw-drop.sh
- - rw-r--r-- 283 18795-herbelin-master%2Buniform-API-declare.ml.sh
- - rw-r--r-- 91 18833-SkySkimmer-indrec-no-family.sh
- - rw-r--r-- 310 18852-SkySkimmer-redexpr-clean.sh
- - rw-r--r-- 86 18864-SkySkimmer-check-guard-evars.sh
- - rw-r--r-- 155 18867-SkySkimmer-non-prop-template.sh
- - rw-r--r-- 78 18881-SkySkimmer-program-ref-by-tactic.sh
- - rw-r--r-- 143 18890-ejgallego-no_using_cinfo.sh
- - rw-r--r-- 87 18911-ppedrot-econstr-einstance-api.sh
- - rw-r--r-- 154 18921-herbelin-master%2Bfix11030-bugs-program-pattern-matching.sh
- - rw-r--r-- 272 18935-ppedrot-econstr-inductiveops-api.sh
- - rw-r--r-- 1,366 18938-SkySkimmer-erelevance.sh
- - rw-r--r-- 713 18973-rlepigre-brprim-string.sh
- - rw-r--r-- 262 18981-SkySkimmer-sort-expr-anon-univ.sh
- - rw-r--r-- 74 18989-SkySkimmer-warn-auto-lower.sh
- - rw-r--r-- 151 18996-ppedrot-case-info-rm-tags.sh
- - rw-r--r-- 77 19073-SkySkimmer-abstract-sort-poly.sh
- - rw-r--r-- 72 19078-SkySkimmer-csig-umap.sh
- - rw-r--r-- 89 19120-ppedrot-conversion-no-inner-exception-api.sh
- - rw-r--r-- 88 19124-ejgallego-export_locate_result.sh
- - rw-r--r-- 72 19135-ejgallego-intern_error_handling.sh
- - rw-r--r-- 249 19187-ejgallego-vernacstate_remove_pcoq.sh
- - rw-r--r-- 258 19193-ejgallego-vernacstate_remove_parsing.sh
- - rw-r--r-- 3,614 README.md