Alexander Bantyev
Alexander Bantyev
I can reproduce. In this particular case, relaxing the `coq` version requirement: ``` diff --git a/coq-mi-cho-coq.opam b/coq-mi-cho-coq.opam index a202b28..34a2de6 100644 --- a/coq-mi-cho-coq.opam +++ b/coq-mi-cho-coq.opam @@ -22,7 +22,7 @@ depends: [...
Unfortunately, getting old versions of Coq to work seems to require more work than I'm able to put in at the moment; it's quite difficult to configure installation locations for...
Thanks! As a workaround, you can just put the SHA1 in there for now. I will look into the issue.
Should be fixed now, please confirm :)
Oooff, right, that's annoying.
I'm not sure I know of a good solution. We need to somehow make `fetchGit { ref = "0.1.0"; }` fetch the `0.1.0` tag. Of course it is possible to...
I'll just try to fix the `fetchGit` annoyance ;)
This (maybe) does it, although I'm not sure. https://github.com/NixOS/nix/pull/6766 At least it seems to resolve this specific problem.
Also note that I recommend against using tags (or branches) anyways, since they make the evaluation impure and therefore much less reproducible. Just including the commit hashes is a simple...
> They are added to the list of repositories used for solving, regardless of whether the packages being solved need these or not. Since https://github.com/tweag/opam-nix/pull/18 They shouldn't be; AFAIU they...