Remove explicit library pins from opam file

RedPRL · Aug 30, 2023 · 8535607 · 8535607
1 parent 5bef77c
commit 8535607
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 8 deletions.
diff --git a/cooltt.opam b/cooltt.opam
@@ -27,8 +27,6 @@ depends: [
 pin-depends: [
   [ "kado.~dev" "git+https://github.com/RedPRL/kado#afe9b7916d532b67cdec10586ce2eefa8fe56de1" ]
   [ "bantorra.0.1.0" "git+https://github.com/RedPRL/bantorra#1e78633d9a2ef7104552a24585bb8bea36d4117b" ]
-  [ "yuujinchou.5.0.2" "git+https://github.com/RedPRL/yuujinchou#fdfbb1cfb31fb02420e968bcd75567ed9472e664" ]
-  [ "bwd.2.2.0" "git+https://github.com/RedPRL/ocaml-bwd#f7daa913d29f639886f33193c80e5120bf844d6d" ]
 ]
 build: [
   ["dune" "build" "-p" name "-j" jobs]

diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,12 +2,17 @@
   description = "Experimental implementation of Cartesian cubical type theory";
 
   inputs = {
+    opam-repository = {
+      url = "github:ocaml/opam-repository";
+      flake = false;
+    };
     opam-nix.url = "github:tweag/opam-nix";
+    opam-nix.inputs.opam-repository.follows = "opam-repository";
     flake-utils.url = "github:numtide/flake-utils";
     nixpkgs.follows = "opam-nix/nixpkgs";
   };
 
-  outputs = { self, flake-utils, opam-nix, nixpkgs }@inputs:
+  outputs = { self, flake-utils, opam-nix, opam-repository, nixpkgs }@inputs:
     flake-utils.lib.eachDefaultSystem (system:
       let
         pkgs = nixpkgs.legacyPackages.${system};