-
Notifications
You must be signed in to change notification settings - Fork 632
/
17836-SkySkimmer-sort-poly.sh
33 lines (17 loc) · 1.24 KB
/
17836-SkySkimmer-sort-poly.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
overlay bedrock2 https://github.com/SkySkimmer/bedrock2 sort-poly 17836
overlay rewriter https://github.com/SkySkimmer/rewriter sort-poly 17836
overlay fiat_crypto https://github.com/SkySkimmer/fiat-crypto sort-poly 17836
overlay waterproof https://github.com/SkySkimmer/coq-waterproof sort-poly 17836
overlay tactician https://github.com/SkySkimmer/coq-tactician sort-poly 17836
overlay serapi https://github.com/SkySkimmer/coq-serapi sort-poly 17836
overlay quickchick https://github.com/SkySkimmer/QuickChick sort-poly 17836
overlay paramcoq https://github.com/SkySkimmer/paramcoq sort-poly 17836
overlay unicoq https://github.com/SkySkimmer/unicoq sort-poly 17836
overlay mtac2 https://github.com/SkySkimmer/Mtac2 sort-poly 17836
overlay lean_importer https://github.com/SkySkimmer/coq-lean-import sort-poly 17836
overlay equations https://github.com/SkySkimmer/Coq-Equations sort-poly 17836
overlay elpi https://github.com/SkySkimmer/coq-elpi sort-poly 17836
overlay coqhammer https://github.com/SkySkimmer/coqhammer sort-poly 17836
overlay coq_dpdgraph https://github.com/SkySkimmer/coq-dpdgraph sort-poly 17836
overlay metacoq https://github.com/SkySkimmer/metacoq sort-poly 17836
overlay coq_lsp https://github.com/SkySkimmer/coq-lsp sort-poly 17836