From f6f3a7ff1f023f998a4f1fcf73598cd0741c0635 Mon Sep 17 00:00:00 2001 From: Ilias Garnier Date: Sun, 26 May 2024 23:28:09 +0200 Subject: [PATCH] 4 packages from igarnier/prbnmcn-dagger at 0.0.5 --- .../prbnmcn-dagger-gsl.0.0.5/opam | 36 ++++++++++++++++ .../prbnmcn-dagger-stats.0.0.5/opam | 38 ++++++++++++++++ .../prbnmcn-dagger-test.0.0.5/opam | 43 +++++++++++++++++++ .../prbnmcn-dagger/prbnmcn-dagger.0.0.5/opam | 42 ++++++++++++++++++ 4 files changed, 159 insertions(+) create mode 100644 packages/prbnmcn-dagger-gsl/prbnmcn-dagger-gsl.0.0.5/opam create mode 100644 packages/prbnmcn-dagger-stats/prbnmcn-dagger-stats.0.0.5/opam create mode 100644 packages/prbnmcn-dagger-test/prbnmcn-dagger-test.0.0.5/opam create mode 100644 packages/prbnmcn-dagger/prbnmcn-dagger.0.0.5/opam diff --git a/packages/prbnmcn-dagger-gsl/prbnmcn-dagger-gsl.0.0.5/opam b/packages/prbnmcn-dagger-gsl/prbnmcn-dagger-gsl.0.0.5/opam new file mode 100644 index 000000000000..434df26324fc --- /dev/null +++ b/packages/prbnmcn-dagger-gsl/prbnmcn-dagger-gsl.0.0.5/opam @@ -0,0 +1,36 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: "Probabilistic programming library: GSL-based samplers" +description: "dagger probabilistic programming library: GSL samplers" +maintainer: ["igarnier@protonmail.com"] +authors: ["Ilias Garnier"] +license: "MIT" +homepage: "http://github.com/igarnier/prbnmcn-dagger" +bug-reports: "http://github.com/igarnier/prbnmcn-dagger" +depends: [ + "dune" {>= "2.8"} + "prbnmcn-dagger" {= version} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/igarnier/prbnmcn-dagger" +url { + src: + "https://github.com/igarnier/prbnmcn-dagger/archive/refs/tags/0.0.5.tar.gz" + checksum: [ + "md5=d3d86327b3092678c431b5bc887d9dd6" + "sha512=4a5c781c7e20b10f7f74fa6138901acc3d9c9017a0ff1f003c913d1acbfdcae84156c004283ed656c01f7c2ca23b8cbef3a853cdfb265b64838b89fd9d5024ba" + ] +} diff --git a/packages/prbnmcn-dagger-stats/prbnmcn-dagger-stats.0.0.5/opam b/packages/prbnmcn-dagger-stats/prbnmcn-dagger-stats.0.0.5/opam new file mode 100644 index 000000000000..eaa99091feb9 --- /dev/null +++ b/packages/prbnmcn-dagger-stats/prbnmcn-dagger-stats.0.0.5/opam @@ -0,0 +1,38 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: "Probabilistic programming library: prbnmcn-stats-based samplers" +description: + "dagger probabilistic programming library: prbnmcn-stats samplers" +maintainer: ["igarnier@protonmail.com"] +authors: ["Ilias Garnier"] +license: "MIT" +homepage: "http://github.com/igarnier/prbnmcn-dagger" +bug-reports: "http://github.com/igarnier/prbnmcn-dagger" +depends: [ + "dune" {>= "2.8"} + "prbnmcn-dagger" {= version} + "prbnmcn-stats" {>= "0.0.8"} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/igarnier/prbnmcn-dagger" +url { + src: + "https://github.com/igarnier/prbnmcn-dagger/archive/refs/tags/0.0.5.tar.gz" + checksum: [ + "md5=d3d86327b3092678c431b5bc887d9dd6" + "sha512=4a5c781c7e20b10f7f74fa6138901acc3d9c9017a0ff1f003c913d1acbfdcae84156c004283ed656c01f7c2ca23b8cbef3a853cdfb265b64838b89fd9d5024ba" + ] +} diff --git a/packages/prbnmcn-dagger-test/prbnmcn-dagger-test.0.0.5/opam b/packages/prbnmcn-dagger-test/prbnmcn-dagger-test.0.0.5/opam new file mode 100644 index 000000000000..025eb3bfa29b --- /dev/null +++ b/packages/prbnmcn-dagger-test/prbnmcn-dagger-test.0.0.5/opam @@ -0,0 +1,43 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: "Probabilistic programming library: tests" +description: "dagger probabilistic programming library: tests" +maintainer: ["igarnier@protonmail.com"] +authors: ["Ilias Garnier"] +license: "MIT" +homepage: "http://github.com/igarnier/prbnmcn-dagger" +bug-reports: "http://github.com/igarnier/prbnmcn-dagger" +depends: [ + "dune" {>= "2.8"} + "prbnmcn-dagger" {= version} + "prbnmcn-stats" {>= "0.0.8"} + "qcheck" {>= "0.17"} + "qcheck-alcotest" {>= "0.18.1"} + "prbnmcn-dagger-gsl" {= version} + "prbnmcn-dagger-stats" {= version} + "prbnmcn-gnuplot" {= "0.0.5"} + "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/igarnier/prbnmcn-dagger" +url { + src: + "https://github.com/igarnier/prbnmcn-dagger/archive/refs/tags/0.0.5.tar.gz" + checksum: [ + "md5=d3d86327b3092678c431b5bc887d9dd6" + "sha512=4a5c781c7e20b10f7f74fa6138901acc3d9c9017a0ff1f003c913d1acbfdcae84156c004283ed656c01f7c2ca23b8cbef3a853cdfb265b64838b89fd9d5024ba" + ] +} diff --git a/packages/prbnmcn-dagger/prbnmcn-dagger.0.0.5/opam b/packages/prbnmcn-dagger/prbnmcn-dagger.0.0.5/opam new file mode 100644 index 000000000000..6104b3f668c0 --- /dev/null +++ b/packages/prbnmcn-dagger/prbnmcn-dagger.0.0.5/opam @@ -0,0 +1,42 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: "Probabilistic programming library" +description: """ +A library for probabilistic programming. It takes the form of a signature for a monadic language exposing sampling and scoring primitives together with inference algorithms implementing that signature, including: +- sequential Monte Carlo (SMC) +- single-site lightweight Metropolis-Hastings""" +maintainer: ["igarnier@protonmail.com"] +authors: ["Ilias Garnier"] +license: "MIT" +tags: ["statistics"] +homepage: "http://github.com/igarnier/prbnmcn-dagger" +bug-reports: "http://github.com/igarnier/prbnmcn-dagger" +depends: [ + "dune" {>= "2.8"} + "ocaml" {>= "5.0.0"} + "domainslib" {>= "0.5"} + "prbnmcn-cgrph" {= "0.0.2"} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/igarnier/prbnmcn-dagger" +url { + src: + "https://github.com/igarnier/prbnmcn-dagger/archive/refs/tags/0.0.5.tar.gz" + checksum: [ + "md5=d3d86327b3092678c431b5bc887d9dd6" + "sha512=4a5c781c7e20b10f7f74fa6138901acc3d9c9017a0ff1f003c913d1acbfdcae84156c004283ed656c01f7c2ca23b8cbef3a853cdfb265b64838b89fd9d5024ba" + ] +}