From 6f8621dea6f458eb018f1efc7d220490f10c3d8c Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 28 Oct 2020 06:30:56 +0100 Subject: [PATCH] ocamlPackages.fiat-p256: use Dune 2 --- pkgs/development/ocaml-modules/fiat-p256/default.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/development/ocaml-modules/fiat-p256/default.nix b/pkgs/development/ocaml-modules/fiat-p256/default.nix index ac7e6640eea..3ebe98ab775 100644 --- a/pkgs/development/ocaml-modules/fiat-p256/default.nix +++ b/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";