Fix bad dependency (hacspec#2)

flake.nix

@@ -0,0 +1,38 @@
+{
+  inputs = {
+    flake-utils.url = "github:numtide/flake-utils";
+    crane = {
+      url = "github:ipetkov/crane";
+      inputs = {
+        nixpkgs.follows = "nixpkgs";
+        flake-utils.follows = "flake-utils";
+      };
+    };
+    rust-overlay.follows = "crane/rust-overlay";
+  };
+
+  outputs = {flake-utils, nixpkgs, rust-overlay, crane, ...}:
+    flake-utils.lib.eachDefaultSystem (system:
+      let
+        pkgs = import nixpkgs {
+          inherit system;
+          overlays = [rust-overlay.overlays.default];
+        };
+        rustc = pkgs.rust-bin.fromRustupToolchainFile ./rust-toolchain.toml;
+        craneLib = (crane.mkLib pkgs).overrideToolchain rustc;
+      in rec {
+        devShells = {
+          default = pkgs.mkShell {
+            packages = [
+              pkgs.cargo-expand
+              pkgs.openssl.dev
+              pkgs.pkg-config
+              pkgs.rust-analyzer
+              rustc
+            ];
+            LIBCLANG_PATH = "${pkgs.llvmPackages.libclang.lib}/lib";
+          };
+        };
+      }
+    );
+}

pasta/Cargo.toml

@@ -10,7 +10,7 @@ edition = "2018"
 path = "src/pasta.rs"
 
 [dependencies]
-hacspec-lib = { path = "../../lib" }
+hacspec-lib = { git = "https://github.com/hacspec/hacspec.git" }
 
 [dev-dependencies]
 quickcheck = "1"