fix: mirror menhir

[anmonteiro]

gitlab.inria.fr is down

[joprice]

I tested out this branch locally with github:nix-ocaml/nix-overlays?rev=518d372292131a333f5aa2b83d1ef1f812789005"; and it looks like there's another reference to the repo for the "fix" module.

 error: 1 dependencies of derivation '/nix/store/4qhcdjgn0bww6c7y9q61469xa1c428gy-ocaml4.14.1-fix-20220121.drv' failed to build

[anmonteiro]

Good point. What's the full error?

[joprice]

error: builder for '/nix/store/z5qzgdwfi6l618vnv3dh0hcx5wgbc5z3-source.drv' failed with exit code 1;
       last 7 log lines:
       >
       > trying https://gitlab.inria.fr/api/v4/projects/fpottier%2Ffix/repository/archive.tar.gz?sha=20230505
       >   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
       >                                  Dload  Upload   Total   Spent    Left  Speed
       >   0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
       > curl: (7) Failed to connect to gitlab.inria.fr port 443 after 98 ms: Couldn't connect to server
       > error: cannot download source from any mirror
       For full logs, run 'nix-store -l /nix/store/z5qzgdwfi6l618vnv3dh0hcx5wgbc5z3-source.drv'.
error: 1 dependencies of derivation '/nix/store/4qhcdjgn0bww6c7y9q61469xa1c428gy-ocaml4.14.1-fix-20220121.drv' failed to build
error: 1 dependencies of derivation '/nix/store/pd9d1657mx4ai3fam9fim6px130w8n2q-ocaml4.14.1-reason-3.9.0.drv' failed to build
error: 1 dependencies of derivation '/nix/store/xxs28gzxhad5qnmxc291rq2prw84088q-ocaml4.14.1-melange-dev.drv' failed to build
error (ignored): error: cannot unlink '/private/tmp/nix-build-ocaml+flambda-4.14.1.drv-1/ocaml-4.14.1': Directory not empty
error: 1 dependencies of derivation '/nix/store/yz447hn08halk1srcqzcifmbp2m4npf8-nix-shell-env.drv' failed to build
error: getting status of '/Users/josephprice/dev/melange-test/.direnv/flake-profile.24212': No such file or directory
warning: Git tree '/Users/josephprice/dev/melange-test' is dirty

nix-overlays/ocaml/default.nix

Lines 801 to 809 in d0bf5d6

	fix = osuper.fix.overrideAttrs (_: {
	src = fetchFromGitLab {
	domain = "gitlab.inria.fr";
	owner = "fpottier";
	repo = "fix";
	rev = "20230505";
	hash = "sha256-Xuw4pEPqAbQjSHrpMCNE7Th0mpbNMSxdEdwvH4hu2SM=";
	};
	});