let context = [
  ("conf-blas", "1"); ("conf-bluetooth", "1");
  ("conf-bmake", "1.0"); ("conf-c++", "1.0"); ("conf-clang", "1");
  ("conf-ladspa", "1"); ("conf-lame", "1"); ("conf-cmake", "1");
  ("conf-cpio", "1"); ("conf-emacs", "1"); ("conf-lilv", "1");
  ("conf-binutils", "0.3"); ("conf-dbm", "1.0.0");
  ("conf-env-travis", "1"); ("conf-findutils", "1"); ("conf-g++", "1.0");
  ("conf-gcc", "1.0"); ("conf-ghostscript", "1"); ("conf-git", "1.1");
  ("conf-gmp", "3"); ("conf-gnuplot", "0.1"); ("conf-lapack", "1");
  ("conf-libbz2", "1"); ("conf-libev", "4-12"); ("conf-linux-libc-dev", "0");
  ("conf-llvm", "13.0.0"); ("conf-m4", "1"); ("conf-openblas", "0.2.1");
  ("conf-perl", "1"); ("conf-pkg-config", "2"); ("conf-gmp-powm-sec", "3");
  ("conf-python-2-7", "1.2"); ("conf-python-3", "1.0.0");
  ("conf-rust", "0.1"); ("conf-secp256k1", "1.0.0"); ("conf-snappy", "1");
  ("conf-texlive", "1"); ("conf-which", "1");
  ("conf-alsa", "1"); ("conf-ao", "1"); ("conf-cairo", "1");
  ("conf-ffmpeg", "1"); ("conf-freetype", "1"); ("conf-frei0r", "1");
  ("conf-gd", "1"); ("conf-gles2", "1"); ("conf-glib-2", "1");
  ("conf-gsl", "2"); ("conf-gstreamer", "1"); ("conf-gtk2", "1");
  ("conf-gtk3", "18"); ("conf-gtksourceview3", "0+2");
  ("conf-autoconf", "0.1"); ("conf-graphviz", "0.1"); ("conf-hidapi", "0");
  ("conf-libcurl", "1"); ("conf-libevent", "1"); ("conf-libffi", "2.0.0");
  ("conf-libflac", "1"); ("conf-libfuse", "1"); ("conf-libogg", "1");
  ("conf-libopus", "1"); ("conf-libpcre", "1"); ("conf-libseccomp", "1");
  ("conf-libsodium", "1"); ("conf-libspeex", "1"); ("conf-automake", "1");
  ("conf-libssl", "3"); ("conf-libtheora", "1"); ("conf-libvorbis", "1");
  ("conf-libX11", "1"); ("conf-mpfr", "3"); ("conf-mpi", "1");
  ("conf-libnl3", "1"); ("conf-ncurses", "1"); ("conf-nlopt", "1");
  ("conf-oniguruma", "1"); ("conf-portaudio", "1"); ("conf-pulseaudio", "1");
  ("conf-samplerate", "1"); ("conf-sdl-image", "1"); ("conf-aclocal", "2");
  ("conf-sdl-mixer", "1"); ("conf-sdl-ttf", "1"); ("conf-sdl2", "1");
  ("conf-sdl2-image", "1"); ("conf-sdl2-ttf", "1"); ("conf-soundtouch", "1");
  ("conf-sqlite3", "1"); ("conf-taglib", "1");
  ("conf-tcl", "1");  ("conf-tk", "1");
  ("conf-zlib", "1"); ("conf-zmq", "0.1");
]


let pkgs =[
   ("caml-mode", "4.9");
  ("cmdliner", "1.0.4"); ("coq-native", "1");
  ("afl-persistent", "1.3"); ("bap-emacs-dot", "0.1");
 ("bap-emacs-mode", "0.1"); ("bap-emacs-goodies", "0.1");
 ("bap-signatures", "2.4.0"); ("afl", "2.52b"); ("camlmix", "1.3.0");
 ("camlidl", "1.09");  ("ctypes-foreign", "0.18.0");
 ("libtensorflow", "0.1"); ("dune", "2.9.1");
 ("libtorch", "1.10.0+linux-x86_64"); ("0install-solver", "2.17");
 ("atdgen-codec-runtime", "2.2.1"); ("base64", "3.5.0");
 ("benchmark", "1.6"); ("bencode", "2.0"); ("bentov", "1");
 ("bheap", "2.0.0"); ("bigarray-compat", "1.0.0"); ("bigstring-unix", "0.3");
 ("bimage", "0.5.0"); ("bitv", "1.6"); ("blake2", "0.3"); ("cfg", "2.2.1");
 ("clap", "0.1.0"); ("clim", "0.3.0"); ("cppo", "1.6.8");
 ("jbuilder", "1.0+beta20.2"); ("lablgl", "1.06"); ("ago", "0.4");
 ("bigstringaf", "0.8.0"); ("camlon", "3.0.0"); ("camomile", "1.0.2");
 ("cpuid", "0.1.2"); ("csexp", "1.5.1"); ("cstruct", "6.0.1");
 ("current_incr", "0.5"); ("decoders", "0.6.0"); ("directories", "0.5");
 ("distributed", "0.6.0"); ("domain-name", "0.4.0"); ("dtoa", "0.3.2");
 ("dtools", "0.4.4"); ("dune-build-info", "2.9.1");
 ("dune-private-libs", "2.9.1"); ("duration", "0.2.0");
 ("easy-format", "1.3.2"); ("either", "1.0.0"); ("ezdl", "2.71.10");
 ("fd-send-recv", "2.0.1"); ("flex-array", "1.2.0");
 ("libwasmtime", "0.22.0+linux-x86_64"); ("agrid", "0.1");
 ("biniou", "1.2.1"); ("cpu", "2.0.0"); ("cstruct-unix", "6.0.1");
 ("dune-glob", "2.9.1"); ("dune-site", "2.9.1"); ("eqaf", "0.8");
 ("ez_hash", "0.2.0"); ("ez_subst", "0.2.0"); ("faraday", "0.8.1");
 ("fix", "20211231"); ("gbddml", "2.71.10"); ("gmap", "0.3.0");
 ("graphv_core_lib", "0.1.1"); ("grenier", "0.13"); ("hex", "1.4.0");
 ("hiredis-value", "0.8"); ("ISO8601", "0.2.6"); ("integers", "0.5.1");
 ("interface-prime", "0.1"); ("io-page", "2.4.0");
 ("jane-street-headers", "v0.14.0"); ("kicadsch", "0.9.0");
 ("lambda_streams", "0.1.2"); ("landmarks", "1.4"); ("lwt-dllist", "1.0.1");
 ("macaddr", "5.2.0"); ("make-random", "0.1"); ("magic-mime", "1.2.0");
 ("gluten", "0.2.1"); ("graphv_gles2_native_impl", "0.1.1");
 ("inuit", "0.4.1"); ("gnuplot", "0.7"); ("macaddr-cstruct", "5.2.0");
 ("memtrace", "0.2.1.2"); ("graphv_font", "0.1.1");
 ("graphv_gles2", "0.1.1"); ("menhirSdk", "20211128");
 ("menhirLib", "20211128"); ("merlin-extend", "0.6");
 ("graphv_core", "0.1.1"); ("minicli", "5.0.2"); ("lua-ml", "0.9.3");
 ("mirage-clock", "4.0.0"); ("minisat", "0.4"); ("mirage-no-solo5", "1");
 ("mirage-no-xen", "1"); ("mirage-random", "3.0.0");
 ("mirage-random-test", "0.1.0"); ("mock", "0.1.1"); ("mlbdd", "0.7.2");
 ("mmap", "1.1.0"); ("mperf", "0.1.0"); ("monomorphic", "2.0");
 ("mparser", "1.3"); ("bitwuzla-c", "1.0.1"); ("ocaml-makefile", "6.39.2");
 ("ocaml-twt", "0.94.0"); ("oc45", "1.0.0"); ("ocaml-version", "3.4.0");
 ("ocaml-syntax-shims", "1.0.0"); ("ocaml-compiler-libs", "v0.12.4");
 ("ocaml-migrate-parsetree", "2.3.0"); ("ocb", "0.1");
 ("ocplib_stuff", "0.3.0"); ("ojs", "1.0.9"); ("ocp-indent-nlfork", "1.5.4");
 ("open", "0.2.1"); ("opam-file-format", "2.1.3"); ("optint", "0.1.0");
 ("octavius", "1.2.2"); ("ez_cmdliner", "0.4.0"); ("ez_opam_file", "0.1.0");
 ("owee", "0.4"); ("path_glob", "0.2"); ("pecu", "0.6");
 ("omd", "2.0.0~alpha2"); ("obuild", "0.1.10"); ("menhir", "20211128");
 ("ocamlbuild", "0.14.0"); ("pp", "1.1.2"); ("pprint", "20211129");
 ("ppx_derivers", "1.2.1"); ("openQASM", "0.3.0"); ("bnfgen", "3.0.0");
 ("odate", "0.6"); ("lp", "0.4.0"); ("anders", "0.12.1"); ("pratter", "1.2");
 ("randomconv", "0.1.3"); ("reedsolomon", "0.3"); ("FrontC", "4.1.0");
 ("reparse", "3.1.0"); ("result", "1.5"); ("ringo", "0.5");
 ("charInfo_width", "1.1.0"); ("angstrom", "0.15.0"); ("preface", "0.1.0");
 ("curly", "0.2.0"); ("dispatch", "0.5.0"); ("angstrom-unix", "0.15.0");
 ("linenoise", "1.3.1"); ("owl-base", "1.0.1"); ("httpaf", "0.7.1");
 ("routes", "1.0.0"); ("dune-configurator", "2.9.1"); ("ocamline", "1.2");
 ("rusage", "1.0.0"); ("salsa20-core", "1.1.0"); ("safepass", "3.1");
 ("owl-ode-base", "0.5.0"); ("ao", "0.2.4"); ("hpack", "0.2.0");
 ("faad", "0.5.0"); ("frei0r", "0.1.2"); ("alsa", "0.3.0");
 ("fiat-p256", "0.2.3"); ("graphics", "5.1.2"); ("scad_ml", "1.1.0");
 ("interval_base", "1.5.1"); ("ladspa", "0.2.1"); ("cairo2", "0.6.2");
 ("mirage-clock-unix", "4.0.0"); ("curses", "1.0.10");
 ("ffmpeg-avutil", "1.1.1"); ("gstreamer", "0.3.1"); ("lame", "0.3.5");
 ("interval_intel", "1.5.1"); ("ogg", "0.7.0"); ("oniguruma", "0.1.1");
 ("ott", "0.31"); ("hevea", "2.35"); ("ffmpeg-avfilter", "1.1.1");
 ("ffmpeg-swscale", "1.1.1"); ("flac", "0.3.0"); ("mirage-crypto", "0.10.5");
  ("parmap", "1.2.4"); ("portaudio", "0.2.3");
 ("seq", "base"); ("ffmpeg-avcodec", "1.1.1"); ("opus", "0.2.1");
 ("pulseaudio", "0.1.5"); ("samplerate", "0.1.6"); ("ocamlfind", "1.9.1");
 ("feat-core", "20220101"); ("hkdf", "1.0.4"); ("lwd", "0.1");
 ("oseq", "0.4"); ("pbkdf", "1.2.0"); ("semaphore-compat", "1.0.1");
 ("base-bytes", "base"); ("ffmpeg-av", "1.1.1");
 ("ffmpeg-swresample", "1.1.1"); ("monolith", "20210525"); ("psq", "0.2.0");
 ("sexplib0", "v0.14.0"); ("ansicolor", "0.5"); ("ANSITerminal", "0.8.3");
 ("bigstring", "0.3"); ("bindlib", "5.0.1"); ("aio", "0.0.3");
 ("bdd", "0.3"); ("bjack", "0.1.5"); ("bsdowl", "3.0.0-20150830");
 ("ancient", "0.9.1"); ("calendar", "2.04"); ("camlbz2", "0.7.0");
 ("camlzip", "1.11"); ("cgi", "0.10"); ("checkseum", "0.3.2");
 ("containers", "3.6.1"); ("cppo_ocamlbuild", "1.6.8"); ("crlibm", "0.5.1");
 ("csv", "2.4"); ("dbm", "1.3"); ("easy_logging", "0.8.2");
 ("extlib", "1.7.8"); ("base", "v0.14.2"); ("broken", "0.4.2");
 ("containers-data", "3.6.1"); ("decompress", "1.4.2"); ("dedukti", "2.6.0");
 ("camlpdf", "2.4"); ("cudf", "0.9-1"); ("configuration", "0.4.1");
 ("ctypes", "0.20.0"); ("ffmpeg-avdevice", "1.1.1");
 ("fieldslib", "v0.14.0"); ("functory", "0.6"); ("GuaCaml", "0.03.01");
 ("cf", "0.4"); ("ctypes-build", "0.0.2"); ("ffmpeg", "1.1.1");
 ("gavl", "0.1.6"); ("fsevents", "0.3.0"); ("gd", "1.0a5"); ("gen", "0.5.3");
 ("geoip", "0.0.3"); ("getopt", "20120615"); ("grain_dypgen", "0.2");
 ("gsl", "1.24.3"); ("h2", "0.8.0"); ("hashcons", "1.3");
 ("hidapi", "1.1.1"); ("interval_crlibm", "1.5.1"); ("iter", "1.3");
 ("itv-tree", "2.1"); ("javalib", "3.2.1"); ("js-build-tools", "113.33.04");
 ("json-derivers", "1.0.0"); ("lablgtk", "2.18.12"); ("lablgtk3", "3.1.2");
 ("labltk", "8.06.11"); ("lacaml", "11.0.8"); ("libevent", "0.8.1");
 ("cairo2-gtk", "0.6.2"); ("lilv", "0.1.0"); ("lru", "0.3.0");
 ("lru-cache", "0.3.0"); ("luv", "0.5.10"); ("lymp", "0.2.5");
 ("lablgtk3-sourceview3", "3.1.2"); ("magic", "0.7.3"); ("mccs", "1.1+13");
 ("md2mld", "0.5.1"); ("mesh", "0.9.5"); ("mindstorm", "0.8.1");
 ("minivpt", "2.0.0"); ("mixture", "1.0.0"); ("camlp4", "4.14~alpha-repo");
 ("mlcuddidl", "3.0.7"); ("mlgmpidl", "1.2.14"); ("mpi", "1.05");
 ("msat", "0.9.1"); ("mybuild", "6"); ("nonstd", "0.0.3"); ("npy", "0.0.9");
 ("num", "1.4"); ("ocaml-expat", "1.1.0"); ("ocaml-sat-solvers", "0.4");
 ("lemonade", "0.6.0"); ("lutils", "1.51.2"); ("aez", "0.3");
 ("kaputt", "1.2"); ("ocaml-systemd", "1.2"); ("msgpack", "1.3.0");
 ("ocamlbuild-pkg", "0.2.1"); ("ocamldot", "1.1");
 ("ocamlformat-rpc-lib", "0.20.1"); ("ocamlify", "0.0.1");
 ("getopts", "0.4.0"); ("ocamlmod", "0.0.9"); ("ocamlsdl", "0.9.1");
 ("oclock", "0.4.0"); ("ocp-indent", "1.8.1"); ("ocplib-endian", "1.2");
 ("ocplib-simplex", "0.4"); ("cbor", "0.5"); ("omake", "0.10.3");
 ("crowbar", "0.2"); ("opam-0install-cudf", "0.4.2"); ("parsexp", "v0.14.1");
 ("pcre", "7.5.0"); ("polka", "2.71.10"); ("posix-base", "2.0.0");
 ("posix-math", "0.3.1-0"); ("duppy", "0.9.2"); ("mparser-pcre", "1.3");
 ("posix-time", "1.0.1-0"); ("eigen", "0.3.0"); ("lwt", "5.5.0");
 ("ocaml-inifiles", "1.2"); ("angstrom-lwt-unix", "0.15.0");
 ("cf-lwt", "0.4"); ("cstruct-lwt", "6.0.1"); ("faraday-lwt", "0.8.1");
 ("posix-socket", "2.0.0"); ("posix-types", "2.0.0"); ("pringo", "1.3");
 ("gluten-lwt", "0.2.1"); ("lwt-canceler", "0.3"); ("lwt-watcher", "0.1");
 ("process", "0.2.1"); ("faraday-lwt-unix", "0.8.1");
 ("fsevents-lwt", "0.3.0"); ("lwt_glib", "1.1.1"); ("psmt2-frontend", "0.1");
 ("h2-lwt", "0.8.0"); ("hxd", "0.3.1"); ("lwt_log", "1.1.1");
 ("mirage-time", "3.0.0"); ("pvem", "0.0.1"); ("httpaf-lwt-unix", "0.7.1");
 ("popper", "0.1.1"); ("qbf", "0.3"); ("qcheck-core", "0.18");
 ("re", "1.10.3"); ("res", "5.0.1"); ("resp", "0.11.0");
 ("ringo-lwt", "0.5"); ("rml", "1.09.07"); ("inotify", "2.3");
 ("aifad", "2.2.2"); ("atd", "2.2.1"); ("cinaps", "v0.15.1");
 ("coin", "0.1.4"); ("debian-formats", "0.1.2");
 ("mirage-time-unix", "3.0.0"); ("resource-pooling", "1.2");
 ("rope", "0.6.2"); ("Snowflake", "0.02.02"); ("BetterErrors", "0.0.1");
 ("ez_file", "0.2.0"); ("mparser-re", "1.3"); ("resp-client", "0.11.0");
 ("safa", "1.4"); ("lipsum", "0.2"); ("ez_config", "0.1.1");
 ("resp-server", "0.11.0"); ("scrypt-kdf", "1.2.0");
 ("secp256k1-internal", "0.2.0"); ("semver", "0.1.0"); ("setcore", "1.0.2");
 ("setr", "0.1.1"); ("apron", "v0.9.13"); ("sexplib", "v0.14.0");
 ("smart-print", "0.3.0"); ("smol", "0.0.1"); ("snappy", "0.1.2");
 ("sodium", "0.2.1"); ("cstruct-sexp", "6.0.1");
 ("solo5-bindings-xen", "0.6.9"); ("apronext", "1.0.4"); ("docout", "0.0.1");
 ("sosa", "0.3.0"); ("picasso", "0.3.0"); ("soundtouch", "0.1.9");
 ("spawn", "v0.15.0"); ("speex", "0.4.1"); ("spelll", "0.3");
 ("sqlite3", "5.1.0"); ("srt", "0.2.1"); ("ssl", "0.5.10");
 ("stb_image", "0.5"); ("lwt_ssl", "1.1.3"); ("stb_image_write", "0.2");
 ("cry", "0.6.5"); ("stb_truetype", "0.6"); ("stdint", "0.7.0");
 ("stdio", "v0.14.0"); ("stdlib-shims", "0.3.0"); ("stringext", "1.6.0");
 ("sturgeon", "0.4.2"); ("sys-socket", "1.0.0"); ("taglib", "0.3.8");
 ("terminal_size", "0.1.4"); ("text", "0.8.1"); ("absolute", "0.1");
 ("graphv_font_stb_truetype", "0.1.1"); ("nice_parser", "1.0.0");
 ("oasis", "0.4.11"); ("bitstring", "4.1.0"); ("camlimages", "5.0.4");
 ("conex", "0.11.1"); ("diet", "0.4"); ("digestif", "1.1.0");
 ("fileutils", "0.6.3"); ("graphv_gles2_native", "0.1.1");
 ("ipaddr", "5.2.0"); ("textmate-language", "0.3.1"); ("textwrap", "0.2");
 ("mpp", "0.3.5"); ("ocaml-protoc", "2.0.2"); ("ounit2", "2.2.4");
 ("tezos-hacl-glue", "11.0"); ("tezos-lwt-result-stdlib", "11.0");
 ("tezos-protocol-environment-packer", "11.0"); ("tezos-rust-libs", "1.1");
 ("theora", "0.4.0"); ("tidy_email", "0.0.1"); ("timed", "1.0");
 ("ocamlgraph", "2.0.0"); ("tiny_httpd", "0.11"); ("tiny_json", "1.1.6");
 ("tip-parser", "0.6"); ("toml", "5.0.0"); ("tophide", "1.0.4");
 ("advi", "2.0.0"); ("camllib", "1.3.3"); ("aliases", "0.0.5");
 ("bap-relation", "2.4.0"); ("dose3", "7.0.0"); ("drom_lib", "0.2.0");
 ("earley", "3.0.0"); ("gettext", "0.4.2"); ("humane-re", "0.1.1");
 ("DAGaml", "0.02"); ("ipaddr-cstruct", "5.2.0"); ("mm", "0.7.2");
 ("nlopt-ocaml", "0.5.1"); ("opam-core", "2.1.2"); ("ounit", "2.2.4");
 ("ounit2-lwt", "2.2.4"); ("ppxlib", "0.24.0"); ("ptmap", "2.0.5");
 ("qcheck-ounit", "0.18"); ("sha", "1.15.1"); ("testu01", "1.2.3-0.2");
 ("tezos-protocol-environment-sigs", "11.0"); ("tiny_httpd_camlzip", "0.11");
 ("topkg", "1.0.4"); ("trie", "1.0.0"); ("tsort", "2.1.0");
 ("tuntap", "2.0.0"); ("type_conv", "113.00.02"); ("mock-ounit", "0.1.1");
 ("typerep", "v0.14.0"); ("tyre", "0.5"); ("uchar", "0.0.2");
 ("uecc", "0.3"); ("uint", "2.0.1"); ("unionFind", "20220109");
 ("unix-errno", "0.6.1"); ("uri", "4.2.0"); ("uuuu", "0.3.0");
 ("variantslib", "v0.14.0"); ("vec", "0.3.0"); ("vector", "1.0.0");
 ("vector3", "0.2.1"); ("asetmap", "0.8.1"); ("gen_js_api", "1.0.9");
 ("logs-ppx", "0.2.0"); ("vorbis", "0.8.0"); ("webtest", "2.0.0");
 ("win-error", "1.0"); ("wtf8", "1.0.2"); ("xml-light", "2.4");
 ("astring", "0.8.5"); ("bisect_ppx", "2.7.0"); ("fmt", "0.9.0");
 ("hmap", "0.8.1"); ("lwt_ppx", "2.0.3"); ("OCanren-ppx", "0.2.0");
 ("ocaml-xdg-basedir", "0.0.3"); ("gg", "0.9.3");
 ("json-data-encoding", "0.10"); ("mew", "0.1.0"); ("note", "0.0.1");
 ("ocplib-json-typed", "0.7.1"); ("opam-format", "2.1.2"); ("yajl", "0.7.3");
 ("archi", "0.1.0"); ("art", "0.1.1"); ("bastet", "2.0.0");
 ("bechamel", "0.1.0"); ("bisect_ppx-ocamlbuild", "1.0.1");
 ("callipyge", "0.2"); ("cmdtui", "0.4.3"); ("color", "0.2.0");
 ("dolmen", "0.6"); ("duff", "0.4"); ("encore", "0.8"); ("extunix", "0.3.2");
 ("fpath", "0.7.3"); ("functoria-runtime", "3.0.3");
 ("graphql_parser", "0.13.0"); ("json-data-encoding-bson", "0.10");
 ("ke", "0.4"); ("metrics", "0.3.0"); ("mirage-block", "3.0.0");
 ("mirage-device", "2.0.0"); ("mirage-flow", "3.0.0");
 ("mirage-kv", "4.0.0"); ("mirage-net", "4.0.0");
 ("multipart-form-data", "0.3.0"); ("ocaml-monadic", "0.5");
 ("ocb-stubblr", "0.1.1-1"); ("ocp-ocamlres", "0.4"); ("archi-lwt", "0.1.0");
 ("metrics-influx", "0.3.0"); ("ocplib-json-typed-bson", "0.7.1");
 ("ocsipersist-lib", "1.0.3"); ("odoc-parser", "1.0.0");
 ("parse-argv", "0.2.0"); ("posix-getopt", "2.0.0");
 ("posix-socket-unix", "2.0.0"); ("posix-time2", "2.0.0");
 ("posix-uname", "2.0.0"); ("ppx-owl-opt", "0.0.1"); ("yojson", "1.7.0");
 ("yuscii", "0.3.0"); ("zarith", "1.12"); ("dokeysto", "4.0.0");
 ("mirage-console", "5.0.0"); ("mirage-fs", "4.0.0");
 ("opam-installer", "2.1.2"); ("opam-repository", "2.1.2");
 ("zarith_stubs_js", "v0.14.1"); ("zelus", "2.2"); ("zmq", "5.1.4");
 ("ppx_blob", "0.7.2"); ("atdgen-runtime", "2.2.1");
 ("avro-compiler", "0.1"); ("mirage-bootvar-unix", "0.1.0");
 ("dot-merlin-reader", "4.1"); ("ppx_bitstring", "4.1.0");
 ("bitwuzla", "1.0.1"); ("ff-sig", "0.6.2"); ("atdgen", "2.2.1");
 ("bls12-381", "1.1.0"); ("cryptokit", "1.16.1"); ("bls12-381-gen", "0.5.0");
 ("b0", "0.0.3"); ("hacl", "0.3"); ("bls12-381-unix", "1.1.0");
 ("mirage-console-unix", "5.0.0"); ("bitvec", "2.4.0");
 ("github-data", "4.4.0"); ("mirage-fs-unix", "1.7.0"); ("ocf", "0.8.0");
 ("pandoc", "0.1.0"); ("ppx_cold", "v0.14.0");
 ("js_of_ocaml-compiler", "3.12.0~alpha-repo"); ("ppx_compare", "v0.14.0");
 ("bigarray-overlap", "0.2.0"); ("opam-state", "2.1.2");
 ("ocf_ppx", "0.8.0"); ("llvm", "13.0.0"); ("ppx_conv_func", "v0.14.0");
 ("ppx_cstruct", "6.0.1"); ("ppx_deriving_encoding", "0.2.3");
 ("hacl-star-raw", "0.4.4"); ("alt-ergo-free", "2.2.0");
 ("bitvec-sexp", "2.4.0"); ("hacl-star", "0.4.4");
 ("js_of_ocaml", "3.12.0~alpha-repo"); ("merlin", "4.4.1~4.14preview");
 ("mirage-profile", "0.9.1"); ("ocamlnet", "4.1.9-2"); ("ocurl", "0.9.2");
 ("owl", "1.0.1"); ("ppx_deriving", "5.2.1"); ("ppx_distr_guards", "0.3");
 ("ppx_enumerate", "v0.14.0"); ("ppx_fields_conv", "v0.14.2");
 ("ppx_fixed_literal", "v0.14.0"); ("ppx_gen_rec", "2.0.0");
 ("ppx_getenv", "2.1"); ("ppx_here", "v0.14.0"); ("ppx_js_style", "v0.14.1");
 ("ppx_let", "v0.14.0"); ("ppx_make", "0.3.0"); ("ppx_optcomp", "v0.14.3");
 ("ppx_optional", "v0.14.0"); ("ppx_pipebang", "v0.14.0");
 ("ppx_protocol_conv", "5.2.0"); ("ppx_sexp_conv", "v0.14.3");
 ("ppx_stable", "v0.14.1"); ("ppx_typerep_conv", "v0.14.2");
 ("ppx_variants_conv", "v0.14.2"); ("ppx_yojson", "1.1.0");
 ("ppx_yojson_conv_lib", "v0.14.0"); ("ppxx", "2.5.0");
 ("prbnmcn-basic-structures", "0.0.1"); ("prettym", "0.0.2");
 ("prometheus", "1.1"); ("qcheck", "0.18"); ("rawlink", "1.0");
 ("react", "1.2.1"); ("records", "0.8.0"); ("resto", "0.6.1");
 ("rock", "0.20.0"); ("rosetta", "0.3.0"); ("rresult", "0.7.0");
 ("sattools", "0.1.0"); ("sedlex", "2.5"); ("shared-memory-ring", "3.1.0");
 ("solidity-common", "0.2.0"); ("bitvec-order", "2.4.0");
 ("alg_structs", "0.1.3"); ("devkit", "1.20210517"); ("dockerfile", "7.1.0");
 ("ezcurl", "0.2.1"); ("ezgzip", "0.2.3"); ("gapi-ocaml", "0.4.2");
 ("graphql", "0.13.0"); ("ipaddr-sexp", "5.2.0");
 ("js_of_ocaml-ppx", "3.12.0~alpha-repo");
 ("json-wheel", "1.0.6+safe-string"); ("jsonrpc", "1.5.0");
 ("jwto", "0.4.0"); ("kqueue", "0.2.0"); ("lascar", "0.7.0");
 ("lazy-trie", "1.2.0"); ("ldap", "2.4.2"); ("ledgerwallet", "0.1.0");
 ("lem", "2020-06-03"); ("graphql-lwt", "0.13.0");
 ("ledgerwallet-tezos", "0.1.0"); ("logs", "0.7.0"); ("lwt_react", "1.1.5");
 ("macaddr-sexp", "5.2.0"); ("mew_vi", "0.5.0"); ("mtime", "1.3.0");
 ("not-ocamlfind", "0.08"); ("dockerfile-opam", "7.1.0");
 ("obuilder-spec", "0.3"); ("owl-ode", "0.5.0"); ("owl-opt", "0.0.1");
 ("pgocaml", "4.3.0"); ("posixat", "v0.14.0"); ("ppx_assert", "v0.14.0");
 ("ppx_custom_printf", "v0.14.1"); ("ppx_deriving_popper", "0.1.1");
 ("ppx_deriving_protobuf", "3.0.0");
 ("ppx_protocol_conv_xml_light", "5.2.0"); ("ptime", "0.8.6");
 ("stdcompat", "17"); ("asl", "0.11"); ("ppx_deriving_yojson", "3.6.1");
 ("ppx_hash", "v0.14.0"); ("ppx_pattern_bind", "v0.14.0");
 ("ppx_sexp_message", "v0.14.1"); ("ppx_sexp_value", "v0.14.0");
 ("ppx_string_interpolation", "1.0.1"); ("swagger", "0.2.0");
 ("tar", "2.0.0"); ("tezos-base58", "1.0.0");
 ("tezos-hacl-glue-unix", "11.0"); ("tgls", "0.8.5");
 ("topkg-jbuilder", "0.2.0"); ("tsdl", "0.9.8"); ("tuareg", "2.2.0");
 ("unisim_archisec", "0.0.0"); ("unix-type-representations", "0.1.1");
 ("uuidm", "0.9.7"); ("uutf", "1.0.2"); ("vecosek-scene", "0.0.0");
 ("wall", "0.4.1"); ("wamp", "1.2"); ("wseg", "0.3.0"); ("wtr", "3.0.0");
 ("xenstore", "2.1.1"); ("xmlm", "1.3.0"); ("zmq-lwt", "5.1.4");
 ("beluga", "1.0"); ("js_of_ocaml-lwt", "3.12.0~alpha-repo");
 ("acgtk", "1.5.3"); ("alcotest", "1.5.0"); ("asn1-combinators", "0.2.6");
 ("bin_prot", "v0.14.0"); ("bos", "0.2.1"); ("caqti", "1.6.0");
 ("conduit", "5.0.0"); ("conformist", "0.7.0"); ("cookie", "0.1.8");
 ("craml", "1.0.0"); ("crunch", "3.2.0"); ("datakit-server", "1.0.0");
 ("dirsp-proscript", "0.1.0"); ("dns", "6.1.4"); ("emile", "1.1");
 ("conan", "0.0.1"); ("dolmen_type", "0.6"); ("alcotest-lwt", "1.5.0");
 ("alcotest-mirage", "1.5.0"); ("caqti-driver-sqlite3", "1.6.0");
 ("camltc", "0.9.8"); ("caqti-dynload", "1.3.0"); ("caqti-lwt", "1.6.0");
 ("caqti-type-calendar", "1.2.0"); ("colombe", "0.6.0");
 ("daypack-lib", "0.0.6"); ("carton", "0.4.3"); ("conduit-lwt", "5.0.0");
 ("dns-tsig", "6.1.4"); ("dirsp-exchange-kbb2017", "0.1.0");
 ("dokeysto_camltc", "4.0.0"); ("ezxmlm", "1.1.0"); ("conan-unix", "0.0.1");
 ("ethernet", "3.0.0"); ("dolmen_loop", "0.6"); ("carton-lwt", "0.4.3");
 ("ff-pbt", "0.6.2"); ("current", "0.5"); ("functoria", "3.1.1");
 ("bap-recipe", "2.4.0"); ("amqp-client", "2.2.2"); ("arp", "3.0.0");
 ("aws", "1.2"); ("carton-git", "0.4.3"); ("happy-eyeballs", "0.1.2");
 ("i3ipc", "0.4"); ("icalendar", "0.1.5"); ("irc-client", "0.7.0");
 ("irmin-watcher", "0.5.0"); ("jsonm", "1.0.1"); ("jst-config", "v0.14.1");
 ("key-parsers", "1.4.0"); ("lwt-exit", "1.0"); ("metrics-lwt", "0.3.0");
 ("metrics-rusage", "0.3.0"); ("metrics-unix", "0.3.0");
 ("mirage-channel", "4.0.1"); ("markup", "1.0.2"); ("mimic", "0.0.4");
 ("mirage-crypto-rng", "0.10.5"); ("mirage-flow-combinators", "3.0.0");
 ("mirage-flow-unix", "3.0.0"); ("mirage-kv-mem", "3.0.0");
 ("mirage-logs", "1.2.0"); ("mirage-net-unix", "2.8.0");
 ("ezjsonm", "1.3.0"); ("irc-client-lwt", "0.7.0");
 ("irc-client-lwt-ssl", "0.7.0"); ("lambdasoup", "0.7.3");
 ("markup-lwt", "0.5.0"); ("amqp-client-lwt", "2.2.2");
 ("current_git", "0.5"); ("mirage-runtime", "3.10.8");
 ("mirage-vnetif", "0.5.0"); ("cow", "2.4.0");
 ("mirage-crypto-pk", "0.10.5"); ("mustache", "3.1.0");
 ("data-encoding", "0.4"); ("mirage-unix", "4.0.1");
 ("mirage-entropy", "0.5.1"); ("lsp", "1.5.0"); ("git", "3.7.0");
 ("pg_query", "0.9.7"); ("mirage", "3.10.8"); ("ocamlrss", "2.2.2");
 ("linol", "0.4"); ("mirage-crypto-ec", "0.10.5"); ("otfm", "0.4.0");
 ("otoml", "1.0.1"); ("pds", "5.38"); ("obus", "1.2.3");
 ("pgocaml_ppx", "4.3.0"); ("pgx", "2.0"); ("plist-xml", "0.3.0");
 ("ppx_base", "v0.14.0"); ("ppx_bin_prot", "v0.14.0");
 ("ppx_inline_alcotest", "1.0.0"); ("ppx_rapper", "3.0.0");
 ("dirsp-proscript-mirage", "0.1.0"); ("ppx_show", "0.2.1");
 ("ppx_test", "1.8.0"); ("ppx_yojson_conv", "v0.14.0");
 ("prbnmcn-linalg", "0.0.1"); ("pkcs11", "1.0.1");
 ("prbnmcn-proptest", "0.0.1"); ("pyml", "20211015");
 ("merlin-of-pds", "1.4"); ("mpris", "0.2.0"); ("pgx_lwt", "2.0");
 ("ppx_string", "v0.14.1"); ("qcheck-alcotest", "0.18"); ("qtest", "2.11.2");
 ("reactiveData", "0.2.2"); ("redirect", "0.2.1"); ("redis", "0.5");
 ("resto-acl", "0.6.1"); ("np", "np1.19-0.3.1");
 ("resto-directory", "0.6.1"); ("0install", "2.17"); ("pgx_lwt_unix", "2.0");
 ("rpclib", "8.1.1"); ("pkcs11-driver", "1.0.1"); ("repr", "0.5.0");
 ("lua_pattern", "1.7"); ("ocamlcodoc", "1.0.1");
 ("ppx_deriving_rpc", "8.1.1"); ("redis-lwt", "0.5"); ("revops", "2.5");
 ("ppx_repr", "0.5.0"); ("rpclib-lwt", "8.1.1"); ("rss", "3.0");
 ("session", "0.5.0"); ("sexp_pretty", "v0.14.0");
 ("shared-memory-ring-lwt", "3.1.0"); ("smol-helpers", "0.0.1");
 ("shexp", "v0.14.0"); ("0install-gtk", "2.17"); ("rpc", "8.1.1");
 ("scipy", "sp1.5-0.3.1"); ("crc", "2.1.0"); ("syslog-message", "1.1.0");
 ("nocrypto", "0.5.4-2"); ("tcpip", "7.0.1"); ("ppx_irmin", "2.10.0");
 ("session-cookie", "0.1.8"); ("session-redis-lwt", "0.5.0");
 ("sklearn", "sk0.23-0.3.1"); ("syndic", "1.6.1"); ("tar-unix", "2.0.0");
 ("solidity-parser", "0.2.0"); ("conan-database", "0.0.1");
 ("dns-mirage", "6.1.4"); ("mirage-protocols", "8.0.0");
 ("mirage-stack", "4.0.0"); ("time_now", "v0.14.0"); ("charrua", "1.5.0");
 ("timedesc", "0.5.1"); ("tsdl-image", "0.3.2"); ("obuilder", "0.3");
 ("tsdl-ttf", "0.3.2"); ("tezos-test-helpers", "11.0"); ("unstrctrd", "0.3");
 ("tyxml", "4.5.0"); ("dns-server", "6.1.4"); ("tyxml-syntax", "4.5.0");
 ("tezos-lmdb", "7.4"); ("charrua-server", "1.5.0");
 ("mirage-types", "3.10.8"); ("ppx_inline_test", "v0.14.1");
 ("ppx_module_timer", "v0.14.0"); ("timere", "0.6.0");
 ("current_ansi", "0.4"); ("mrmime", "0.5.0"); ("junit", "2.0.2");
 ("multipart_form", "0.3.0"); ("opium", "0.20.0");
 ("mirage-types-lwt", "3.10.8"); ("fmlib", "0.4.0");
 ("ppx_bench", "v0.14.1"); ("ppx_expect", "v0.14.2"); ("odoc", "2.0.2");
 ("timere-parse", "0.0.5"); ("junit_alcotest", "2.0.2");
 ("solidity-typechecker", "0.2.0"); ("feather", "0.3.0");
 ("fmlib_std", "0.4.0"); ("influxdb", "0.3.0");
 ("ppx_protocol_conv_json", "5.2.0"); ("splittable_random", "v0.14.0");
 ("tyxml-jsx", "4.5.0"); ("tyxml-ppx", "4.5.0"); ("uri-sexp", "4.2.0");
 ("uucd", "14.0.0"); ("vhd-format", "0.12.2"); ("visitors", "20210608");
 ("webbrowser", "0.6.1"); ("tezos-stdlib", "11.0");
 ("vecosek-engine", "0.0.0"); ("x509", "0.15.2"); ("aws-s3", "4.5.1");
 ("win-eventlog", "0.4"); ("base_quickcheck", "v0.14.1");
 ("cohttp", "5.0.0"); ("ca-certs", "0.2.2"); ("uunf", "14.0.0");
 ("dns-certify", "6.1.4"); ("xapi-backtrace", "0.7");
 ("ca-certs-nss", "3.74"); ("azblob", "0.1.0");
 ("tezos-error-monad", "11.0"); ("jose", "0.6.0"); ("letsencrypt", "0.4.1");
 ("webidl", "1.4"); ("awa", "0.0.5"); ("cohttp-lwt", "5.0.0");
 ("iri", "0.6.0"); ("irmin", "2.10.0"); ("letsencrypt-dns", "0.4.1");
 ("morbig", "0.10.3"); ("ppx_bap", "v0.14.0"); ("ppx_jane", "v0.14.0");
 ("session-cohttp", "0.5.0"); ("webmachine", "0.7.0"); ("websocket", "2.14");
 ("xapi-rrd", "1.8.2"); ("xapi-stdext-pervasives", "4.16.0");
 ("xapi-stdext-std", "4.16.0"); ("awa-mirage", "0.0.5");
 ("tezos-event-logging", "11.0"); ("clz", "0.1.0");
 ("base_bigstring", "v0.14.0"); ("linksem", "0.7");
 ("cohttp-lwt-jsoo", "5.0.0"); ("higher_kinded", "v0.14.1"); ("idds", "0.2");
 ("irmin-fs", "2.10.0"); ("tls", "0.15.2"); ("tezos-micheline", "11.0");
 ("tezos-rpc", "11.0"); ("irmin-mirage", "2.10.0");
 ("resto-cohttp", "0.6.1"); ("opium_kernel", "0.18.0");
 ("irmin-layers", "2.10.0"); ("resto-cohttp-client", "0.6.1");
 ("conduit-lwt-unix", "5.0.0"); ("dropbox", "0.2"); ("github", "4.4.0");
 ("sendmail", "0.6.0"); ("gitlab", "0.1.0"); ("accessor", "v0.14.1");
 ("session-cohttp-lwt", "0.5.0"); ("session-webmachine", "0.5.0");
 ("github-hooks", "0.5.0"); ("letters", "0.3.0"); ("sendmail-lwt", "0.6.0");
 ("bitvec-binprot", "2.4.0"); ("cohttp-lwt-unix", "5.0.0");
 ("irmin-test", "2.10.0"); ("ppx_accessor", "v0.14.3");
 ("sexp_select", "v0.14.0"); ("tls-mirage", "0.15.2");
 ("xapi-stdext-unix", "4.16.0"); ("xenstore_transport", "1.3.0");
 ("xmldiff", "0.7.0"); ("xmlplaylist", "0.1.5"); ("z3", "4.8.11");
 ("github-unix", "4.4.0"); ("irmin-git", "2.10.0"); ("tezos-crypto", "11.0");
 ("tezos-event-logging-test-helpers", "11.0"); ("tezos-stdlib-unix", "11.0");
 ("topological_sort", "v0.14.0"); ("xtmpl", "0.19.0"); ("zed", "3.1.0");
 ("uucp", "14.0.0"); ("accessor_base", "v0.14.1"); ("dns-client", "6.1.4");
 ("dns-resolver", "6.1.4"); ("lastfm", "0.3.3");
 ("spotify-web-api", "0.2.1"); ("paf", "0.0.8"); ("vchan", "6.0.0");
 ("github-hooks-unix", "0.5.0"); ("opam-publish", "2.1.0");
 ("dkim", "0.3.1"); ("happy-eyeballs-lwt", "0.1.2");
 ("publish", "0.3.4+transition"); ("jingoo", "1.4.4");
 ("happy-eyeballs-mirage", "0.1.2"); ("git-paf", "3.7.0");
 ("conduit-mirage", "5.0.0"); ("lambda-term", "3.1.0"); ("why3", "1.4.0");
 ("git-mirage", "3.7.0"); ("hardcaml", "v0.14.2"); ("higlo", "0.8");
 ("http-lwt-client", "0.0.5"); ("printbox", "0.5"); ("spin", "0.8.3");
 ("terminal", "0.2.1"); ("tezos-sapling", "11.0"); ("tezos-clic", "11.0");
 ("core_kernel", "v0.14.2"); ("uuseg", "14.0.0"); ("git-unix", "3.7.0");
 ("albatross", "1.3.1"); ("builder", "0.3.0"); ("progress", "0.2.1");
 ("xtmpl_ppx", "0.19.0"); ("rdf", "0.13.0"); ("cfstream", "1.3.1");
 ("comby-semantic", "1.7.0"); ("bignum", "v0.14.0");
 ("expect_test_helpers_core", "v0.14.0"); ("index", "1.5.0");
 ("tezos-base", "11.0"); ("pgx_value_core", "2.0");
 ("comby-kernel", "1.7.0"); ("patience_diff", "v0.14.0");
 ("protocol_version_header", "v0.14.0"); ("incremental", "v0.14.0");
 ("SZXX", "2.0.0"); ("async_kernel", "v0.14.0"); ("bare", "2.4.0");
 ("async_extra", "v0.14.0"); ("bap-build", "2.4.0");
 ("async_rpc_kernel", "v0.14.0"); ("bap-bundle", "2.4.0");
 ("bap-strings", "2.4.0"); ("incr_map", "v0.14.0");
 ("incr_select", "v0.14.0"); ("logs-async", "1.1");
 ("ocamlformat", "0.20.1"); ("reddit_api_kernel", "0.2.1");
 ("sexp_diff_kernel", "v0.14.0"); ("slug", "1.0.1");
 ("splay_tree", "v0.14.0"); ("textutils_kernel", "v0.14.0");
 ("tezos-p2p-services", "11.0"); ("tezos-rpc-http", "11.0");
 ("tezos-version", "11.0"); ("tezos-workers", "11.0");
 ("timezone", "v0.14.0"); ("toplevel_backend", "v0.14.0");
 ("resource_cache", "v0.14.0"); ("tezos-rpc-http-client", "11.0");
 ("tezos-shell-services", "11.0"); ("text-tags", "2.4.0");
 ("tezos-p2p", "11.0"); ("tezos-rpc-http-client-unix", "11.0");
 ("regular", "2.4.0"); ("tezos-client-base", "11.0");
 ("tezos-shell-services-test-helpers", "11.0"); ("monads", "2.4.0");
 ("tezos-signer-services", "11.0"); ("tezos-signer-backends", "11.0");
 ("tezos-client-commands", "11.0"); ("core", "v0.14.1");
 ("bap-future", "2.4.0"); ("bap-knowledge", "2.4.0"); ("bistro", "0.6.0");
 ("core_extended", "v0.14.0"); ("core_unix", "v0.14.0");
 ("csvfields", "v0.14.0"); ("hack_parallel", "1.0.1"); ("ogre", "2.4.0");
 ("patdiff", "v0.14.0"); ("textutils", "v0.14.0");
 ("ppx_csv_conv", "v0.14.0"); ("async_unix", "v0.14.0");
 ("core_bench", "v0.14.0"); ("cstruct-async", "6.0.1");
 ("alcotest-async", "1.5.0"); ("caqti-async", "1.6.0");
 ("async_sendfile", "v0.14.0"); ("async", "v0.14.0");
 ("archi-async", "0.1.0"); ("angstrom-async", "0.15.0");
 ("faraday-async", "0.8.1"); ("logs-async-reporter", "1.0");
 ("async_find", "v0.14.0"); ("amqp-client-async", "2.2.2");
 ("async_udp", "v0.14.0"); ("conduit-async", "5.0.0");
 ("mirage-crypto-rng-async", "0.10.5"); ("rpclib-async", "8.1.1");
 ("expect_test_helpers_async", "v0.14.0"); ("bap-plugins", "2.4.0");
 ("async_inotify", "v0.14.0"); ("sexp_macro", "v0.14.0");
 ("shuttle", "0.3.1"); ("biocaml", "0.11.1"); ("cohttp-async", "5.0.0");
 ("re2", "v0.14.0"); ("re2_stable", "v0.14.0"); ("websocket-async", "2.14");
 ("ecaml", "v0.14.0"); ("graphlib", "2.4.0"); ("email_message", "v0.14.0");
 ("bap-core-theory", "2.4.0"); ("coq", "8.14.1"); ("bap-main", "2.4.0");
 ("liquidsoap", "2.0.2-1"); ("frama-c", "24.0")]
