diff --git a/packages/functoria-runtime/functoria-runtime.2.2.5/opam b/packages/functoria-runtime/functoria-runtime.2.2.5/opam new file mode 100644 index 00000000000..b067bbe0c52 --- /dev/null +++ b/packages/functoria-runtime/functoria-runtime.2.2.5/opam @@ -0,0 +1,43 @@ +opam-version: "2.0" +maintainer: "Gabriel Radanne " +authors: [ "Thomas Gazagnaire" + "Anil Madhavapeddy" + "Dave Scott" + "Thomas Leonard" + "Gabriel Radanne" ] +homepage: "https://github.com/mirage/functoria" +bug-reports: "https://github.com/mirage/functoria/issues" +dev-repo: "git+https://github.com/mirage/functoria.git" +doc: "https://mirage.github.io/functoria/" +license: "ISC" +tags: ["org:mirage"] + +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + # do not run the tests in parallel as it uses side-effects + ["dune" "runtest" "-p" name "-j" "1"] {with-test} +] + +depends: [ + "ocaml" {>= "4.03.0"} + "dune" + "cmdliner" {>= "0.9.8"} + "fmt" + "functoria" {with-test & >= "2.2.0" & < "3.0.0"} + "alcotest" {with-test} + "dune" {with-test & <= "1.5.1"} +] + +synopsis: "Runtime support library for functoria-generated code" +description: """ +This is the runtime support library for code generated by functoria. +""" +url { + src: + "https://github.com/mirage/functoria/releases/download/v2.2.5/functoria-v2.2.5.tbz" + checksum: [ + "sha256=c88b955e7fea642c76aac297c63550c969a1be41f437d37d7dc59cac1b82aadd" + "sha512=c5c1d94031b9cd5367f6a8a5ee5c5e854971c4af16f6a9f489280c8c179739c5841531c0710eefb8e920c3bdf22ba64e7d6ff2e9ebfc2be4cce6e80dde804505" + ] +} diff --git a/packages/functoria/functoria.2.2.5/opam b/packages/functoria/functoria.2.2.5/opam new file mode 100644 index 00000000000..c32b6e8865d --- /dev/null +++ b/packages/functoria/functoria.2.2.5/opam @@ -0,0 +1,51 @@ +opam-version: "2.0" +maintainer: "Gabriel Radanne " +authors: [ "Thomas Gazagnaire" + "Anil Madhavapeddy" + "Dave Scott" + "Thomas Leonard" + "Gabriel Radanne" ] +homepage: "https://github.com/mirage/functoria" +bug-reports: "https://github.com/mirage/functoria/issues" +dev-repo: "git+https://github.com/mirage/functoria.git" +doc: "https://mirage.github.io/functoria/" +license: "ISC" +tags: ["org:mirage"] + +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] + +depends: [ + "ocaml" {>= "4.03.0"} + "dune" + "base-unix" + "cmdliner" {>= "0.9.8"} + "rresult" + "astring" + "fmt" + "ocamlgraph" + "logs" + "bos" + "fpath" + "alcotest" {with-test} + "ptime" +] +synopsis: "A DSL to organize functor applications" +description: """ +Functoria is a DSL to describe a set of modules and functors, their types and +how to apply them in order to produce a complete application. + +The main use case is mirage. See the [mirage](https://github.com/mirage/mirage) +repository for details. +""" +url { + src: + "https://github.com/mirage/functoria/releases/download/v2.2.5/functoria-v2.2.5.tbz" + checksum: [ + "sha256=c88b955e7fea642c76aac297c63550c969a1be41f437d37d7dc59cac1b82aadd" + "sha512=c5c1d94031b9cd5367f6a8a5ee5c5e854971c4af16f6a9f489280c8c179739c5841531c0710eefb8e920c3bdf22ba64e7d6ff2e9ebfc2be4cce6e80dde804505" + ] +}