[go: up one dir, main page]

Nix: Fix shell.nix and default.nix after opam-repo refactor

Fixes Nix stuff.

Merge request reports

Loading