about summary refs log tree commit diff
path: root/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix')
-rw-r--r--nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix b/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix
index ac7e6640eeab..3ebe98ab775d 100644
--- a/nixpkgs/pkgs/development/ocaml-modules/fiat-p256/default.nix
+++ b/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";