blob: e54fbb8bf8a520fcf4f8973d37ed289d2d1695e3 (
plain)
1
2
3
4
5
6
|
[submodule "lib/CompCert"]
path = lib/CompCert
url = https://github.com/ymherklotz/CompCert.git
[submodule "lib/cohpred"]
path = lib/cohpred
url = https://git.sr.ht/~ymherklotz/cohpred
|