nix update opam-repository

[hannesm]

Dear @Julow, would you mind to do the magic so that the nix stuff uses a more up-to-date opam-repository? The current CI fails since it uses an opam-repository that points to unavailable tarballs (due to git.robur.coop being not available). Thanks a lot.

[Julow]

Hi, thanks for pinging and sorry that the nix files are causing problems.

I've written down the commands needed to update the inputs in flake.nix in #179 but that requires having Nix installed.
I think it should be possible to make a Github Action that do that when trigerred manually from the Actions tab. What do you think ?

[hannesm]

I've written down the commands needed to update the inputs in flake.nix in #179 but that requires having Nix installed. I think it should be possible to make a Github Action that do that when trigerred manually from the Actions tab. What do you think ?

Thanks a log. Indeed, a Github action for doing this would be great!