From 7f962da239ce29d6f71a838fc120ff7d1f32d4d5 Mon Sep 17 00:00:00 2001
From: Nate Foster <jnfoster@cs.cornell.edu>
Date: Fri, 5 Nov 2021 17:09:05 -0400
Subject: [PATCH] Package frenetic.5.0.5

---
 packages/frenetic/frenetic.5.0.5/opam | 47 +++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 packages/frenetic/frenetic.5.0.5/opam

diff --git a/packages/frenetic/frenetic.5.0.5/opam b/packages/frenetic/frenetic.5.0.5/opam
new file mode 100644
index 000000000000..c749ad8d9f21
--- /dev/null
+++ b/packages/frenetic/frenetic.5.0.5/opam
@@ -0,0 +1,47 @@
+opam-version: "2.0"
+synopsis: "The Frenetic Programming Language and Runtime System"
+maintainer: "Nate Foster <jnfoster@cs.cornell.edu>"
+authors: "Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>"
+homepage: "http://frenetic-lang.org"
+license: "LGPL-3.0-or-later"
+bug-reports: "https://github.com/frenetic-lang/frenetic/issues"
+dev-repo: "git+https://github.com/frenetic-lang/frenetic.git"
+build: [
+  ["dune" "subst"] {dev}
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+]
+depends: [
+  "ocaml" { >= "4.11.0"}
+  "dune" { >= "2.0"}
+  "odoc"
+  #########################
+  "async"  {>= "vv0.14.0" }
+  "base64" {>= "3.5.0"}
+  "cohttp" {>= "4.0.0"}
+  "cohttp-async" {>= "4.0.0" }
+  "core"   {>= "vv0.14.0" }
+  "cstruct" {>= "6.0.1"}
+  "cstruct-sexp" {>= "6.0.1"}
+  "ipaddr" {>= "5.2.0"}
+  "menhir" {>= "20210419"}
+  "mparser" {>= "1.3"}
+  "mparser-re" {>= "1.3"}
+  "ocamlgraph" {>= "2.0.0"}
+  "open" {>= "0.2.1"}
+  "ppx_jane" {>= "v0.14.0"}
+  "ppx_cstruct" {>= "5.2.0"}
+  "ppx_deriving" {>= "5.1"}
+  "sedlex" {>= "2.2" & < "2.4"}
+  "sexplib" {>= "v0.14.0"}
+  "tcpip" {>= "6.3.0"}
+  "yojson" {>= "1.7.0"}
+]
+url {
+  src: "https://github.com/frenetic-lang/frenetic/archive/5.0.5.tar.gz"
+  checksum: [
+    "md5=e74a7fe1f1fc4f5112a2648fc6cc09d9"
+    "sha512=2abed7a37c9b38831bc8256360dfbf4768c4b37cc44d15d6c42f4a251a4a324676bc5a4d422bfc42e9298b00a8cf79d2d45e4b4c1d08efb84969a86c9c35f766"
+  ]
+}