this repo has no description
Merge pull request #25251 from proofbot/opam-publish-learn-ocaml.1.0.0
2 packages from ocaml-sf/learn-ocaml at 1.0.0
authored by
Marcello Seri
and committed by
GitHub
444cd5f8
478db56c
+156
+64
packages/learn-ocaml-client/learn-ocaml-client.1.0.0/opam
+64
packages/learn-ocaml-client/learn-ocaml-client.1.0.0/opam
···
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 <erik.martin-dorel@irit.fr>"
8
+
"Yann Régis-Gianas <yann.regis-gianas@nomadic-labs.com>"
9
+
"Louis Gesbert <louis.gesbert@ocamlpro.com>"
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.4.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
+
conflicts: [
55
+
"result" {< "1.5"}
56
+
]
57
+
url {
58
+
src:
59
+
"https://github.com/ocaml-sf/learn-ocaml/archive/refs/tags/v1.0.0.tar.gz"
60
+
checksum: [
61
+
"md5=3cca845f51a3e43147e4f2a3f152059b"
62
+
"sha512=71560941bc2696e360be748daeadf94f69ae21893f58374b3cae86b91a9ab98682c886b912598e1e562c46e099c1ee199edc206a444ab8d32ae9ee564b3d1ffb"
63
+
]
64
+
}
+92
packages/learn-ocaml/learn-ocaml.1.0.0/opam
+92
packages/learn-ocaml/learn-ocaml.1.0.0/opam
···
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 <erik.martin-dorel@irit.fr>"
8
+
"Yann Régis-Gianas <yann.regis-gianas@nomadic-labs.com>"
9
+
"Louis Gesbert <louis.gesbert@ocamlpro.com>"
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.4.0"}
33
+
"easy-format" {>= "1.3.0"}
34
+
"ezjsonm" {>= "1.3.0"}
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
+
conflicts: [
83
+
"result" {< "1.5"}
84
+
]
85
+
url {
86
+
src:
87
+
"https://github.com/ocaml-sf/learn-ocaml/archive/refs/tags/v1.0.0.tar.gz"
88
+
checksum: [
89
+
"md5=3cca845f51a3e43147e4f2a3f152059b"
90
+
"sha512=71560941bc2696e360be748daeadf94f69ae21893f58374b3cae86b91a9ab98682c886b912598e1e562c46e099c1ee199edc206a444ab8d32ae9ee564b3d1ffb"
91
+
]
92
+
}