diff options
author | Alyssa Ross <hi@alyssa.is> | 2023-09-01 11:51:02 +0000 |
---|---|---|
committer | Alyssa Ross <hi@alyssa.is> | 2023-09-01 11:51:02 +0000 |
commit | aa4353b499e6950b7333578f936455a628145c31 (patch) | |
tree | c6332cedece2327a18d08794755b3fc0f9f1905b /nixpkgs/pkgs/development/ocaml-modules/tcpip/default.nix | |
parent | ac456d475f4e50818499b804359355c0f3b4bbf7 (diff) | |
parent | 52185f4d76c18d8348f963795dfed1de018e8dfe (diff) | |
download | nixlib-aa4353b499e6950b7333578f936455a628145c31.tar nixlib-aa4353b499e6950b7333578f936455a628145c31.tar.gz nixlib-aa4353b499e6950b7333578f936455a628145c31.tar.bz2 nixlib-aa4353b499e6950b7333578f936455a628145c31.tar.lz nixlib-aa4353b499e6950b7333578f936455a628145c31.tar.xz nixlib-aa4353b499e6950b7333578f936455a628145c31.tar.zst nixlib-aa4353b499e6950b7333578f936455a628145c31.zip |
Merge https://github.com/NixOS/nixpkgs
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/tcpip/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/tcpip/default.nix | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/tcpip/default.nix b/nixpkgs/pkgs/development/ocaml-modules/tcpip/default.nix index 30710bfae265..1f86d7ef5bfb 100644 --- a/nixpkgs/pkgs/development/ocaml-modules/tcpip/default.nix +++ b/nixpkgs/pkgs/development/ocaml-modules/tcpip/default.nix @@ -1,8 +1,8 @@ { lib, buildDunePackage, fetchurl -, ppx_cstruct, pkg-config +, pkg-config , cstruct, cstruct-lwt, mirage-net, mirage-clock , mirage-random, mirage-time -, ipaddr, macaddr, macaddr-cstruct, mirage-profile, fmt +, macaddr, macaddr-cstruct, fmt , lwt, lwt-dllist, logs, duration, randomconv, ethernet , alcotest, mirage-flow, mirage-vnetif, pcap-format , mirage-clock-unix, arp, ipaddr-cstruct, mirage-random-test @@ -13,13 +13,11 @@ buildDunePackage rec { pname = "tcpip"; - version = "7.1.2"; - - duneVersion = "3"; + version = "8.0.0"; src = fetchurl { url = "https://github.com/mirage/mirage-${pname}/releases/download/v${version}/${pname}-${version}.tbz"; - hash = "sha256-lraur6NfFD9yddG+y21jlHKt82gLgYBBbedltlgcRm0="; + hash = "sha256-NrTBVr4WcCukxteBotqLoUYrIjcNFVcOERYFbL8CUjM="; }; nativeBuildInputs = [ @@ -27,17 +25,15 @@ buildDunePackage rec { ]; propagatedBuildInputs = [ - ppx_cstruct cstruct cstruct-lwt mirage-net mirage-clock mirage-random mirage-time - ipaddr + ipaddr-cstruct macaddr macaddr-cstruct - mirage-profile fmt lwt lwt-dllist @@ -61,7 +57,6 @@ buildDunePackage rec { mirage-vnetif pcap-format mirage-clock-unix - ipaddr-cstruct ]; __darwinAllowLocalNetworking = true; |