Update sources (#1687)

* Update sources * fix webauthn (release dropped...) --------- Co-authored-by: UpdateBot <ulrikstrid@users.noreply.github.com>
nix-ocaml · Oct 3, 2024 · 9025b11 · 9025b11
1 parent eba5c9f
commit 9025b11
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 8 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -7,7 +7,7 @@
  };
 
  inputs = {
- nixpkgs.url = "github:NixOS/nixpkgs?rev=35d02934a17a4fdc53a8857826ed35f3694e5f1c";
+ nixpkgs.url = "github:NixOS/nixpkgs?rev=0cb8a47c862b6b0d4387bfd491574424eb252658";
  flake-utils.url = "github:numtide/flake-utils";
  };
 

diff --git a/ocaml/default.nix b/ocaml/default.nix
@@ -2837,9 +2837,11 @@ with oself;
  webauthn = buildDunePackage {
  pname = "webauthn";
  version = "0.2.0";
- src = builtins.fetchurl {
- url = "https://github.com/robur-coop/webauthn/releases/download/v0.2.0/webauthn-0.2.0.tbz";
- sha256 = "08n62gq9ni553p7h1mk9a4xvvznsgq4h37n031my1hr1nhf3x8bl";
+ src = fetchFromGitHub {
+ owner = "robur-coop";
+ repo = "webauthn";
+ rev = "ea5fc357da2d6bf1f1a35cc89af26d281f5c6521";
+ hash = "sha256-85Aoep+/qxr3qkRIte5QgyitvzDdGsPG4kR3xa0Gq4E=";
  };
  propagatedBuildInputs = [
  ppx_deriving_yojson