diff --git a/packages/omni-irc/omni-irc.v0.1.12-1-g01e9475/opam b/packages/omni-irc/omni-irc.v0.1.12-1-g01e9475/opam new file mode 100644 index 000000000000..86a076bb371a --- /dev/null +++ b/packages/omni-irc/omni-irc.v0.1.12-1-g01e9475/opam @@ -0,0 +1,48 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: "Omni IRC: meta package for the monorepo" +description: + "Meta package for the Omni-IRC libraries. Install the specific subpackages: omni-irc-sig, omni-irc-conn, omni-irc-engine, omni-irc-io-{tcp,tls,unixsock}, omni-irc-ui, omni-irc-ui-notty (and optionally omni-irc-client)." +maintainer: ["Jesse Greathouse "] +authors: ["Jesse Greathouse"] +license: "LicenseRef-OmniIRC-ViewOnly-1.0" +homepage: "https://github.com/jesse-greathouse/omni-irc" +doc: "https://github.com/jesse-greathouse/omni-irc#readme" +bug-reports: "https://github.com/jesse-greathouse/omni-irc/issues" +depends: [ + "dune" {>= "3.20"} + "ocaml" {>= "5.0"} + "omni-irc-sig" + "omni-irc-conn" + "omni-irc-engine" + "omni-irc-io-tcp" + "omni-irc-io-tls" {"os" != "win32"} + "omni-irc-io-unixsock" {"os" != "win32"} + "omni-irc-ui" + "omni-irc-ui-notty" {"os" != "win32"} + "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/jesse-greathouse/omni-irc.git" +x-maintenance-intent: ["(latest)"] +url { + src: + "https://github.com/jesse-greathouse/omni-irc/archive/refs/tags/v0.1.12.tar.gz" + checksum: [ + "md5=4e4cd11e43c6cefc1027a6b156ec54bb" + "sha512=c92ac33cc13de8187d8c32521c29ca28e42730a1d0537a21c10748aee0720a18bdba6dd740e29deb9e17688c6d8ee510b0e05701870fafa8cd181051872f3e2d" + ] +}