From fa773a50b875b1dbd414382324344d5112752a61 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Thu, 7 Nov 2024 13:54:20 +0100
Subject: [PATCH] [new release] sel (0.5.0)

CHANGES:

- Resilient to multiple copies of the same event on the same file descriptor
- A system event is given enough rounds to complete if his priority is the lowest
---
 packages/sel/sel.0.5.0/opam | 42 +++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 packages/sel/sel.0.5.0/opam

diff --git a/packages/sel/sel.0.5.0/opam b/packages/sel/sel.0.5.0/opam
new file mode 100644
index 00000000000..7ced1e02161
--- /dev/null
+++ b/packages/sel/sel.0.5.0/opam
@@ -0,0 +1,42 @@
+opam-version: "2.0"
+synopsis: "Simple Event Library"
+description:
+  "This library is the result of our experience in using threads and the Lwt async monad to tame the problem of writing a server which has to listen and react to multiple sources of events. The library itself is just sugar atop Unix.select. You can read more about the library on https://github.com/gares/sel"
+maintainer: ["Enrico Tassi <enrico.tassi@inria.fr>"]
+authors: ["Enrico Tassi"]
+license: "MIT"
+tags: ["event" "input" "output"]
+homepage: "https://github.com/gares/sel"
+bug-reports: "https://github.com/gares/sel/issues"
+depends: [
+  "ocaml" {>= "4.08"}
+  "dune" {>= "3.5"}
+  "ppx_deriving"
+  "ppx_sexp_conv" {with-test}
+  "ppx_inline_test" {with-test}
+  "ppx_assert" {with-test}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/gares/sel.git"
+url {
+  src: "https://github.com/gares/sel/releases/download/v0.5.0/sel-0.5.0.tbz"
+  checksum: [
+    "sha256=9f867e3def5f9072e7473c02af2c5835ed7ae50d9576cf7e09db916d1263a88d"
+    "sha512=0901bcc17498f0cfeb2aa88d3e1e6c77b508d6f05e635146fffc3859ba353eaf9b8cfae9b6fe3e78af84e1c731bf612706ed53bf0ee4f516e3c27bf12889d45d"
+  ]
+}
+x-commit-hash: "4707d3c27fc74ef572311ede6a5c9f06ae8ceaf4"