Merge pull request #14254 from lpw25/spacetime_lib.0.3.0

Add spacetime_lib 0.3.0 and prof_spacetime 0.3.0

packages/prof_spacetime/prof_spacetime.0.3.0/opam

@@ -0,0 +1,34 @@
+opam-version: "2.0"
+synopsis: "A viewer for OCaml spacetime profiles"
+maintainer: "Leo White <[email protected]>"
+authors: "Leo White <[email protected]>"
+license: "MIT"
+homepage: "https://github.com/lpw25/prof_spacetime"
+bug-reports: "https://github.com/lpw25/prof_spacetime/issues"
+depends: [
+  "ocaml"
+  "dune" {build & >= "1.0"}
+  "cmdliner"
+  "cohttp" {>= "1.0.0"}
+  "cohttp-lwt-unix"
+  "conduit"
+  "conduit-lwt-unix"
+  "yojson"
+  "lwt"
+  "lambda-term"
+  "spacetime_lib" {>= "0.2"}
+  "stdlib-shims"
+]
+build: [
+  ["dune" "subst"] {pinned}
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+dev-repo: "git://github.com/lpw25/prof_spacetime"
+description: """
+`prof_spacetime` is a viewer for OCaml spacetime profiles. It provides
+both terminal and broswer based modes for viewing profiles."""
+url {
+  src: "https://github.com/lpw25/prof_spacetime/archive/0.3.0.tar.gz"
+  checksum: "md5=91a73430ed47cffa5aa93a45a6dc03c0"
+}

packages/spacetime_lib/spacetime_lib.0.3.0/opam

@@ -0,0 +1,30 @@
+opam-version: "2.0"
+synopsis: "Library for decoding OCaml spacetime profiles"
+maintainer: "Leo White <[email protected]>"
+authors: [
+  "Leo White <[email protected]>" "Mark Shinwell <[email protected]>"
+]
+license: "MIT"
+homepage: "https://github.com/lpw25/spacetime_lib"
+bug-reports: "https://github.com/lpw25/spacetime_lib"
+depends: [
+  "ocaml"
+  "dune" {build & >= "1.0"}
+  "owee"
+  "raw_spacetime"
+  "base-bigarray"
+  "base-unix"
+]
+build: [
+  ["./configure.sh"]
+  ["dune" "build" "-p" name "-j" jobs]
+]
+dev-repo: "git://github.com/lpw25/spacetime_lib"
+description: """
+`spacetime_lib` provides some simple operations for reading OCaml
+spacetime profiles. It aims to provide an easier to use interface than
+the `raw_spacetime_lib` library distributed with the compiler."""
+url {
+  src: "https://github.com/lpw25/spacetime_lib/archive/0.3.0.tar.gz"
+  checksum: "md5=41b62e019a6e24cb84f43b4bc0a2d7fd"
+}