diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix')
-rw-r--r-- | infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix b/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix index ac7e6640eeab..3ebe98ab775d 100644 --- a/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix +++ b/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix @@ -5,6 +5,7 @@ buildDunePackage rec { pname = "fiat-p256"; version = "0.2.1"; + useDune2 = true; src = fetchurl { url = "https://github.com/mirage/fiat/releases/download/v${version}/${pname}-v${version}.tbz"; |