blob: 3cabd8468dacd50c734a02b11a85ae10343def12 (
about) (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
opam-version: "2.0"
name: "mininix"
version: "dev"
authors: "Anonymous Authors"
license: "LICENSE"
depends: [
"astring" {= "0.8.5" & with-doc}
"base" {= "v0.16.3"}
"base-bigarray" {= "base"}
"base-threads" {= "base"}
"base-unix" {= "base"}
"base_bigstring" {= "v0.16.0"}
"base_quickcheck" {= "v0.16.0"}
"bin_prot" {= "v0.16.0"}
"bisect_ppx" {= "2.8.3"}
"camlp-streams" {= "5.0.1" & with-doc}
"cmdliner" {= "1.3.0"}
"conf-bash" {= "1"}
"conf-g++" {= "1.0"}
"conf-gmp" {= "4"}
"conf-linux-libc-dev" {= "0"}
"conf-pkg-config" {= "4"}
"coq" {= "8.20.1"}
"coq-core" {= "8.20.1"}
"coq-flocq" {= "4.2.0"}
"coq-stdlib" {= "8.20.1"}
"coq-stdpp" {= "1.11.0"}
"coqide-server" {= "8.20.1"}
"core" {= "v0.16.2"}
"core_kernel" {= "v0.16.0"}
"core_unix" {= "v0.16.0"}
"cppo" {= "1.8.0" & with-doc}
"crunch" {= "3.3.1" & with-doc}
"csexp" {= "1.5.2"}
"dune" {= "3.17.2"}
"dune-configurator" {= "3.17.2"}
"expect_test_helpers_core" {= "v0.16.0"}
"fieldslib" {= "v0.16.0"}
"fmt" {= "0.9.0" & with-doc}
"fpath" {= "0.7.3" & with-doc}
"int_repr" {= "v0.16.0"}
"jane-street-headers" {= "v0.16.0"}
"jst-config" {= "v0.16.0"}
"linenoise" {= "1.5.1"}
"menhir" {= "20240715"}
"menhirCST" {= "20240715"}
"menhirLib" {= "20240715"}
"menhirSdk" {= "20240715"}
"num" {= "1.5-1"}
"ocaml" {= "4.14.2"}
"ocaml-base-compiler" {= "4.14.2"}
"ocaml-compiler-libs" {= "v0.12.4"}
"ocaml-config" {= "2"}
"ocaml-options-vanilla" {= "1"}
"ocaml_intrinsics" {= "v0.16.1"}
"ocamlbuild" {= "0.15.0" & with-doc}
"ocamlfind" {= "1.9.6"}
"odoc" {= "2.4.4" & with-doc}
"odoc-parser" {= "2.4.4" & with-doc}
"parsexp" {= "v0.16.0"}
"pprint" {= "20230830"}
"ppx_assert" {= "v0.16.0"}
"ppx_base" {= "v0.16.0"}
"ppx_bench" {= "v0.16.0"}
"ppx_bin_prot" {= "v0.16.0"}
"ppx_blob" {= "0.9.0"}
"ppx_cold" {= "v0.16.0"}
"ppx_compare" {= "v0.16.0"}
"ppx_custom_printf" {= "v0.16.0"}
"ppx_derivers" {= "1.2.1"}
"ppx_disable_unused_warnings" {= "v0.16.0"}
"ppx_enumerate" {= "v0.16.0"}
"ppx_expect" {= "v0.16.1"}
"ppx_fields_conv" {= "v0.16.0"}
"ppx_fixed_literal" {= "v0.16.0"}
"ppx_globalize" {= "v0.16.0"}
"ppx_hash" {= "v0.16.0"}
"ppx_here" {= "v0.16.0"}
"ppx_ignore_instrumentation" {= "v0.16.0"}
"ppx_inline_test" {= "v0.16.1"}
"ppx_jane" {= "v0.16.0"}
"ppx_let" {= "v0.16.0"}
"ppx_log" {= "v0.16.0"}
"ppx_module_timer" {= "v0.16.0"}
"ppx_optcomp" {= "v0.16.0"}
"ppx_optional" {= "v0.16.0"}
"ppx_pipebang" {= "v0.16.0"}
"ppx_sexp_conv" {= "v0.16.0"}
"ppx_sexp_message" {= "v0.16.0"}
"ppx_sexp_value" {= "v0.16.0"}
"ppx_stable" {= "v0.16.0"}
"ppx_stable_witness" {= "v0.16.0"}
"ppx_string" {= "v0.16.0"}
"ppx_tydi" {= "v0.16.0"}
"ppx_typerep_conv" {= "v0.16.0"}
"ppx_variants_conv" {= "v0.16.0"}
"ppxlib" {= "0.34.0"}
"ptime" {= "1.2.0" & with-doc}
"re" {= "1.12.0"}
"result" {= "1.5" & with-doc}
"seq" {= "base"}
"sexp_pretty" {= "v0.16.0"}
"sexplib" {= "v0.16.0"}
"sexplib0" {= "v0.16.0"}
"spawn" {= "v0.17.0"}
"splittable_random" {= "v0.16.0"}
"stdio" {= "v0.16.0"}
"stdlib-shims" {= "0.3.0"}
"time_now" {= "v0.16.0"}
"timezone" {= "v0.16.0"}
"topkg" {= "1.0.7" & with-doc}
"typerep" {= "v0.16.0"}
"tyxml" {= "4.6.0" & with-doc}
"uutf" {= "1.0.3" & with-doc}
"variantslib" {= "v0.16.0"}
"zarith" {= "1.14"}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
|
