Surely there must be a better way to do this...
Conversation
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?
1
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
Hrm, in one of our developments we have this line in the opam file:
depends: [
"coq-autosubst" { = "dev.coq86" }
]
So... maybe it is?
1
opam.ocaml.org/doc/Usage.html - seems like you can specify git repos
1
1
Searching on opam it doesn't seem to be listed - do you have any other package sources in that opam file you're looking at?
1
Not sure, it might be part of iris-dev I guess (that's the only other one listed).
"coq-iris" { (= "dev.2018-07-13.2.af5611c8") | (= "dev") }
1
Replying to
I think it's part of the "devel" repository... or something. I wish I understood opam better so I could tell you what that means.
1
Ohh, huh, interesting. Yeah, it confuses me too. Would be interesting to see how one could find it. Cant find any way to see a list of the devel packages online... 🤔 cc.
2
Show replies