fix: mirror menhir (#913)

* fix: mirror menhir

* mirror fix

Author: anmonteiro

ocaml/default.nix

@@ -799,12 +799,9 @@ with oself;
   });
 
   fix = osuper.fix.overrideAttrs (_: {
-    src = fetchFromGitLab {
-      domain = "gitlab.inria.fr";
-      owner = "fpottier";
-      repo = "fix";
-      rev = "20230505";
-      hash = "sha256-Xuw4pEPqAbQjSHrpMCNE7Th0mpbNMSxdEdwvH4hu2SM=";
+    src = builtins.fetchurl {
+      url = https://anmonteiro.s3.eu-west-3.amazonaws.com/fix-20230505.tar.gz;
+      sha256 = "06q8h71q9j1jcr1gprr1ykigb9l4y6zil6c7i9p0b0f4qkyhcvrj";
     };
   });
 
@@ -1154,12 +1151,9 @@ with oself;
   melange = callPackage ./melange { };
 
   menhirLib = osuper.menhirLib.overrideAttrs (_: {
-    src = fetchFromGitLab {
-      domain = "gitlab.inria.fr";
-      owner = "fpottier";
-      repo = "menhir";
-      rev = "20230608";
-      hash = "sha256-dUPoIUVr3gqvE5bniyQh/b37tNfRsZN8X3e99GFkyLY=";
+    src = builtins.fetchurl {
+      url = https://anmonteiro.s3.eu-west-3.amazonaws.com/menhir-20230608.tar.gz;
+      sha256 = "1kmj8b954cdpb7gfyfi7hmvsc1h4b2sfl6nhr9z7kkgbpm9wmlh9";
     };
   });