DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
coq
/
8.16.1%2Bdfsg-1
/
dev
/
ci
/ user-overlays
package info
(click to toggle)
coq 8.16.1%2Bdfsg-1
links:
PTS
,
VCS
area: main
in suites: bookworm
size: 40,596 kB
sloc
: ml: 219,376; sh: 3,545; python: 3,231; ansic: 2,529; makefile: 767; lisp: 279; javascript: 63; xml: 24; sed: 2
Folder: user-overlays
.. (parent)
-
rw-r--r--
242
13965-gares-syndef-principal-scope.sh
-
rw-r--r--
230
13969-mattam82-rewrite-reflexive-mode.sh
-
rw-r--r--
171
14137-alizter-setoid-rewrite-type.sh
-
rw-r--r--
123
14563-herbelin-master%2Brecord-with-default-variable-name.sh
-
rw-r--r--
213
14727-herbelin-master%2Bmajor-refactoring-cooking.sh
-
rw-r--r--
93
14740-alizter-alizter%2Bsplit-scheme-vernac.sh
-
rw-r--r--
1,821
15220-gares-dynlink-w-findlib.sh
-
rw-r--r--
77
15233-SkySkimmer-locality.sh
-
rw-r--r--
70
15294-Lysxia-extract-comparison.sh
-
rw-r--r--
321
15317-SkySkimmer-libobject-names.sh
-
rw-r--r--
81
15324-ppedrot-rm-eauto-bfs-implem.sh
-
rw-r--r--
661
15327-ppedrot-split-tclfail-level.sh
-
rw-r--r--
350
15344-herbelin-master%2Brenaming-syntax_def.ml-abbreviation.ml.sh
-
rw-r--r--
350
15344-herbelin-renaming-syntax_def.ml-abbreviation.ml.sh
-
rw-r--r--
263
15393-ppedrot-deprecate-sigma-wrapper.sh
-
rw-r--r--
94
15407-ppedrot-evarutil-precise-naming-mode.sh
-
rw-r--r--
77
15414-ppedrot-reduce-global-use.sh
-
rw-r--r--
521
15420-herbelin-master%2Bfix15420-hardwire-names-pred-mutual-induction-schemes.sh
-
rw-r--r--
69
15446-olaure01-signatureT.sh
-
rw-r--r--
67
15638-gares-fix-findlib-pack-rule.sh
-
rw-r--r--
81
15645-alizter-alizter%2Bimprove-coqide-help.sh
-
rw-r--r--
73
15650-LPCIC-external-dependency.sh
-
rw-r--r--
76
15656-gares-bump-elpi.sh
-
rw-r--r--
298
15693-gares-reverse-coercions.sh
-
rw-r--r--
64
15721-fajb-micromega-interval-analysis.sh
-
rw-r--r--
65
15836-proux01-doc_inductive.sh
-
rw-r--r--
327
15837-ppedrot-reduce-universe-footprint.sh
-
rw-r--r--
128
15853-proux01-nonuniform_attr.sh
-
rw-r--r--
425
15856-ppedrot-universes-rm-univ-of-sort.sh
-
rw-r--r--
145
15871-ppedrot-univ-cleanup-api.sh
-
rw-r--r--
146
15872-gares-interp-inductive.sh
-
rw-r--r--
217
15880-blaisorblade-coq_mk-delete-on-err.sh
-
rw-r--r--
71
15884-proux01-num_not_no_elab.sh
-
rw-r--r--
91
15915-ppedrot-pattern-of-constr-nf-flag.sh
-
rw-r--r--
84
15943-ppedrot-cache-projection-relevance.sh
-
rw-r--r--
74
15945-SkySkimmer-require-filters.sh
-
rw-r--r--
149
15948-gares-bump-elpi.sh
-
rw-r--r--
111
16206-extraction-less-recurse.sh
-
rw-r--r--
78
16434-SkySkimmer-assumptions-vos.sh
-
rw-r--r--
3,740
README.md