-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy path.gitmodules
78 lines (78 loc) · 2.12 KB
/
.gitmodules
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
[submodule "mathcomp"]
path = mathcomp
url = git@github.com:jscoq/addon-mathcomp
branch = mathcomp-1.15.0
[submodule "mathcomp-extra"]
path = mathcomp-extra
url = git@github.com:jscoq/addon-mathcomp-extra.git
branch = v8.16
[submodule "elpi"]
path = elpi
url = git@github.com:jscoq/addon-elpi.git
branch = elpi-1.14-8.16
[submodule "equations"]
path = equations
url = git@github.com:jscoq/addon-equations.git
branch = equations-1.3-8.16
[submodule "extlib"]
path = extlib
url = git@github.com:jscoq/addon-extlib.git
branch = master
[submodule "simpleio"]
path = simpleio
url = git@github.com:jscoq/addon-simpleio.git
branch = simpleio-1.7.0-8.16
[submodule "quickchick"]
path = quickchick
url = git@github.com:jscoq/addon-quickchick.git
branch = quickchick-1.6.3-8.16
[submodule "software-foundations"]
path = software-foundations
url = git@github.com:jscoq/addon-software-foundations
branch = master
[submodule "hahn"]
path = hahn
url = git@github.com:jscoq/addon-hahn.git
branch = coq-v8.16
[submodule "paco"]
path = paco
url = git@github.com:jscoq/addon-paco.git
branch = paco-4.1.2-8.15
[submodule "snu-sflib"]
path = snu-sflib
url = git@github.com:jscoq/addon-snu-sflib.git
branch = master
[submodule "promising"]
path = promising
url = git@github.com:jscoq/addon-promising.git
branch = 8.14
[submodule "fcsl-pcm"]
path = fcsl-pcm
url = git@github.com:jscoq/addon-fcsl-pcm.git
branch = fcsl-pcm-1.4.0-8.15
[submodule "htt"]
path = htt
url = git@github.com:jscoq/addon-htt.git
branch = main
[submodule "pnp"]
path = pnp
url = git@github.com:jscoq/addon-pnp.git
branch = main
[submodule "coqoban"]
path = coqoban
url = git@github.com:jscoq/addon-coqoban.git
branch = v8.15
[submodule "stdpp"]
path = stdpp
url = git@github.com:jscoq/addon-stdpp.git
branch = stdpp-1.8.0-coq-8.16
[submodule "iris"]
path = iris
url = git@github.com:jscoq/addon-iris.git
branch = iris-4.0.0-coq-8.16
[submodule "hott"]
path = hott
url = git@github.com:jscoq/addon-hott.git
[submodule "unimath"]
path = unimath
url = https://github.com/jscoq/addon-unimath.git