So confused trying to add a Coq library to my project via a git submodule: github.com/uds-psl/autosu 😭😭😭
Conversation
Surely there must be a better way to do this...
2
Theoretically, opam is the way you are supposed to do it, I think...
1
1
Ahh yeah, I saw that mentioned on the github issues
1
Can tou get opam to refer to github repos?
Replying to
I'm not sure, I'm very far from an opam expert. I think you can, but I also think Autosubst is already on opam itself?
1
Oh bah, I guess it isn't--in fact I see your comment on the issue I just looked at :P
1
Show replies