Merge pull request #165674 from StridBot/auto-update/ocaml4.13.1-tcpip

This commit is contained in:
Sandro 2022-03-27 16:02:01 +02:00 committed by GitHub
commit 6e99f2025f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -13,13 +13,13 @@
buildDunePackage rec {
pname = "tcpip";
version = "7.0.1";
version = "7.1.0";
useDune2 = true;
src = fetchurl {
url = "https://github.com/mirage/mirage-${pname}/releases/download/v${version}/${pname}-${version}.tbz";
sha256 = "0gqj2s9sk3a7f4yavx423a569fvxsrgm0wg58biiv16v37xjaymp";
sha256 = "sha256-4nd2OVZa4w22I4bgglnS8lrNfjTk40PL5n6Oh6n+osw=";
};
nativeBuildInputs = [