remove tcpip 7.2.99

This commit is contained in:
Hannes Mehnert 2022-08-08 18:31:44 +02:00
parent 81ddb231eb
commit 3c69bfbf52

View file

@ -1,75 +0,0 @@
opam-version: "2.0"
maintainer: "anil@recoil.org"
homepage: "https://github.com/mirage/mirage-tcpip"
dev-repo: "git+https://github.com/mirage/mirage-tcpip.git"
bug-reports: "https://github.com/mirage/mirage-tcpip/issues"
doc: "https://mirage.github.io/mirage-tcpip/"
authors: [
"Anil Madhavapeddy" "Balraj Singh" "Richard Mortier" "Nicolas Ojeda Bar"
"Thomas Gazagnaire" "Vincent Bernardoff" "Magnus Skjegstad" "Mindy Preston"
"Thomas Leonard" "David Scott" "Gabor Pali" "Hannes Mehnert" "Haris Rotsos"
"Kia" "Luke Dunstan" "Pablo Polvorin" "Tim Cuthbertson" "lnmx" "pqwy" ]
license: "ISC"
tags: ["org:mirage"]
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
conflicts: [
"mirage-xen" {< "6.0.0"}
"ocaml-freestanding" {< "0.4.1"}
"result" {< "1.5"}
]
depends: [
"conf-pkg-config" {build}
"dune" {>= "2.7.0"}
"bisect_ppx" {dev & >= "2.5.0"}
"ocaml" {>= "4.08.0"}
"cstruct" {>= "6.0.0"}
"cstruct-lwt"
"ppx_cstruct"
"mirage-net" {>= "3.0.0"}
"mirage-clock" {>= "3.0.0"}
"mirage-random" {>= "2.0.0"}
"mirage-time" {>= "2.0.0"}
"ipaddr" {>= "5.0.0"}
"macaddr" {>="4.0.0"}
"macaddr-cstruct"
"mirage-profile" {>= "0.5"}
"fmt" {>= "0.8.7"}
"lwt" {>= "4.0.0"}
"lwt-dllist"
"logs" {>= "0.6.0"}
"duration"
"randomconv"
"ethernet" {>= "3.0.0"}
"arp" {>= "3.0.0"}
"mirage-flow" {>= "2.0.0"}
"mirage-vnetif" {with-test & >= "0.5.0"}
"alcotest" {with-test & >="0.7.0"}
"pcap-format" {with-test}
"mirage-clock-unix" {with-test & >= "3.0.0"}
"mirage-random-test" {with-test & >= "0.1.0"}
"ipaddr-cstruct" {with-test}
"lru" {>= "0.3.0"}
"metrics"
]
depopts: [
"ocaml-freestanding"
]
synopsis: "OCaml TCP/IP networking stack, used in MirageOS"
description: """
`mirage-tcpip` provides a networking stack for the [Mirage operating
system](https://mirage.io). It provides implementations for the following module types
(which correspond with the similarly-named protocols):
* IP (via the IPv4 and IPv6 modules)
* ICMP
* UDP
* TCP
"""
url {
src: "git+https://github.com/hannesm/mirage-tcpip.git#buffer-stats"
}