diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-10-28 06:30:56 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-10-31 20:04:15 +0100 |
| commit | 6f8621dea6f458eb018f1efc7d220490f10c3d8c (patch) | |
| tree | 692ee4afbfb63345de46219795aad7f7ac98d75f /pkgs/development/ocaml-modules/fiat-p256 | |
| parent | 36ac62c6d7fbc2e269d146b121931cea83c42b9a (diff) | |
| download | nixpkgs-6f8621dea6f458eb018f1efc7d220490f10c3d8c.tar nixpkgs-6f8621dea6f458eb018f1efc7d220490f10c3d8c.tar.gz nixpkgs-6f8621dea6f458eb018f1efc7d220490f10c3d8c.tar.bz2 nixpkgs-6f8621dea6f458eb018f1efc7d220490f10c3d8c.tar.lz nixpkgs-6f8621dea6f458eb018f1efc7d220490f10c3d8c.tar.xz nixpkgs-6f8621dea6f458eb018f1efc7d220490f10c3d8c.tar.zst nixpkgs-6f8621dea6f458eb018f1efc7d220490f10c3d8c.zip | |
ocamlPackages.fiat-p256: use Dune 2
Diffstat (limited to 'pkgs/development/ocaml-modules/fiat-p256')
| -rw-r--r-- | pkgs/development/ocaml-modules/fiat-p256/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
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"; |