this repo has no description
Merge pull request #26425 from mbarbin/release-provider-0.0.8
[new release] provider (0.0.9)
authored by
Marcello Seri
and committed by
GitHub
56b5adee
454b3bd9
+41
+41
packages/provider/provider.0.0.9/opam
+41
packages/provider/provider.0.0.9/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Dynamic Dispatch with Traits"
3
+
maintainer: ["Mathieu Barbin"]
4
+
authors: ["Mathieu Barbin"]
5
+
license: "ISC"
6
+
homepage: "https://github.com/mbarbin/provider"
7
+
doc: "https://mbarbin.github.io/provider/"
8
+
bug-reports: "https://github.com/mbarbin/provider/issues"
9
+
depends: [
10
+
"dune" {>= "3.16"}
11
+
"ocaml" {>= "5.2"}
12
+
"ocamlformat" {with-dev-setup & = "0.26.2"}
13
+
"bisect_ppx" {with-dev-setup & >= "2.8.3"}
14
+
"ppx_js_style" {with-dev-setup & >= "v0.17"}
15
+
"sexplib0" {>= "v0.17"}
16
+
"odoc" {with-doc}
17
+
]
18
+
build: [
19
+
["dune" "subst"] {dev}
20
+
[
21
+
"dune"
22
+
"build"
23
+
"-p"
24
+
name
25
+
"-j"
26
+
jobs
27
+
"@install"
28
+
"@runtest" {with-test}
29
+
"@doc" {with-doc}
30
+
]
31
+
]
32
+
dev-repo: "git+https://github.com/mbarbin/provider.git"
33
+
url {
34
+
src:
35
+
"https://github.com/mbarbin/provider/releases/download/0.0.9/provider-0.0.9.tbz"
36
+
checksum: [
37
+
"sha256=47e0af89f54a3c1694fb5a22a78e429303d841b64b761eea04093629c63f9f80"
38
+
"sha512=a905f7ce95b2fc78bf50596c025729a3d144f1bba2efb1f1203d056e3b3a2f46804d0b6a8deaa02e6d541d138b51b8093dbf32a4fd0b933130f3c69ee25e8b07"
39
+
]
40
+
}
41
+
x-commit-hash: "395c07380bb33a247220e4378a3e25d6e7a3f5ab"