public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamlPackages.fiat-p256: use Dune 2

This commit is contained in:
Vincent Laporte 2020-10-28 06:30:56 +01:00 committed by Vincent Laporte
parent 36ac62c6d7
commit 6f8621dea6
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/development/ocaml-modules/fiat-p256/default.nix
View File

@ -5,6 +5,7 @@
buildDunePackage rec { buildDunePackage rec {
pname = "fiat-p256"; pname = "fiat-p256";
version = "0.2.1"; version = "0.2.1";
useDune2 = true;
src = fetchurl { src = fetchurl {
url = "https://github.com/mirage/fiat/releases/download/v${version}/${pname}-v${version}.tbz"; url = "https://github.com/mirage/fiat/releases/download/v${version}/${pname}-v${version}.tbz";