Skip to content

Commit d6e0dfc

Browse files
avsmavsm
authored
Merge pull request #24739 from proofbot/opam-publish-learn-ocaml.0.16.0
2 packages from ocaml-sf/learn-ocaml at 0.16.0
2 parents a514da5 + b08b6ce commit d6e0dfc

File tree

2 files changed

+150
-0
lines changed
  • packages
    • learn-ocaml-client/learn-ocaml-client.0.16.0
    • learn-ocaml/learn-ocaml.0.16.0

2 files changed

+150
-0
lines changed

‎packages/learn-ocaml-client/learn-ocaml-client.0.16.0/opam‎

Lines changed: 61 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,61 @@
1+
opam-version: "2.0"
2+
synopsis: "The learn-ocaml client"
3+
description: """\
4+
This contains the binaries to interact with the learn-ocaml
5+
platform from the command line."""
6+
maintainer: [
7+
"Érik Martin-Dorel <[email protected]>"
8+
"Yann Régis-Gianas <[email protected]>"
9+
"Louis Gesbert <[email protected]>"
10+
]
11+
authors: [
12+
"Benjamin Canou (OCamlPro)"
13+
"Çağdaş Bozman (OCamlPro)"
14+
"Grégoire Henry (OCamlPro)"
15+
"Louis Gesbert (OCamlPro)"
16+
"Pierrick Couderc (OCamlPro)"
17+
]
18+
license: "MIT"
19+
homepage: "https://github.com/ocaml-sf/learn-ocaml"
20+
bug-reports: "https://github.com/ocaml-sf/learn-ocaml/issues"
21+
depends: [
22+
"asak" {< "0.4"}
23+
"base64"
24+
"base" {>= "v0.9.4"}
25+
"cmdliner" {>= "1.1.0"}
26+
"cohttp" {>= "2.0.0"}
27+
"cohttp-lwt-unix" {>= "2.0.0"}
28+
"cstruct" {>= "3.3.0"}
29+
"digestif" {>= "0.7.1"}
30+
"dune" {>= "2.3.0"}
31+
"ezjsonm"
32+
"gg"
33+
"ipaddr" {= "2.9.0"}
34+
"lwt" {>= "4.0.0"}
35+
"lwt_ssl"
36+
"ocaml" {(>= "4.12") & (< "4.13~")}
37+
"ocamlfind" {build}
38+
"ocaml-migrate-parsetree" {= "1.8.0"}
39+
"ocp-indent-nlfork"
40+
"ocplib-json-typed" {>= "0.7"}
41+
"ocp-ocamlres" {>= "0.4"}
42+
"omd" {<= "1.3.1"}
43+
"ppxlib"
44+
"ppx_expect"
45+
"ppx_inline_test"
46+
"ppx_fields_conv"
47+
"ppx_sexp_conv"
48+
"ppx_tools"
49+
"ssl" {= "0.5.12"}
50+
"vg"
51+
]
52+
build: ["dune" "build" "@install" "-p" name "-j" jobs]
53+
dev-repo: "git+https://github.com/ocaml-sf/learn-ocaml"
54+
url {
55+
src:
56+
"https://github.com/ocaml-sf/learn-ocaml/archive/refs/tags/v0.16.0.tar.gz"
57+
checksum: [
58+
"md5=23c47ac8ef2a9338cd41795d26566cf4"
59+
"sha512=53d86304f0a6e2df8d372d80030cc1ed56887af6589a39253f53ef1e1a935cb4158c042c83c60c954c8ff70bea75bcdde9e74ee3a11cc6720f5562b9106a6088"
60+
]
61+
}

‎packages/learn-ocaml/learn-ocaml.0.16.0/opam‎

Lines changed: 89 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,89 @@
1+
opam-version: "2.0"
2+
synopsis: "The learn-ocaml online platform (engine)"
3+
description: """\
4+
This contains the binaries forming the engine for the learn-ocaml platform, and
5+
the common files. A demo exercise repository is also provided as example."""
6+
maintainer: [
7+
"Érik Martin-Dorel <[email protected]>"
8+
"Yann Régis-Gianas <[email protected]>"
9+
"Louis Gesbert <[email protected]>"
10+
]
11+
authors: [
12+
"Benjamin Canou (OCamlPro)"
13+
"Çağdaş Bozman (OCamlPro)"
14+
"Grégoire Henry (OCamlPro)"
15+
"Louis Gesbert (OCamlPro)"
16+
"Pierrick Couderc (OCamlPro)"
17+
]
18+
license: "MIT"
19+
homepage: "https://github.com/ocaml-sf/learn-ocaml"
20+
bug-reports: "https://github.com/ocaml-sf/learn-ocaml/issues"
21+
depends: [
22+
"asak" {< "0.4"}
23+
"base64"
24+
"base" {>= "v0.9.4"}
25+
"cmdliner" {>= "1.1.0"}
26+
"cohttp" {>= "2.0.0"}
27+
"cohttp-lwt" {>= "2.0.0"}
28+
"cohttp-lwt-unix" {>= "2.0.0"}
29+
"conf-git"
30+
"decompress" {= "0.8.1"}
31+
"digestif" {>= "0.7.1"}
32+
"dune" {>= "2.3.0"}
33+
"easy-format" {>= "1.3.0"}
34+
"ezjsonm"
35+
"ipaddr" {= "2.9.0"}
36+
"js_of_ocaml" {>= "3.3.0" & != "3.10.0"}
37+
"js_of_ocaml-compiler" {>= "3.3.0"}
38+
"js_of_ocaml-lwt"
39+
"js_of_ocaml-ppx"
40+
"js_of_ocaml-toplevel"
41+
"js_of_ocaml-tyxml"
42+
"lwt" {>= "4.0.0"}
43+
"lwt_react"
44+
"lwt_ssl"
45+
"magic-mime"
46+
"markup"
47+
"markup-lwt"
48+
"ocaml" {(>= "4.12") & (< "4.13~")}
49+
"ocamlfind" {build}
50+
"ocaml-migrate-parsetree" {= "1.8.0"}
51+
"ocp-indent-nlfork"
52+
"ocplib-json-typed" {>= "0.7"}
53+
"ocplib-json-typed-browser" {>= "0.7"}
54+
"ocp-ocamlres" {>= "0.4"}
55+
"odoc" {build}
56+
"omd" {<= "1.3.1"}
57+
"pprint"
58+
"ppxlib"
59+
"ppx_cstruct"
60+
"ppx_expect"
61+
"ppx_inline_test"
62+
"ppx_sexp_conv"
63+
"ppx_tools"
64+
"ppx_tools_versioned"
65+
"re"
66+
"ssl" {= "0.5.12"}
67+
"uutf" {>= "1.0"}
68+
"vg"
69+
"yojson" {>= "1.4.0"}
70+
]
71+
build: [
72+
[make "static"]
73+
["dune" "build" "-p" name "-j" jobs]
74+
[make "detect-libs"] {with-test}
75+
]
76+
run-test: [make "test"]
77+
install: [
78+
["mkdir" "-p" "%{_:share}%"]
79+
["cp" "-r" "demo-repository" "%{_:share}%/repository"]
80+
]
81+
dev-repo: "git+https://github.com/ocaml-sf/learn-ocaml"
82+
url {
83+
src:
84+
"https://github.com/ocaml-sf/learn-ocaml/archive/refs/tags/v0.16.0.tar.gz"
85+
checksum: [
86+
"md5=23c47ac8ef2a9338cd41795d26566cf4"
87+
"sha512=53d86304f0a6e2df8d372d80030cc1ed56887af6589a39253f53ef1e1a935cb4158c042c83c60c954c8ff70bea75bcdde9e74ee3a11cc6720f5562b9106a6088"
88+
]
89+
}

0 commit comments

Comments
 (0)