2021-04-25 15:17:54 +00:00
|
|
|
{ buildDunePackage
|
|
|
|
, lib
|
|
|
|
, fetchurl
|
|
|
|
, mirage-stack
|
|
|
|
, mirage-time
|
2021-05-11 04:54:15 +00:00
|
|
|
, h2
|
2021-04-25 15:17:54 +00:00
|
|
|
, tls-mirage
|
|
|
|
, mimic
|
|
|
|
, ke
|
|
|
|
, bigstringaf
|
|
|
|
, faraday
|
|
|
|
, tls
|
|
|
|
, lwt
|
|
|
|
, logs
|
|
|
|
, fmt
|
|
|
|
, mirage-crypto-rng
|
|
|
|
, tcpip
|
|
|
|
, mirage-time-unix
|
|
|
|
, ptime
|
|
|
|
, uri
|
|
|
|
, alcotest-lwt
|
2021-09-29 12:28:09 +00:00
|
|
|
, cstruct
|
2021-04-25 15:17:54 +00:00
|
|
|
}:
|
|
|
|
|
|
|
|
buildDunePackage rec {
|
|
|
|
pname = "paf";
|
2023-04-09 10:08:42 +00:00
|
|
|
version = "0.5.0";
|
2021-04-25 15:17:54 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "https://github.com/dinosaure/paf-le-chien/releases/download/${version}/paf-${version}.tbz";
|
2023-04-09 10:08:42 +00:00
|
|
|
hash = "sha256-oWRvwb8DhtF3ltWaZ6moKmgadFUngruo1UOIaGNV/oM=";
|
2021-04-25 15:17:54 +00:00
|
|
|
};
|
|
|
|
|
2022-09-16 18:51:17 +00:00
|
|
|
minimalOCamlVersion = "4.08";
|
2022-12-19 12:28:12 +00:00
|
|
|
duneVersion = "3";
|
2021-04-25 15:17:54 +00:00
|
|
|
|
|
|
|
propagatedBuildInputs = [
|
|
|
|
mirage-stack
|
|
|
|
mirage-time
|
2021-05-11 04:54:15 +00:00
|
|
|
h2
|
2021-04-25 15:17:54 +00:00
|
|
|
tls-mirage
|
|
|
|
mimic
|
|
|
|
ke
|
|
|
|
bigstringaf
|
|
|
|
faraday
|
|
|
|
tls
|
2021-09-29 12:28:09 +00:00
|
|
|
cstruct
|
2022-01-23 20:24:16 +00:00
|
|
|
tcpip
|
2021-04-25 15:17:54 +00:00
|
|
|
];
|
|
|
|
|
2022-09-16 18:51:17 +00:00
|
|
|
doCheck = true;
|
2022-03-01 15:42:22 +00:00
|
|
|
checkInputs = [
|
2021-04-25 15:17:54 +00:00
|
|
|
lwt
|
|
|
|
logs
|
|
|
|
fmt
|
|
|
|
mirage-crypto-rng
|
|
|
|
mirage-time-unix
|
|
|
|
ptime
|
|
|
|
uri
|
|
|
|
alcotest-lwt
|
|
|
|
];
|
|
|
|
|
2023-01-24 00:51:23 +00:00
|
|
|
__darwinAllowLocalNetworking = true;
|
|
|
|
|
2021-04-25 15:17:54 +00:00
|
|
|
meta = {
|
|
|
|
description = "HTTP/AF and MirageOS";
|
|
|
|
license = lib.licenses.mit;
|
|
|
|
maintainers = [ lib.maintainers.sternenseemann ];
|
|
|
|
homepage = "https://github.com/dinosaure/paf-le-chien";
|
|
|
|
};
|
|
|
|
}
|