this repo has no description
Merge pull request #26098 from yawaramin/release-dream-html-v3.5.2
[new release] dream-html (2 packages) (3.5.2)
authored by
Anil Madhavapeddy
and committed by
GitHub
5d6f1cf0
b56d9b7b
+81
+41
packages/dream-html/dream-html.3.5.2/opam
+41
packages/dream-html/dream-html.3.5.2/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "HTML generator eDSL for Dream"
3
+
description:
4
+
"Write HTML directly in your OCaml source files with editor support."
5
+
maintainer: ["Yawar Amin <yawar.amin@gmail.com>"]
6
+
authors: ["Yawar Amin <yawar.amin@gmail.com>"]
7
+
license: "GPL-3.0-or-later"
8
+
tags: ["org:yawaramin"]
9
+
homepage: "https://github.com/yawaramin/dream-html"
10
+
doc: "https://yawaramin.github.io/dream-html/"
11
+
bug-reports: "https://github.com/yawaramin/dream-html/issues"
12
+
depends: [
13
+
"dune" {>= "2.7"}
14
+
"pure-html" {= version}
15
+
"dream" {>= "1.0.0~alpha3"}
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/yawaramin/dream-html.git"
33
+
url {
34
+
src:
35
+
"https://github.com/yawaramin/dream-html/releases/download/v3.5.2/dream-html-3.5.2.tbz"
36
+
checksum: [
37
+
"sha256=a7326b67750b7658283235f5c2b8483f7633785d0e4e8060f8745353edb925b1"
38
+
"sha512=74c10a8b55b5c90fd1b87cf4ce9ed8af6a514a4d56d874b219207ff75316cbcdebb8aefe6b4fb858d46eaa2374fe289b7ce4885ca17d9e6052b46d4842da43c7"
39
+
]
40
+
}
41
+
x-commit-hash: "c9832418d2216079bf796354e0c1eec97c5007cf"
+40
packages/pure-html/pure-html.3.5.2/opam
+40
packages/pure-html/pure-html.3.5.2/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "HTML generator eDSL"
3
+
description:
4
+
"Write HTML directly in your OCaml source files with editor support."
5
+
maintainer: ["Yawar Amin <yawar.amin@gmail.com>"]
6
+
authors: ["Yawar Amin <yawar.amin@gmail.com>"]
7
+
license: "GPL-3.0-or-later"
8
+
tags: ["org:yawaramin"]
9
+
homepage: "https://github.com/yawaramin/dream-html"
10
+
doc: "https://yawaramin.github.io/dream-html/"
11
+
bug-reports: "https://github.com/yawaramin/dream-html/issues"
12
+
depends: [
13
+
"dune" {>= "2.7"}
14
+
"uri" {>= "4.4.0" & < "5.0.0"}
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://github.com/yawaramin/dream-html.git"
32
+
url {
33
+
src:
34
+
"https://github.com/yawaramin/dream-html/releases/download/v3.5.2/dream-html-3.5.2.tbz"
35
+
checksum: [
36
+
"sha256=a7326b67750b7658283235f5c2b8483f7633785d0e4e8060f8745353edb925b1"
37
+
"sha512=74c10a8b55b5c90fd1b87cf4ce9ed8af6a514a4d56d874b219207ff75316cbcdebb8aefe6b4fb858d46eaa2374fe289b7ce4885ca17d9e6052b46d4842da43c7"
38
+
]
39
+
}
40
+
x-commit-hash: "c9832418d2216079bf796354e0c1eec97c5007cf"