-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathopam.locked
133 lines (133 loc) · 3.67 KB
/
opam.locked
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
132
133
name: "hardcaml_zprize"
synopsis: "Hardware cryptography"
maintainer: ["Hardcamls"]
opam-version: "2.0"
depends: [
"astring" {= "0.8.5"}
"async" {= "v0.15.0"}
"async_kernel" {= "v0.15.0"}
"async_rpc_kernel" {= "v0.15.0"}
"async_unix" {= "v0.15.0"}
"base" {= "v0.15.0"}
"base-bytes" {= "base"}
"base-threads" {= "base"}
"base-unix" {= "base"}
"base_bigstring" {= "v0.15.0"}
"base_quickcheck" {= "v0.15.0"}
"bigarray-compat" {= "1.1.0"}
"bignum" {= "v0.15.0"}
"bin_prot" {= "v0.15.0"}
"camlp-streams" {= "5.0.1"}
"cmdliner" {= "1.1.1"}
"conf-gmp" {= "4"}
"conf-libffi" {= "2.0.0"}
"conf-pkg-config" {= "2"}
"core" {= "v0.15.0"}
"core_kernel" {= "v0.15.0"}
"core_unix" {= "v0.15.0"}
"cppo" {= "1.6.9"}
"csexp" {= "1.5.1"}
"ctypes" {= "0.20.1"}
"ctypes-foreign" {= "0.18.0"}
"dune" {= "3.2.0"}
"dune-build-info" {= "3.2.0"}
"dune-configurator" {= "3.2.0"}
"either" {= "1.0.0"}
"expect_test_helpers_core" {= "v0.15.0"}
"fieldslib" {= "v0.15.0"}
"fix" {= "20220121"}
"fmt" {= "0.9.0"}
"fpath" {= "0.7.3"}
"hardcaml" {= "v0.15.0"}
"hardcaml_circuits" {= "v0.15.0"}
"hardcaml_step_testbench" {= "v0.15.0"}
"hardcaml_verify" {= "v0.15.0"}
"hardcaml_verilator" {= "v0.15.0"}
"hardcaml_waveterm" {= "v0.15.0"}
"hardcaml_xilinx" {= "v0.15.0"}
"int_repr" {= "v0.15.0"}
"integers" {= "0.7.0"}
"jane-street-headers" {= "v0.15.0"}
"jst-config" {= "v0.15.1"}
"lwt" {= "5.5.0"}
"menhir" {= "20220210"}
"menhirLib" {= "20220210"}
"menhirSdk" {= "20220210"}
"mmap" {= "1.2.0"}
"notty" {= "0.2.2"}
"notty_async" {= "v0.15.0"}
"num" {= "1.4"}
"ocaml" {= "4.13.1"}
"ocaml-compiler-libs" {= "v0.12.4"}
"ocaml-version" {= "3.4.0"}
"ocaml_intrinsics" {= "v0.15.2"}
"ocamlbuild" {= "0.14.1"}
"ocamlfind" {= "1.9.3"}
"ocamlformat" {= "0.23.0"}
"ocb-stubblr" {= "0.1.1-1"}
"ocp-indent" {= "1.8.1"}
"ocplib-endian" {= "1.2"}
"odoc" {= "2.1.1"}
"odoc-parser" {= "1.0.1"}
"parsexp" {= "v0.15.0"}
"ppx_assert" {= "v0.15.0"}
"ppx_base" {= "v0.15.0"}
"ppx_bench" {= "v0.15.0"}
"ppx_bin_prot" {= "v0.15.0"}
"ppx_cold" {= "v0.15.0"}
"ppx_compare" {= "v0.15.0"}
"ppx_custom_printf" {= "v0.15.0"}
"ppx_derivers" {= "1.2.1"}
"ppx_deriving_hardcaml" {= "v0.15.0"}
"ppx_disable_unused_warnings" {= "v0.15.0"}
"ppx_enumerate" {= "v0.15.0"}
"ppx_expect" {= "v0.15.0"}
"ppx_fields_conv" {= "v0.15.0"}
"ppx_fixed_literal" {= "v0.15.0"}
"ppx_hash" {= "v0.15.0"}
"ppx_here" {= "v0.15.0"}
"ppx_ignore_instrumentation" {= "v0.15.0"}
"ppx_inline_test" {= "v0.15.0"}
"ppx_jane" {= "v0.15.0"}
"ppx_let" {= "v0.15.0"}
"ppx_log" {= "v0.15.0"}
"ppx_module_timer" {= "v0.15.0"}
"ppx_optcomp" {= "v0.15.0"}
"ppx_optional" {= "v0.15.0"}
"ppx_pipebang" {= "v0.15.0"}
"ppx_sexp_conv" {= "v0.15.1"}
"ppx_sexp_message" {= "v0.15.0"}
"ppx_sexp_value" {= "v0.15.0"}
"ppx_stable" {= "v0.15.0"}
"ppx_string" {= "v0.15.0"}
"ppx_typerep_conv" {= "v0.15.0"}
"ppx_variants_conv" {= "v0.15.0"}
"ppxlib" {= "0.26.0"}
"protocol_version_header" {= "v0.15.0"}
"re" {= "1.10.4"}
"result" {= "1.5"}
"seq" {= "base"}
"sexp_pretty" {= "v0.15.0"}
"sexplib" {= "v0.15.0"}
"sexplib0" {= "v0.15.0"}
"spawn" {= "v0.15.1"}
"splittable_random" {= "v0.15.0"}
"stdio" {= "v0.15.0"}
"stdlib-shims" {= "0.3.0"}
"textutils" {= "v0.15.0"}
"textutils_kernel" {= "v0.15.0"}
"time_now" {= "v0.15.0"}
"timezone" {= "v0.15.0"}
"topkg" {= "1.0.5"}
"topological_sort" {= "v0.15.0"}
"typerep" {= "v0.15.0"}
"tyxml" {= "4.5.0"}
"uchar" {= "0.0.2"}
"uucp" {= "14.0.0"}
"uuseg" {= "14.0.0"}
"uutf" {= "1.0.3"}
"variantslib" {= "v0.15.0"}
"zarith" {= "1.12"}
"zarith_stubs_js" {= "v0.15.0"}
]
version: "dev"