ocamlPackages.mirage-crypto: 0.8.0 → 0.8.1, tls: 0.12.2 → 0.12.3 (#92324)

This commit is contained in:
sternenseemann 2020-07-06 09:46:46 +02:00 committed by GitHub
parent 1085c05637
commit 5173f2a559
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 6 deletions

View File

@ -1,14 +1,14 @@
{ lib, fetchurl, buildDunePackage, ounit, cstruct, dune-configurator, pkg-config }: { lib, fetchurl, buildDunePackage, ounit, cstruct, dune-configurator, eqaf, pkg-config }:
buildDunePackage rec { buildDunePackage rec {
minimumOCamlVersion = "4.08"; minimumOCamlVersion = "4.08";
pname = "mirage-crypto"; pname = "mirage-crypto";
version = "0.8.0"; version = "0.8.1";
src = fetchurl { src = fetchurl {
url = "https://github.com/mirage/mirage-crypto/releases/download/v${version}/mirage-crypto-v${version}.tbz"; url = "https://github.com/mirage/mirage-crypto/releases/download/v${version}/mirage-crypto-v${version}.tbz";
sha256 = "1wb2923v17z179v866ragil0r601w5b3kvpnbkmkwlijp4i5grih"; sha256 = "13qjisijayviw1s77s74f7klkrjj470vhj4b21cpif7jj2i4ljgk";
}; };
useDune2 = true; useDune2 = true;
@ -17,7 +17,7 @@ buildDunePackage rec {
checkInputs = [ ounit ]; checkInputs = [ ounit ];
nativeBuildInputs = [ dune-configurator pkg-config ]; nativeBuildInputs = [ dune-configurator pkg-config ];
propagatedBuildInputs = [ cstruct ]; propagatedBuildInputs = [ cstruct eqaf ];
meta = with lib; { meta = with lib; {
homepage = "https://github.com/mirage/mirage-crypto"; homepage = "https://github.com/mirage/mirage-crypto";

View File

@ -6,12 +6,12 @@
buildDunePackage rec { buildDunePackage rec {
minimumOCamlVersion = "4.08"; minimumOCamlVersion = "4.08";
version = "0.12.2"; version = "0.12.3";
pname = "tls"; pname = "tls";
src = fetchurl { src = fetchurl {
url = "https://github.com/mirleft/ocaml-tls/releases/download/v${version}/tls-v${version}.tbz"; url = "https://github.com/mirleft/ocaml-tls/releases/download/v${version}/tls-v${version}.tbz";
sha256 = "1wpgs0cd79wl4lnn1i44xjn8prha793nrbyv68zjiqpq3gmpyy3k"; sha256 = "1kfkxsy0nkqi0gbsqn1ssh4x0xhy0p07ijclm42806rxlqr3x405";
}; };
useDune2 = true; useDune2 = true;