Remove all unnecessary name and version fields

[kit-ty-kate]

I checked and this does not make opam rebuild any installed packages, so this change should be painless for users.

[mseri]

There was some reason for which lwt actually needed the version field in the past. There should be a discussion about it somewhere. Maybe this is what I was referring to: #17185 (so it only affects certain versions, maybe just 4.2.0 and 4.2.1: ocsigen/lwt#690 (comment))

[mseri]

Do you know why this funny failure?

2021-04-06 13:53.14: Job failed: "Assert_failure src/repository/opamDownload.ml:139:2"

[avsm]

That line is

  assert (url.OpamUrl.backend = `http);

in opam trunk -- looks like a real bug as it should never be triggered in opam 2.1 (cc @AltGr @rjbou @dra27)

[rjbou]

Is it reproducible ?

[dra27]

opam-repo-ci is calling OpamDownload.download with the source URL which isn't guaranteed to be downloadable (see here). Various of the camltc packages have git URLs.

It would be easier to do be doing the equivalent of opam source here I think (I can't remember the API). The only change is opam is that arguably (pun intended) it should be an Invalid_arg not an assert.

[kit-ty-kate]

I tried to use the API used by opam source on Sunday, however this is inside the opam-client library which is currently incompatible with opam-repo-ci due to its transitive dependency on extlib (extlib < 1.7.8 and base64 cannot be used in the same project)

[dra27]

Is there any reason not to shell out to opam source directly? The API's not providing much benefit here - the download job shells out to curl (or git!) and the extract job shells out to tar.

[camelus]

Commit: 3dcd52f

Good to see you Madam.

🌩️ opam-lint errors 3dcd52f

• kinetic-client.0.0.1 has errors:

  • error 22: Some fields are present but empty; remove or fill them: "bug_reports"
  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• kinetic-client.0.0.3 has errors:

  • error 22: Some fields are present but empty; remove or fill them: "bug_reports"
  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• omake.0.10.1 has errors:

  • error 34: Field 'available:' contains references to package-local variables. It should only be determined from global configuration variables: "ocaml:native"

• Packages with warnings: ISO8601.0.1.2, ISO8601.0.2.0, ISO8601.0.2.2, ISO8601.0.2.3, ISO8601.0.2.4, ISO8601.0.2.5, KaSim.3.5.150925, KaSim.4.0.0, TCSLib.0.2, TCSLib.0.3, ago.0.1, ago.0.2, ago.0.3, ago.0.4, alt-ergo-free.2.0.0, amqp-client.1.1.0, amqp-client.1.1.1, amqp-client.1.1.2, amqp-client.1.1.3, amqp-client.2.0.0, arakoon.1.8.6, arakoon.1.8.7, ascii85.0.2, ascii85.0.3, ascii85.0.4, atdj.20151001.01.2, atdj.20151001.01, aws-s3-lwt.2.0.0, batteries.2.3.0, batteries.2.3.1, batteries.2.5.2, batteries.2.5.3, batteries.2.6.0, batteries.2.7.0, batteries.2.8.0, benchmark.1.3.1, benchmark.1.4, bisect_ppx.0.1, bisect_ppx.0.2.2, bisect_ppx.0.2.3, bisect_ppx.0.2, bitstring.2.1.0, bitstring.2.1.1, broken.0.4.2, bsbnative.1.9.4, callipyge.0.2, caqti-dynload.0.10.0, caqti-dynload.0.10.1, caqti-dynload.0.10.2, caqti-dynload.0.11.0, caqti-dynload.0.9.0, caqti-type-calendar.0.10.0, caqti-type-calendar.0.10.1, caqti-type-calendar.0.10.2, caqti-type-calendar.0.11.0, caqti-type-calendar.0.9.0, cdrom.0.9.3, cfstream.1.0.0, cfstream.1.1.1, cfstream.1.1.2, cfstream.1.2.0, charrua-core.0.1, charrua-core.0.3, charrua-core.0.4, charrua-core.0.5, clangml.3.9.1.2, clarity.0.1.4, clarity.0.2.0, clarity.0.3.0, clarity.0.3.1, cloudi.1.7.1-rc1, cloudi.1.7.1, codept.0.10.0, codept.0.10.1, codept.0.10.2, codept.0.9.1, cohttp.0.14.0, color.0.2.0, combinat.1.0, combine.0.6, containers.0.10, containers.0.11, containers.0.12, containers.0.13, containers.0.14, containers.0.15, containers.0.8, containers.0.9, coq-serapi.8.7.1+0.4.1, coq-serapi.8.7.1+0.4.12, coq-serapi.8.7.1+0.4.2, coq-serapi.8.7.1+0.4.8, coq-serapi.8.7.1+0.4, coq-serapi.8.7.2+0.4.13, coq-serapi.8.8.0+0.5.1, coq-serapi.8.8.0+0.5.2, coq-serapi.8.8.0+0.5.3, coqide.8.5.3, coqide.8.6.1, coqide.8.6, coqide.8.7.0, cryptohash.0.1.1, cryptohash.0.1, csv.1.3.4, csv.1.4, ctypes.0.4.0, ctypes.0.4.1, ctypes.0.4.2, ctypes.0.5.0, ctypes.0.5.1, dead_code_analyzer.0.9, dokeysto.1.0.1, dokeysto.2.0.0, dokeysto.3.0.0, dokeysto_camltc.3.0.0, dokeysto_lz4.2.0.0, dokeysto_lz4.2.0.1, dokeysto_lz4.3.0.0, dune_watch.0.0.1, dune_watch.0.1.0, faraday.0.1.0, flowtype.0.25.0, flowtype.0.26.0, flowtype.0.72.0, flowtype.0.78.0, flowtype.0.79.0, flowtype.0.79.1, flowtype.0.80.0, frama-c-base.11.0, frama-c-base.12.1, frama-c-base.13.1, frama-c-base.14.0, frama-c-base.15.0, frama-c-e-acsl.0.5, frama-c.13.1, frama-c.14.0, frama-c.15.0, frama-c.16.0, frama-c.17.0, frenetic.3.2.0, frenetic.3.3.0, frenetic.3.4.0, frenetic.3.4.1, fstar.0.9.5.0, fstar.0.9.6.0, fstar.0.9.6.0~alpha1, gammu.0.9.3, gdbprofiler.0.2, gdbprofiler.0.3, gedcom.1.0.0, genspio.0.0.1, gensqlite.0.1, get_line.4.0.0, glical.0.0.1, glical.0.0.2, glical.0.0.3, glical.0.0.4, glical.0.0.5, glical.0.0.7, gpx.1.0.1, gpx.1.0.2, gpx.1.0, gpx.1.1.0, gpx.1.1.1, hevea.2.25, hevea.2.28, hevea.2.29, hidapi.1.0-1, hidapi.1.0, httpaf-async.0.1.0, httpaf-async.0.2.0, httpaf-async.0.4.1, iocaml.0.4.7, ivy.1.3.1, json_decoder.0.1.1, kinetic-client.0.0.4, kinetic-client.0.0.5, kinetic-client.0.0.6, kinetic-client.0.0.9, kremlin.0.9.6.0, lbfgs.0.8.6, lbfgs.0.8.7, lbvs_consent.1.1.2, lbvs_consent.1.1.3, lemonade.0.4.0, lemonade.0.5.0, lemonade.0.6.0, lens.1.0.0, leveldb.1.1.0, leveldb.1.1.1, levenshtein.1.0.0, levenshtein.1.1.0, levenshtein.1.1.1, levenshtein.1.1.2, lipsum.0.2, maildir.0.9.0, mechaml.1.1.0, mesh.0.8.5, meta_conv.1.1.5, minicli.1.0.0, minicli.2.0.0, minicli.3.0.0, minicli.4.0.0, mirage-conduit.2.0.0, mirage-entropy.0.4.0, mirage-nat.1.0.0, mirage-vnetif.0.3.1, monomorphic.1.2, monomorphic.1.3, monomorphic.1.4, mpp.0.3.2, murmur3.0.1, murmur3.0.2, nocrypto.0.2.0, nocrypto.0.2.2, nocrypto.0.3.0, nocrypto.0.3.1, nproc.0.5.1, oc45.1.0.0, ocaml-monadic.0.1.0, ocaml-sat-solvers.0.3, ocaml-sat-solvers.0.4, ocamlbuild-pkg.0.1, ocamlbuild-pkg.0.2.1, ocamlbuild-pkg.0.2, ocamlbuild.0.11.0, ocamlbuild.0.9.0, ocamlbuild.0.9.1, ocamlbuild.0.9.2, ocamlbuild.0.9.3, oclaunch.0.1.3, oclaunch.0.2.1, ocplib-resto.0.1, ocsigen-i18n.1.0.0, ocsigen-i18n.2.0.0, ocsigen-i18n.3.0.0, ocsigen-i18n.3.1.0, ocveralls.0.1.0, ocveralls.0.2.0, ocveralls.0.2.1, ocveralls.0.3.0, ocveralls.0.3.1, ocveralls.0.3.2, ocveralls.0.3.3, ocveralls.0.3.4, odbc.3.0, ollvm.0.99, oloop.0.1.2, omake.0.9.8.7, opamconfig.0.1.0, opamconfig.0.2.0, opamconfig.0.3.0, opamfind.1.0.0, opamfind.1.1.0, opamfind.1.1.1, opamfind.1.1.2, opamfind.1.1.3, opamfind.1.2.0, open.0.2.0, open.0.2.1, openflow.0.7.0, openflow.0.8.0, openflow.0.9.0, openflow.0.9.1, orandforest.1.0.0, ordma.0.0.2, orocksdb.0.1.0, orocksdb.0.2.0, osm_xml.0.0.1, otf.0.1, owebl.0.1, packet.0.4.0, parse-argv.0.0.1, parse-argv.0.0.2, pcap-format.0.4.0, pgsolver.4.1, pla.1.2, pla.1.3, ppx_bitstring.1.0.0, ppx_bitstring.1.0.1, ppx_bitstring.1.1.0, ppx_bitstring.1.2.0, ppx_bitstring.1.3.0, ppx_bitstring.1.3.1, ppx_bitstring.1.3.2, ppx_bitstring.1.3.3, ppx_curried_constr.1.0.0, ppx_dotbracket.1.0.0, ppx_fun.0.0.1, ppx_fun.0.0.2, ppx_fun.0.0.4, ppx_implicits.0.2.0, ppx_implicits.0.3.0, ppx_integer.0.1.0, ppx_jsobject_conv.0.0.1, ppx_jsobject_conv.0.5.0, ppx_meta_conv.2.0.2, ppx_meta_conv.2.1.0, ppx_meta_conv.2.2.0, ppx_meta_conv.2.3.0, ppx_meta_conv.2.4.0, ppx_meta_conv.2.4.1, ppx_meta_conv.2.5.0, ppx_meta_conv.2.5.1, ppx_meta_conv.2.6.0, ppx_meta_conv.2.7.0, ppx_meta_conv.2.8.0, ppx_meta_conv.3.0.0, ppx_monadic.1.0.4, ppx_monadic.1.0.5, ppx_monadic.1.0.6, ppx_monadic.1.1.0, ppx_monadic.2.2.1, ppx_monadic.2.2.2, ppx_monadic.2.3.0, ppx_monoid.0.1, ppx_monoid.0.2, ppx_overload.1.0.0, ppx_overload.1.0.1, ppx_poly_record.1.1.0, ppx_poly_record.1.1.1, ppx_poly_record.1.1.3, ppx_poly_record.1.2.0, ppx_poly_record.1.2.1, ppx_poly_record.1.2.2, ppx_poly_record.1.3.0, ppx_protocol_conv.0.9.0, ppx_protocol_conv.1.0.0, ppx_test.0.0.1, ppx_test.1.0.1, ppx_test.1.1.0, ppx_test.1.2.0, ppx_test.1.2.1, ppx_test.1.3.0, ppx_test.1.3.1, ppx_test.1.4.0, ppx_test.1.4.1, ppx_test.1.4.2, ppx_test.1.5.0, ppx_test.1.5.1, ppx_test.1.5.2, proverif.1.96pl1, proverif.2.01, proverif.2.02, proverif.2.02pl1, proverifdoc.2.01, proverifdoc.2.02, proverifdoc.2.02pl1, qfs.0.5, quest.0.1, rawlink.0.4, rawlink.0.5, rawlink.0.6, rawlink.0.7, rfsm.1.0, riakc_ppx.3.1.0, riakc_ppx.3.1.1, riakc_ppx.3.1.2, rmlbuild.0.11.0-00, rmlbuild.0.14.0-00, safa.1.3, safa.1.4, sedlex.1.99.3, sgf.1.0, sociaml-vcard.0.1.0, sociaml-vcard.0.2.1, spatial_index.0.0.1, spatial_index.0.0.2, spoc.20170724, spotinstall.1.0.0, spotinstall.1.0.1, spotinstall.1.1.0, spotinstall.1.1.1, spotinstall.1.2.0, spotinstall.1.2.1, starterkit.1.0.0, statverif.1.97pl1.1, statverif.1.97pl1, stdcompat.0, stdcompat.1, stdcompat.2, stdcompat.3, stdcompat.4, stdcompat.5, stdcompat.6, stdint.0.5.1, symkat.1.3, symkat.1.4, syndic.1.2, tcx.0.25.0, tls.0.2.0, tls.0.3.0, tls.0.4.0, tls.0.6.0, tls.0.7.0, tls.0.7.1, topology.0.4.0, trakeva.0.0.0, treeprint.1.0.1, treeprint.1.0.2, treeprint.1.0.3, treeprint.2.0.0, treeprint.2.1.0, treeprint.2.1.1, tuareg.2.0.10, tuareg.2.0.9, typpx.1.0.2, typpx.1.1.1, typpx.1.1.2, typpx.1.1.3, typpx.1.2.0, typpx.1.2.1, typpx.1.2.2, typpx.1.3.0, typpx.1.4.0, typpx.1.4.1, typpx.1.4.2, typpx.1.4.3, uwt.0.0.1, uwt.0.0.2, vecosek-engine.0.0.0, vecosek-scene.0.0.0, vecosek.0.0.0, xen-api-client.0.9.10, xen-api-client.0.9.14

• These packages passed lint tests: FrontC.3.4.1, FrontC.3.4, GT.0.3.0, GuaCaml.0.02, Snowflake.0.01, Snowflake.0.02.01, Snowflake.0.02, alba.0.4.0, alg_structs.0.1.3, alg_structs_qcheck.0.1.3, alt-ergo-free.2.2.0, alt-ergo-lib.2.3.0, alt-ergo-lib.2.4.0, alt-ergo-parsers.2.3.0, alt-ergo-parsers.2.4.0, alt-ergo.2.0.0, alt-ergo.2.1.0, alt-ergo.2.2.0, alt-ergo.2.3.0, alt-ergo.2.4.0, altgr-ergo.2.3.0, altgr-ergo.2.4.0, amqp-client-async.2.0.0, amqp-client-lwt.2.0.0, angstrom-async.0.10.0, angstrom-async.0.11.0, angstrom-async.0.11.1, angstrom-async.0.12.1, angstrom-async.0.6.0, angstrom-async.0.7.0, angstrom-async.0.8.0, angstrom-async.0.8.1, angstrom-async.0.9.0, asl.0.11, asl.0.6, asl.0.9, asn1-combinators.0.1.1, aws-s3-async.2.0.0, aws-s3.2.0.0, bap-abi.1.0.0, bap-abi.1.1.0, bap-abi.1.2.0, bap-abi.1.3.0, bap-abi.1.4.0, bap-abi.1.5.0, bap-abi.1.6.0, bap-abi.2.0.0, bap-abi.2.1.0, bap-abi.2.2.0, bap-analyze.2.2.0, bap-api.1.0.0, bap-api.1.1.0, bap-api.1.2.0, bap-api.1.3.0, bap-api.1.4.0, bap-api.1.5.0, bap-api.1.6.0, bap-api.2.0.0, bap-api.2.1.0, bap-api.2.2.0, bap-arm.1.0.0, bap-arm.1.1.0, bap-arm.1.2.0, bap-arm.1.3.0, bap-arm.1.4.0, bap-arm.1.5.0, bap-arm.1.6.0, bap-arm.2.0.0, bap-arm.2.1.0, bap-arm.2.2.0, bap-beagle-strings.2.2.0, bap-beagle.1.2.0, bap-beagle.1.3.0, bap-beagle.1.4.0, bap-beagle.1.5.0, bap-beagle.1.6.0, bap-beagle.2.0.0, bap-beagle.2.1.0, bap-beagle.2.2.0, bap-bil.1.5.0, bap-bil.1.6.0, bap-bil.2.0.0, bap-bil.2.1.0, bap-bil.2.2.0, bap-build.2.0.0, bap-build.2.1.0, bap-build.2.2.0, bap-bundle.2.0.0, bap-bundle.2.1.0, bap-bundle.2.2.0, bap-byteweight-frontend.1.0.0, bap-byteweight-frontend.1.1.0, bap-byteweight-frontend.1.2.0, bap-byteweight-frontend.1.3.0, bap-byteweight-frontend.1.4.0, bap-byteweight-frontend.1.5.0, bap-byteweight-frontend.1.6.0, bap-byteweight-frontend.2.0.0, bap-byteweight-frontend.2.1.0, bap-byteweight-frontend.2.2.0, bap-byteweight.1.0.0, bap-byteweight.1.1.0, bap-byteweight.1.2.0, bap-byteweight.1.3.0, bap-byteweight.1.4.0, bap-byteweight.1.5.0, bap-byteweight.1.6.0, bap-byteweight.2.0.0, bap-byteweight.2.1.0, bap-byteweight.2.2.0, bap-c.1.0.0, bap-c.1.1.0, bap-c.1.2.0, bap-c.1.3.0, bap-c.1.4.0, bap-c.1.5.0, bap-c.1.6.0, bap-c.2.0.0, bap-c.2.1.0, bap-c.2.2.0, bap-cache.1.0.0, bap-cache.1.1.0, bap-cache.1.2.0, bap-cache.1.3.0, bap-cache.1.4.0, bap-cache.1.5.0, bap-cache.1.6.0, bap-cache.2.0.0, bap-cache.2.1.0, bap-cache.2.2.0, bap-callgraph-collator.2.2.0, bap-callsites.1.0.0, bap-callsites.1.1.0, bap-callsites.1.2.0, bap-callsites.1.3.0, bap-callsites.1.4.0, bap-callsites.1.5.0, bap-callsites.1.6.0, bap-callsites.2.0.0, bap-callsites.2.1.0, bap-callsites.2.2.0, bap-constant-tracker.1.5.0, bap-constant-tracker.1.6.0, bap-constant-tracker.2.0.0, bap-constant-tracker.2.1.0, bap-constant-tracker.2.2.0, bap-core-theory.2.0.0, bap-core-theory.2.1.0, bap-core-theory.2.2.0, bap-cxxfilt.1.0.0, bap-cxxfilt.1.1.0, bap-cxxfilt.1.2.0, bap-cxxfilt.1.3.0, bap-cxxfilt.1.4.0, bap-cxxfilt.1.5.0, bap-cxxfilt.1.6.0, bap-cxxfilt.2.0.0, bap-cxxfilt.2.1.0, bap-cxxfilt.2.2.0, bap-dead-code-elimination.1.3.0, bap-dead-code-elimination.1.4.0, bap-demangle.1.0.0, bap-demangle.1.1.0, bap-demangle.1.2.0, bap-demangle.1.3.0, bap-demangle.1.4.0, bap-demangle.1.5.0, bap-demangle.1.6.0, bap-demangle.2.0.0, bap-demangle.2.1.0, bap-demangle.2.2.0, bap-disassemble.2.0.0, bap-disassemble.2.1.0, bap-disassemble.2.2.0, bap-dump-symbols.1.0.0, bap-dump-symbols.1.1.0, bap-dump-symbols.1.2.0, bap-dump-symbols.1.3.0, bap-dump-symbols.1.4.0, bap-dump-symbols.1.5.0, bap-dump-symbols.1.6.0, bap-dump-symbols.2.0.0, bap-dump-symbols.2.1.0, bap-dump-symbols.2.2.0, bap-dwarf.1.0.0, bap-dwarf.1.1.0, bap-dwarf.1.2.0, bap-dwarf.1.3.0, bap-dwarf.1.4.0, bap-dwarf.1.5.0, bap-dwarf.1.6.0, bap-dwarf.2.0.0, bap-dwarf.2.1.0, bap-dwarf.2.2.0, bap-elementary.2.0.0, bap-elementary.2.1.0, bap-elementary.2.2.0, bap-elf.1.0.0, bap-elf.1.1.0, bap-elf.1.2.0, bap-elf.1.3.0, bap-elf.1.5.0, bap-elf.1.6.0, bap-elf.2.0.0, bap-elf.2.1.0, bap-elf.2.2.0, bap-emacs-dot.0.1, bap-emacs-goodies.0.1, bap-emacs-mode.0.1, bap-frames.2.1.0, bap-frames.2.1.1, bap-frames.2.1.2, bap-frontc.1.0.0, bap-frontc.1.1.0, bap-frontc.1.2.0, bap-frontc.1.3.0, bap-frontc.1.4.0, bap-frontc.1.5.0, bap-frontc.1.6.0, bap-frontc.2.0.0, bap-frontc.2.1.0, bap-frontc.2.2.0, bap-frontend.1.0.0, bap-frontend.1.1.0, bap-frontend.1.2.0, bap-frontend.1.3.0, bap-frontend.1.4.0, bap-frontend.1.5.0, bap-frontend.1.6.0, bap-frontend.2.0.0, bap-frontend.2.1.0, bap-frontend.2.2.0, bap-fsi-benchmark.1.0.0, bap-fsi-benchmark.1.1.0, bap-fsi-benchmark.1.2.0, bap-fsi-benchmark.1.3.0, bap-fsi-benchmark.1.4.0, bap-fsi-benchmark.1.5.0, bap-fsi-benchmark.1.6.0, bap-fsi-benchmark.2.2.0, bap-future.1.0.0, bap-future.1.1.0, bap-future.1.2.0, bap-future.1.3.0, bap-future.1.4.0, bap-future.1.5.0, bap-future.1.6.0, bap-future.2.0.0, bap-future.2.1.0, bap-future.2.2.0, bap-glibc-runtime.2.1.0, bap-glibc-runtime.2.2.0, bap-ida-plugin.1.0.0, bap-ida-plugin.1.1.0, bap-ida-plugin.1.2.0, bap-ida-plugin.1.3.0, bap-ida-plugin.1.4.0, bap-ida-plugin.1.5.0, bap-ida-plugin.1.6.0, bap-ida-plugin.2.0.0, bap-ida-plugin.2.1.0, bap-ida-plugin.2.2.0, bap-ida-python.1.0.0, bap-ida-python.1.1.0, bap-ida-python.1.2.0, bap-ida-python.1.3.0, bap-ida-python.1.4.0, bap-ida-python.1.5.0, bap-ida-python.1.6.0, bap-ida-python.2.0.0, bap-ida-python.2.1.0, bap-ida-python.2.2.0, bap-ida.1.0.0, bap-ida.1.1.0, bap-ida.1.2.0, bap-ida.1.3.0, bap-ida.1.4.0, bap-ida.1.5.0, bap-ida.1.6.0, bap-ida.2.0.0, bap-ida.2.1.0, bap-ida.2.2.0, bap-knowledge.2.0.0, bap-knowledge.2.1.0, bap-knowledge.2.2.0, bap-llvm.1.0.0, bap-llvm.1.1.0, bap-llvm.1.2.0, bap-llvm.1.3.0, bap-llvm.1.4.0, bap-llvm.1.5.0, bap-llvm.1.6.0, bap-llvm.2.0.0, bap-llvm.2.1.0, bap-llvm.2.2.0, bap-main.2.0.0, bap-main.2.1.0, bap-main.2.2.0, bap-mc.1.0.0, bap-mc.1.1.0, bap-mc.1.2.0, bap-mc.1.3.0, bap-mc.1.4.0, bap-mc.1.5.0, bap-mc.1.6.0, bap-mc.2.0.0, bap-mc.2.1.0, bap-mc.2.2.0, bap-microx.1.0.0, bap-microx.1.1.0, bap-microx.1.2.0, bap-microx.1.3.0, bap-microx.1.4.0, bap-microx.1.5.0, bap-microx.1.6.0, bap-microx.2.0.0, bap-microx.2.1.0, bap-microx.2.2.0, bap-mips.1.4.0, bap-mips.1.5.0, bap-mips.1.6.0, bap-mips.2.0.0, bap-mips.2.1.0, bap-mips.2.2.0, bap-objdump.1.0.0, bap-objdump.1.1.0, bap-objdump.1.2.0, bap-objdump.1.3.0, bap-objdump.1.4.0, bap-objdump.1.5.0, bap-objdump.1.6.0, bap-objdump.2.0.0, bap-objdump.2.1.0, bap-objdump.2.2.0, bap-optimization.1.5.0, bap-optimization.1.6.0, bap-optimization.2.0.0, bap-optimization.2.1.0, bap-optimization.2.2.0, bap-phoenix.1.0.0, bap-phoenix.1.1.0, bap-phoenix.1.2.0, bap-phoenix.1.3.0, bap-phoenix.1.4.0, bap-phoenix.1.5.0, bap-phoenix.1.6.0, bap-phoenix.2.0.0, bap-phoenix.2.1.0, bap-phoenix.2.2.0, bap-piqi.1.0.0, bap-piqi.1.1.0, bap-piqi.1.2.0, bap-piqi.1.3.0, bap-piqi.1.4.0, bap-piqi.1.5.0, bap-piqi.1.6.0, bap-piqi.2.0.0, bap-piqi.2.1.0, bap-piqi.2.2.0, bap-plugins.2.0.0, bap-plugins.2.1.0, bap-plugins.2.2.0, bap-powerpc.1.4.0, bap-powerpc.1.5.0, bap-powerpc.1.6.0, bap-powerpc.2.0.0, bap-powerpc.2.1.0, bap-powerpc.2.2.0, bap-primus-dictionary.1.4.0, bap-primus-dictionary.1.5.0, bap-primus-dictionary.1.6.0, bap-primus-dictionary.2.0.0, bap-primus-dictionary.2.1.0, bap-primus-dictionary.2.2.0, bap-primus-exploring-scheduler.2.2.0, bap-primus-greedy-scheduler.2.2.0, bap-primus-limit.2.2.0, bap-primus-lisp.1.3.0, bap-primus-lisp.1.4.0, bap-primus-lisp.1.5.0, bap-primus-lisp.1.6.0, bap-primus-lisp.2.0.0, bap-primus-lisp.2.1.0, bap-primus-lisp.2.2.0, bap-primus-loader.2.2.0, bap-primus-mark-visited.2.2.0, bap-primus-powerpc.2.0.0, bap-primus-powerpc.2.1.0, bap-primus-powerpc.2.2.0, bap-primus-print.2.2.0, bap-primus-promiscuous.2.2.0, bap-primus-propagate-taint.2.2.0, bap-primus-random.2.1.0, bap-primus-random.2.2.0, bap-primus-region.1.4.0, bap-primus-region.1.5.0, bap-primus-region.1.6.0, bap-primus-region.2.0.0, bap-primus-region.2.1.0, bap-primus-region.2.2.0, bap-primus-round-robin-scheduler.2.2.0, bap-primus-support.1.3.0, bap-primus-support.1.4.0, bap-primus-support.1.5.0, bap-primus-support.1.6.0, bap-primus-support.2.0.0, bap-primus-support.2.1.0, bap-primus-support.2.2.0, bap-primus-symbolic-executor.2.1.0, bap-primus-symbolic-executor.2.2.0, bap-primus-systems.2.1.0, bap-primus-systems.2.2.0, bap-primus-taint.2.2.0, bap-primus-test.1.4.0, bap-primus-test.1.5.0, bap-primus-test.1.6.0, bap-primus-test.2.0.0, bap-primus-test.2.1.0, bap-primus-test.2.2.0, bap-primus-track-visited.2.2.0, bap-primus-wandering-scheduler.2.2.0, bap-primus-x86.1.3.0, bap-primus-x86.1.4.0, bap-primus-x86.1.5.0, bap-primus-x86.1.6.0, bap-primus-x86.2.0.0, bap-primus-x86.2.1.0, bap-primus-x86.2.2.0, bap-primus.1.3.0, bap-primus.1.4.0, bap-primus.1.5.0, bap-primus.1.6.0, bap-primus.2.0.0, bap-primus.2.1.0, bap-primus.2.2.0, bap-print.1.0.0, bap-print.1.1.0, bap-print.1.2.0, bap-print.1.3.0, bap-print.1.4.0, bap-print.1.5.0, bap-print.1.6.0, bap-print.2.0.0, bap-print.2.1.0, bap-print.2.2.0, bap-radare2.2.2.0, bap-raw.2.0.0, bap-raw.2.1.0, bap-raw.2.2.0, bap-recipe-command.2.0.0, bap-recipe-command.2.1.0, bap-recipe-command.2.2.0, bap-recipe.2.0.0, bap-recipe.2.1.0, bap-recipe.2.2.0, bap-relation.2.2.0, bap-relocatable.1.3.0, bap-relocatable.1.4.0, bap-relocatable.1.5.0, bap-relocatable.1.6.0, bap-relocatable.2.0.0, bap-relocatable.2.1.0, bap-relocatable.2.2.0, bap-report.1.4.0, bap-report.1.5.0, bap-report.1.6.0, bap-report.2.0.0, bap-report.2.1.0, bap-report.2.2.0, bap-run.1.3.0, bap-run.1.4.0, bap-run.1.5.0, bap-run.1.6.0, bap-run.2.0.0, bap-run.2.1.0, bap-run.2.2.0, bap-saluki.bap-1.4, bap-saluki.bap-1.5, bap-saluki.bap-1.6, bap-server.0.1.0, bap-server.0.2.0, bap-server.0.3.0, bap-signatures.1.0.0, bap-signatures.1.1.0, bap-signatures.1.2.0, bap-signatures.1.3.0, bap-signatures.1.4.0, bap-signatures.1.5.0, bap-signatures.1.6.0, bap-signatures.2.0.0, bap-signatures.2.1.0, bap-signatures.2.2.0, bap-specification.2.2.0, bap-ssa.1.3.0, bap-ssa.1.4.0, bap-ssa.1.5.0, bap-ssa.1.6.0, bap-ssa.2.0.0, bap-ssa.2.1.0, bap-ssa.2.2.0, bap-std.1.0.0, bap-std.1.1.0, bap-std.1.2.0, bap-std.1.3.0, bap-std.1.4.0, bap-std.1.5.0, bap-std.1.6.0, bap-std.2.0.0, bap-std.2.1.0, bap-std.2.2.0, bap-strings.1.3.0, bap-strings.1.4.0, bap-strings.1.5.0, bap-strings.1.6.0, bap-strings.2.0.0, bap-strings.2.1.0, bap-strings.2.2.0, bap-stub-resolver.2.1.0, bap-stub-resolver.2.2.0, bap-symbol-reader.1.0.0, bap-symbol-reader.1.1.0, bap-symbol-reader.1.2.0, bap-symbol-reader.1.3.0, bap-symbol-reader.1.4.0, bap-symbol-reader.1.5.0, bap-symbol-reader.1.6.0, bap-symbol-reader.2.0.0, bap-symbol-reader.2.1.0, bap-symbol-reader.2.2.0, bap-systemz.2.2.0, bap-taint-propagator.1.0.0, bap-taint-propagator.1.1.0, bap-taint-propagator.1.2.0, bap-taint-propagator.1.3.0, bap-taint-propagator.1.4.0, bap-taint-propagator.1.5.0, bap-taint-propagator.1.6.0, bap-taint-propagator.2.0.0, bap-taint-propagator.2.1.0, bap-taint-propagator.2.2.0, bap-taint.1.0.0, bap-taint.1.1.0, bap-taint.1.2.0, bap-taint.1.3.0, bap-taint.1.4.0, bap-taint.1.5.0, bap-taint.1.6.0, bap-taint.2.0.0, bap-taint.2.1.0, bap-taint.2.2.0, bap-term-mapper.1.0.0, bap-term-mapper.1.1.0, bap-term-mapper.1.2.0, bap-term-mapper.1.3.0, bap-term-mapper.1.4.0, bap-term-mapper.1.5.0, bap-term-mapper.1.6.0, bap-term-mapper.2.0.0, bap-term-mapper.2.1.0, bap-term-mapper.2.2.0, bap-thumb.2.2.0, bap-trace.1.0.0, bap-trace.1.1.0, bap-trace.1.2.0, bap-trace.1.3.0, bap-trace.1.4.0, bap-trace.1.5.0, bap-trace.1.6.0, bap-trace.2.0.0, bap-trace.2.1.0, bap-trace.2.2.0, bap-traces.1.0.0, bap-traces.1.1.0, bap-traces.1.2.0, bap-traces.1.3.0, bap-traces.1.4.0, bap-traces.1.5.0, bap-traces.1.6.0, bap-traces.2.0.0, bap-traces.2.1.0, bap-traces.2.2.0, bap-trivial-condition-form.1.4.0, bap-trivial-condition-form.1.5.0, bap-trivial-condition-form.1.6.0, bap-trivial-condition-form.2.0.0, bap-trivial-condition-form.2.1.0, bap-trivial-condition-form.2.2.0, bap-veri.0.2.1, bap-veri.0.2.2, bap-veri.0.2.3, bap-veri.0.2.4, bap-veri.0.2.5, bap-veri.0.2, bap-warn-unused.1.0.0, bap-warn-unused.1.1.0, bap-warn-unused.1.2.0, bap-warn-unused.1.3.0, bap-warn-unused.1.4.0, bap-warn-unused.1.5.0, bap-warn-unused.1.6.0, bap-warn-unused.2.0.0, bap-warn-unused.2.1.0, bap-warn-unused.2.2.0, bap-x86.1.0.0, bap-x86.1.1.0, bap-x86.1.2.0, bap-x86.1.3.0, bap-x86.1.4.0, bap-x86.1.5.0, bap-x86.1.6.0, bap-x86.2.0.0, bap-x86.2.1.0, bap-x86.2.2.0, bap.0.9.1, bap.0.9.2, bap.0.9.3, bap.0.9.4, bap.0.9.5, bap.0.9.6, bap.0.9.7, bap.0.9.8, bap.0.9.9, bap.1.0.0, bap.1.1.0, bap.1.2.0, bap.1.3.0, bap.1.4.0, bap.1.5.0, bap.1.6.0, bap.2.0.0, bap.2.1.0, bap.2.2.0, bare.1.4.0, bare.1.5.0, bare.1.6.0, bare.2.0.0, bare.2.1.0, bare.2.2.0, base58.0.1.2, base64.1.1.0, base64.2.0.0, batteries.2.4.0, batteries.2.5.0, bear.0.0.1, bech32.0.1, bigarray-overlap.0.1.0, bigarray-overlap.0.2.0, bindlib.4.0, bip32.0.1, bip32.0.2, bisect.1.3.1, bisect_ppx-ocamlbuild.1.0.0, bisect_ppx-ocamlbuild.1.0.1, bisect_ppx.1.0.0, bisect_ppx.1.0.1, bisect_ppx.1.1.0, bisect_ppx.1.2.0, bisect_ppx.1.3.0, bisect_ppx.1.3.1, bisect_ppx.1.3.2, bisect_ppx.1.3.3, bisect_ppx.1.3.4, bisect_ppx.1.4.2, bisect_ppx.2.0.0, bisect_ppx.2.1.0, bisect_ppx.2.2.0, bisect_ppx.2.3.0, bisect_ppx.2.4.0, bisect_ppx.2.4.1, bisect_ppx.2.5.0, bisect_ppx.2.6.0, bitstring.4.0.0, bitstring.4.0.1, bitstring.4.1.0, bitv.1.2, bitv.1.3, bitvec-binprot.2.0.0, bitvec-binprot.2.1.0, bitvec-binprot.2.2.0, bitvec-order.2.0.0, bitvec-order.2.1.0, bitvec-order.2.2.0, bitvec-sexp.2.0.0, bitvec-sexp.2.1.0, bitvec-sexp.2.2.0, bitvec.2.0.0, bitvec.2.1.0, bitvec.2.2.0, boomerang.1.1.0, caml-mode.4.02, caml-mode.4.06, camlimages.4.0.1, camlimages.4.1.0, camlimages.4.2.2, camlimages.4.2.3, camlimages.4.2.4, camlimages.4.2.5, camlimages.4.2.6, camlimages.5.0.0, camlimages.5.0.1, camlimages.5.0.2, camlimages.5.0.3, camlimages.5.0.4, camlon.1.0.0, camlon.1.0.1, camlon.1.0.2, camlon.2.0.0, camlon.2.0.1, camlon.2.0.2, camlp5.8.00.01, camlp5.8.00, camlp5.8.00~alpha04, camlp5.8.00~alpha05, camlp5.8.00~alpha06, camlprime.0.5, capnp.2.1.0, capnp.2.1.1, capnp.3.3.0, capnp.3.4.0, captureio.0.1.1, captureio.0.1.2, caqti-async.0.10.0, caqti-async.0.10.1, caqti-async.0.10.2, caqti-async.0.11.0, caqti-async.0.9.0, caqti-async.1.2.0, caqti-async.1.2.2, caqti-driver-mariadb.0.10.0, caqti-driver-mariadb.0.10.1, caqti-driver-mariadb.0.10.2, caqti-driver-mariadb.0.11.0, caqti-driver-mariadb.0.9.0, caqti-driver-mariadb.1.1.0, caqti-driver-mariadb.1.2.0, caqti-driver-mariadb.1.2.1, caqti-driver-mariadb.1.2.3, caqti-driver-postgresql.0.10.0, caqti-driver-postgresql.0.10.1, caqti-driver-postgresql.0.10.2, caqti-driver-postgresql.0.11.0, caqti-driver-postgresql.0.9.0, caqti-driver-postgresql.1.1.0, caqti-driver-postgresql.1.2.0, caqti-driver-postgresql.1.2.1, caqti-driver-postgresql.1.2.3, caqti-driver-postgresql.1.2.4, caqti-driver-sqlite3.0.10.0, caqti-driver-sqlite3.0.10.1, caqti-driver-sqlite3.0.10.2, caqti-driver-sqlite3.0.11.0, caqti-driver-sqlite3.0.9.0, caqti-driver-sqlite3.1.2.0, caqti-driver-sqlite3.1.2.1, caqti-driver-sqlite3.1.2.3, caqti-dynload.1.2.0, caqti-lwt.0.10.0, caqti-lwt.0.10.1, caqti-lwt.0.10.2, caqti-lwt.0.11.0, caqti-lwt.0.9.0, caqti-lwt.1.2.0, caqti-type-calendar.1.2.0, caqti.0.10.0, caqti.0.10.1, caqti.0.10.2, caqti.0.11.0, caqti.0.9.0, caqti.1.1.0, caqti.1.2.0, caqti.1.2.1, caqti.1.2.3, cbat-explicit-edge.0.1, cbat-tools.0.1, cbat-vsa.0.1, cdrom.0.9.4, cgi.0.9, charrua-client-lwt.0.10, charrua-client-lwt.0.9, charrua-client-mirage.0.10, charrua-client-mirage.0.9, charrua-client.0.1.0, charrua-client.0.10, charrua-client.0.9, charrua-core.0.10, charrua-core.0.6, charrua-core.0.7, charrua-core.0.8, charrua-core.0.9, charrua-unix.0.1, charrua-unix.0.10, charrua-unix.0.3, charrua-unix.0.4, charrua-unix.0.5, charrua-unix.0.6, charrua-unix.0.9, chartjs-annotation.0.2.2, chartjs-colorschemes.0.2.2, chartjs-datalabels.0.2.2, chartjs-streaming.0.2.2, chartjs.0.2.2, chase.1.2, chase.1.4, clarity.0.4.0, cloudi.1.7.2, cloudi.1.7.3, cloudi.1.7.4, cloudi.1.7.5, cloudi.2.0.0, cloudi.2.0.1, cohttp.0.17.0, cohttp.0.17.1, coin.0.1.0, coin.0.1.1, color.0.1.0, conduit.0.6.0, conduit.0.6.1, conex.0.9.2, conf-bap-llvm.1.1, conf-bap-llvm.1.2, conf-bap-llvm.1.3, conf-bap-llvm.1.4, conf-bap-llvm.1.5, conf-bap-llvm.1.6, conf-binutils.0.1, conf-binutils.0.2, conf-binutils.0.3, conf-ida.0.1, conf-ida.0.2, conf-ida.0.3, conf-mbedtls.1, conf-neko.1, conf-radare2.0.1, configuration.0.4.0, configuration.0.4.1, conjury.2.0.1, conjury.2.0, cookie.0.1.8, coq-serapi.8.8.0+0.5.4, coq-serapi.8.8.0+0.5.5, coq-serapi.8.8.0+0.5.6, coq-serapi.8.9.0+0.6.0, coq-serapi.8.9.0+0.6.1, coq.8.5.3, coq.8.6.1, coq.8.6, coq.8.7.0, core-lwt.0.1, core-lwt.0.2.0, core-lwt.0.3.0, core.v0.12.1, cow.1.2.0, cpm.1.0.0, cpm.2.0.0, cpm.3.0.0, cpm.4.0.0, crc.2.0.0, crc.2.1.0, cwe_checker.0.2, d3.0.1.0, daft.0.0.2, daft.0.0.3, debian-formats.0.1.1, decoders-ezjsonm.0.1.0, decoders-yojson.0.1.0, decoders.0.1.0, decompress.0.2, decompress.0.8.1, decompress.0.8, decompress.1.0.0, decompress.1.1.0, decompress.1.2.0, deriving-ocsigen.0.3c, deriving-ocsigen.0.5, deriving.0.7.1, deriving.0.7, deriving.0.8.1, devkit.1.0, digestif.0.6.1, digestif.0.7.1, digestif.0.7.2, digestif.0.7.3, digestif.0.7, digestif.0.8.0-1, digestif.0.8.0, digestif.0.8.1, digestif.0.9.0, directories.0.1, directories.0.2, diy.5.01, dlm.0.3.1, doc-ock-html.1.1.0, doc-ock-html.1.2.0, doc-ock-html.1.2.1, doc-ock-xml.1.1.0, doc-ock-xml.1.2.0, doc-ock-xml.1.2.1, doc-ock.1.1.0, doc-ock.1.2.0, doc-ock.1.2.1, dockerfile.1.0.0, dockerfile.1.2.0, dockerfile.1.2.1, dockerfile.1.3.0, dokeysto.3.0.1, dokeysto_camltc.3.0.1, dokeysto_lz4.3.0.1, dokeysto_lz4.3.0.2, dokeysto_lz4.4.0.0, dolog.4.0.0, dolog.6.0.0, drom.0.2.0, drom_lib.0.2.0, duff.0.2, dune_watch.0.2.0, earlybird.0.1.0, earlybird.0.1.1, earlybird.0.1.2, elasticsearch-cli.0.1, elasticsearch-cli.0.2, elasticsearch-cli.0.3, elasticsearch-cli.0.4, elasticsearch-cli.0.5, elina.1.0, elina.1.1, eliom.6.3.0, elpi.1.0.2, elpi.1.0.3, elpi.1.0.4, elpi.1.0.5, elpi.1.1.0, elpi.1.1.1, elpi.1.2.0, elpi.1.3.1, elpi.1.4.0, emile.0.3, emile.0.4, emile.0.5, emile.0.6, encore.0.2, encore.0.4, encore.0.5, encore.0.6, eqaf.0.1, eqaf.0.2, eqaf.0.3, eqaf.0.4, eqaf.0.5, eqaf.0.6, eqaf.0.7, ez_cmdliner.0.1.1, ez_config.0.1.1, ez_file.0.1.2, ez_file.0.2.0, ezjs_min.0.1, facebook-sdk.0.2.12, facebook-sdk.0.3.1, facebook-sdk.0.3.3, facebook-sdk.0.3.4, facebook-sdk.0.3.5, farfadet.0.3, febusy.0.0.0, fftw3.0.7.2, fftw3.0.7.3, fkie-cad-cwe-checker.0.1, fkie-cad-cwe-checker.0.2, flow_parser.0.32.0, flow_parser.0.80.0, frama-c.11.0, frama-c.12.1, frama-c.17.1, frama-c.21.0, frama-c.21.1, frama-c.22.0, frenetic.5.0.2, frenetic.5.0.3, fstar.0.9.7.0-alpha1, gasoline.0.3.0, gasoline.0.4.0, gasoline.0.5.0, gdal.0.10.0, gdal.0.8.0, gdal.0.9.0, gdb.0.3, gen_js_api.1.0.5, genspio.0.0.2, get_line.4.0.1, getopts.0.3.2, getopts.0.4.0, gles3.20160307.alpha, gles3.20160505.alpha, glsurf.3.3, gnuplot.0.5.0, gnuplot.0.5.1, gpr.1.2.1, graphlib.1.0.0, graphlib.1.1.0, graphlib.1.2.0, graphlib.1.4.0, graphlib.1.5.0, graphlib.1.6.0, graphlib.2.0.0, graphlib.2.1.0, graphlib.2.2.0, gremlin.0.1.1, hardcaml-yosys.0.1.0, hevea.2.32, hidapi.1.1.1, hidapi.1.1, hkdf.1.0.2, hkdf.1.0.3, hkdf.1.0.4, hts_shrink.1.0.0, hts_shrink.2.0.0, httpaf-async.0.5.0, httpaf-async.0.6.5, httpaf-async.0.6.6, httpaf-async.0.7.0, httpaf-lwt-unix.0.6.5, httpaf-lwt-unix.0.6.6, httpaf-lwt-unix.0.7.0, httpaf_caged.1.0.1, hvsock.0.4, hvsock.0.5, hxd.0.2.0, idd.0.1, idds.0.2, imaplet-lwt.0.1.10, imaplet-lwt.0.1.11, imaplet-lwt.0.1.12, imaplet-lwt.0.1.14, imaplet-lwt.0.1.15, inquire.0.1.0, integers.0.1.0, inuit.0.3, io-page.1.2.0, ipv6-multicast-lwt.0.9, ipv6-multicast.0.1, ipv6-multicast.0.9, irmin-indexeddb.2.0, iso639.0.0.4, iter.1.2, jbuilder.1.0+beta1, jbuilder.1.0+beta2, jbuilder.1.0+beta3, jerboa.0.1, jitsu.0.2, jitsu.0.3.0, js_of_ocaml-camlp4.3.0.1, js_of_ocaml-camlp4.3.0.2, js_of_ocaml-camlp4.3.0, js_of_ocaml-camlp4.3.1.0, js_of_ocaml-compiler.3.0.1, js_of_ocaml-compiler.3.0.2, js_of_ocaml-compiler.3.0, js_of_ocaml-compiler.3.1.0, js_of_ocaml-compiler.3.2.0, js_of_ocaml-compiler.3.2.1, js_of_ocaml-compiler.3.3.0, js_of_ocaml-lwt.3.0.1, js_of_ocaml-lwt.3.0.2, js_of_ocaml-lwt.3.0, js_of_ocaml-lwt.3.1.0, js_of_ocaml-lwt.3.2.0, js_of_ocaml-lwt.3.2.1, js_of_ocaml-lwt.3.3.0, js_of_ocaml-ocamlbuild.3.0.1, js_of_ocaml-ocamlbuild.3.0.2, js_of_ocaml-ocamlbuild.3.0, js_of_ocaml-ocamlbuild.3.1.0, js_of_ocaml-ppx.3.0.1, js_of_ocaml-ppx.3.0.2, js_of_ocaml-ppx.3.0, js_of_ocaml-ppx.3.1.0, js_of_ocaml-ppx.3.2.0, js_of_ocaml-ppx.3.3.0, js_of_ocaml-toplevel.3.0.1, js_of_ocaml-toplevel.3.0.2, js_of_ocaml-toplevel.3.0, js_of_ocaml-toplevel.3.1.0, js_of_ocaml-toplevel.3.2.0, js_of_ocaml-toplevel.3.3.0, js_of_ocaml-tyxml.3.0.1, js_of_ocaml-tyxml.3.0.2, js_of_ocaml-tyxml.3.0, js_of_ocaml-tyxml.3.1.0, js_of_ocaml-tyxml.3.2.0, js_of_ocaml-tyxml.3.3.0, js_of_ocaml.3.0.1, js_of_ocaml.3.0.2, js_of_ocaml.3.0, js_of_ocaml.3.1.0, js_of_ocaml.3.2.0, js_of_ocaml.3.3.0, js_of_ocaml.3.4.0, js_of_ocaml.3.5.0, js_of_ocaml.3.5.1, js_of_ocaml.3.5.2, js_of_ocaml.3.6.0, junit.2.0.1, junit.2.0.2, junit_alcotest.2.0.1, junit_alcotest.2.0.2, junit_ounit.2.0.1, junit_ounit.2.0.2, jupyter.0.0.0, jupyter.0.1.0, jupyter.1.0.0, jupyter.1.0.1, jupyter.1.0.2, jupyter.1.1.0, jupyter.2.0.0, jupyter.2.1.0, jupyter.2.2.0, jupyter.2.2.1, jupyter.2.2.2, kafka.0.2, ke.0.1, ke.0.2, ke.0.3, ke.0.4, lacaml.7.2.1, lacaml.7.2.2, lambda-term.1.11, lambdasoup.0.5.1, lambdasoup.0.5, lambdasoup.0.6.1, lambdasoup.0.6.2, lambdasoup.0.6.3, lambdasoup.0.6.4, lambdasoup.0.6, lambdasoup.0.7.0, lambdasoup.0.7.1, lambdasoup.0.7.2, launchd.1.0, launchd.1.1, launchd.1.2, ldap.2.4.0, ledgerwallet-tezos.0.1.0, ledgerwallet.0.1.0, lemonade-sqlite.0.1.0, lens.1.2.1, lens.1.2.3, letsencrypt.0.1.0, letters.0.1.1, levenshtein.1.1.3, libdash.0.1, links.0.9.1, links.0.9, logical.0.3.0, logs-async-reporter.1.0, logs-async.1.0, logs-async.1.1, logs-ppx.0.1.0, luv.0.5.0, luv.0.5.1, luv.0.5.2, luv.0.5.3, luv.0.5.4, luv.0.5.5, luv.0.5.6, lwt-parallel.0.1.0, lwt-parallel.0.1.1, lwt-parallel.0.1.2, lwt.2.6.0, lwt.2.7.0, lwt.2.7.1, lwt.3.0.0, lwt.3.1.0, lwt.3.2.0, lwt.3.2.1, lwt.3.3.0, lwt.4.0.0, lwt.4.0.1, lwt.4.1.0, lwt.4.3.0, lwt.4.3.1, lwt.4.4.0, lwt.4.5.0, lwt.5.0.0, lwt.5.0.1, lwt.5.1.0, lwt.5.1.1, lwt.5.1.2, lwt.5.2.0, lwt.5.3.0, lwt_camlp4.1.0.0, lwt_glib.1.0.0, lwt_glib.1.0.1, lwt_glib.1.1.0, lwt_glib.1.1.1, lwt_log.1.0.0, lwt_log.1.1.0, lwt_log.1.1.1, lwt_ppx.1.0.0, lwt_ppx.1.0.1, lwt_ppx.1.1.0, lwt_ppx.1.2.0, lwt_ppx.1.2.1, lwt_ppx.1.2.3, lwt_ppx.1.2.4, lwt_ppx.2.0.0, lwt_ppx.2.0.1, lwt_react.1.0.0, lwt_react.1.0.1, lwt_react.1.1.0, lwt_react.1.1.1, lwt_react.1.1.3, lwt_ssl.1.0.0, lwt_ssl.1.0.1, lwt_ssl.1.1.0, lwt_ssl.1.1.1, lwt_ssl.1.1.2, lwt_ssl.1.1.3, magic-mime.1.1.0, magic-mime.1.1.1, magic-mime.1.1.2, markup-lwt.0.5.0, markup.0.5, markup.0.6, markup.0.7.1, markup.0.7.2, markup.0.7.3, markup.0.7.4, markup.0.7.5, markup.0.7.6, markup.0.7.7, markup.0.7, markup.0.8.0, markup.0.8.1, markup.0.8.2, markup.1.0.0-1, markup.1.0.0, memcad.1.0.0, merge-fmt.0.1, merlin.3.2.1, merlin.3.2.2, merlin.3.3.0, merlin.3.3.2, metapp.0.3.0, mindstorm.0.5.4, minicaml.0.1, minicaml.0.2.1, minicaml.0.2.2, minicaml.0.2, mirage-block-ccm.1.0.0, mirage-block-ccm.1.0.1, mirage-block-ramdisk.0.1, mirage-block-ramdisk.0.2, mirage-block-ramdisk.0.3, mirage-block.0.1, mirage-block.0.2, mirage-bootvar-solo5.0.2.0, mirage-bootvar-solo5.0.3.0, mirage-bootvar-solo5.0.6.0, mirage-bootvar-xen.0.2, mirage-bootvar-xen.0.3.2, mirage-bootvar-xen.0.4.0, mirage-bootvar-xen.0.5.0, mirage-entropy.0.4.1, mirage-entropy.0.5.0, mirage-entropy.0.5.1, mirage-flow.1.1.0, mirage-nat.1.2.0, mirage-nat.2.0.0, mirage-nat.2.1.0, mirage-nat.2.2.0, mirage-nat.2.2.1, mirage-nat.2.2.2, mirage-net-macosx.1.0.0, mirage-net-macosx.1.1.0, mirage-profile.0.1, mirage-profile.0.3, mirage-profile.0.4, mirage-profile.0.7.0, mirage-vnetif.0.4.0, mirage-vnetif.0.4.1, mirage-vnetif.0.4.2, mirage-vnetif.0.5.0, mld.0.1, mld.0.2, mlfenv.1.0.0, mlmpfr.3.1.6, mlmpfr.4.0.0, mlmpfr.4.0.1, mlmpfr.4.0.2+dune, mlmpfr.4.0.2, monads.1.0, monads.1.4.0, monads.1.5.0, monads.1.6.0, monads.2.0.0, monads.2.1.0, monads.2.2.0, mpi.1.03, mpi.1.05, mpp.0.3.4, mpp.0.3.5, msgpack.1.1.0, msgpack.1.1.1, mutf8.0.1, mysql_protocol.1.1, mysql_protocol.2.0, nacc.0.1, named-pipe.0.2, namespaces.0.5.1, namespaces.0.5, nanomsg.1.0, nbd.2.0.1, nbd.2.1.0, noCanren.0.2.0, nocrypto.0.5.0, nocrypto.0.5.1, not-ocamlfind.0.07.02, num.0, num.1.0, num.1.1, num.1.2, oasis2debian.0.1.3, oasis2debian.0.1.4, oasis2debian.0.1.5, oasis2opam.0.5.0, oasis2opam.0.5.1, obelisk.0.5.0, ocal.0.1.3, ocaml-logicalform.v0.6.0, ocaml_at_p.1.0.1, ocaml_at_p.1.0, ocaml_at_p.1.1.0, ocamlsdl2-image.0.01, ocamlsdl2-ttf.0.01, ocamlspot.4.02.1.2.3.0, ocamlspot.4.03.0.2.3.1, ocamlspot.4.04.0.2.3.2, ocamlspot.4.05.0.2.3.2, ocamlspot.4.06.0.2.3.2, ocamlspot.4.07.0.2.3.2, ocamltter.2.0.1, ocamltter.2.1.0, ocamltter.2.1.2, ocamltter.3.0.0, ocamltter.4.0.0, ocamltter.4.0.1, ocamltter.4.0.2, ocamltter.4.1.0, ocamltter.4.1.1, oci.0.3, oclaunch.0.2.2, ocp-browser.1.2, ocp-index.1.2, ocplib-simplex.0.3, ocplib-simplex.0.4, ocplib_stuff.0.2.0, ocplib_stuff.0.3.0, ocsigenserver.2.5, ocsigenserver.2.9, octavius.0.2.0, octavius.1.1.0, octavius.1.2.0, octavius.1.2.2, odoc.1.0.0, odoc.1.1.0, odoc.1.1.1, odoc.1.2.0, odoc.1.3.0, odoc.1.4.2, offheap.0.1.2, ogre.1.0, ogre.1.4.0, ogre.1.5.0, ogre.1.6.0, ogre.2.0.0, ogre.2.1.0, ogre.2.2.0, omake.0.10.2, omake.0.10.3, oml.0.0.7, opam-bin.0.9.4, opam-bin.0.9.5, opam-bin.1.0.0, opam2web.1.4.0, opam_bin_lib.0.9.4, opam_bin_lib.0.9.5, opam_bin_lib.1.0.0, open.0.2.2, openai-gym.0.01, operf-macro.0.2, orakuda.1.0.1, orakuda.1.0.2, orakuda.1.1.0, orakuda.1.1.1, orakuda.1.2.0, orakuda.1.2.1, orakuda.1.2.2, orakuda.2.0.0, ordma.0.0.5, orsetto.1.0.3, orsetto.1.0, ostap.0.5, otr.0.1.0, otr.0.2.0, otr.0.3.0, otr.0.3.1, otr.0.3.2, otr.0.3.3, pa_ppx.0.03, pa_ppx.0.07.02, pa_ppx.0.07, pa_ppx_ag.0.07.02, pa_ppx_hashcons.0.07.02, pa_ppx_migrate.0.07.02, pa_ppx_q_ast.0.07.02, pa_ppx_unique.0.07.02, parse-argv.0.1.0, passmaker.1.0, passmakercmd.1.0, pbkdf.1.0.0, pbkdf.1.1.0, pcre.7.1.5, pecu.0.1, pecu.0.2, perf.1.0, phantom-algebra.1.0, planck.1.0.1, planck.2.0.1, planck.2.1.0, planck.2.1.1, planck.2.2.0, podge.0.3, ppx_bitstring.4.0.0, ppx_bitstring.4.0.1, ppx_bitstring.4.1.0, ppx_blob.0.2, ppx_compose.0.0.3, ppx_compose.0.0.4, ppx_compose.0.1.0, ppx_defer.0.1.0, ppx_defer.0.2.0, ppx_deriving_argparse.0.0.4, ppx_deriving_argparse.0.0.5, ppx_deriving_cmdliner.0.4.1, ppx_deriving_hardcaml.1.0.0, ppx_deriving_hardcaml.1.1.0, ppx_expect.v0.11.1, ppx_hardcaml.1.0.0, ppx_hardcaml.1.1.0, ppx_hardcaml.1.2.0, ppx_import.1.5-3-gbd627d5, ppx_import.1.5, ppx_import.1.6.1, ppx_import.1.6, ppx_import.1.7.0, ppx_import.1.7.1, ppx_meta_conv.4.0.0, ppx_meta_conv.4.0.1, ppx_orakuda.2.0.1, ppx_orakuda.3.0.0, ppx_orakuda.3.0.1, ppx_orakuda.3.0.2, ppx_orakuda.3.0.3, ppx_orakuda.3.1.0, ppx_orakuda.3.1.1, ppx_orakuda.3.2.0, ppx_orakuda.3.3.0, ppx_overload.1.4, ppx_poly_record.1.1.2, ppx_relit.0.1, ppx_string_interpolation.1.0.0, ppx_test.1.6.0, ppx_test.1.7.0, ppx_tools_versioned.5.4.0, ppxx.1.0.0, ppxx.1.1.0, ppxx.1.2.0, ppxx.1.2.1, ppxx.1.3.0, ppxx.1.3.1, ppxx.1.3.2, ppxx.1.4.0, ppxx.2.0.0, ppxx.2.1.0, ppxx.2.2.0, ppxx.2.3.0, ppxx.2.3.1, ppxx.2.3.2, prettiest.0.0.1, prettiest.0.0.2, promise.1.0.2, promise.1.1.0, promise.1.1.2, protocol-9p.0.1, protocol-9p.0.2, protocol-9p.0.3, protocol-9p.0.4.0, protocol-9p.0.5.0, protocol-9p.0.5.2, protocol-9p.0.6.0, psmt2-frontend.0.1, psmt2-frontend.0.3.0, psmt2-frontend.0.3.1, pxp.1.2.3, pxp.1.2.7, pxp.1.2.8, py.1.0, pyml.20161224, pyml.20170730, pyml.20170807, pyml.20180530, pyml.20200518, qcheck-alcotest.0.14, qcheck-core.0.14, qcheck-ounit.0.14, qcheck.0.14, qcow-format.0.1, qcow-format.0.2, qcow-format.0.3, qcow-format.0.4.1, qcow-format.0.4.2, qcow-format.0.4, qcow-format.0.5.0, qfs.0.4, qrencode.0.2, radare2.0.0.2, rashell.0.1.0, rashell.0.2.0, raygun4ocaml.0.1.0, reason-parser.1.12.0, reason.1.13.0, reason.1.13.7, receive-mail.0.1.2, reedsolomon.0.3, regenerate.0.2, regular.1.0.0, regular.1.1.0, regular.1.2.0, regular.1.3.0, regular.1.4.0, regular.1.5.0, regular.1.6.0, regular.2.0.0, regular.2.1.0, regular.2.2.0, relit-reason.0.0.1, relit-reason.0.0.2, relit_helper.0.1, res.4.0.7, rfc1951.0.1, rfc1951.0.8.1, rfc1951.1.0.0, rfc1951.1.1.0, rfc1951.1.2.0, rfc6287.1.0.0, rfc6287.1.0.1, rfc6287.1.0.2, rfc6287.1.0.3, rosetta.0.1.0, rosetta.0.2.0, safepass.3.0, salsa20-core.0.2.0, salsa20-core.0.3.0, salsa20-core.1.0.0, salsa20.0.1.0, salsa20.1.0.0, scaml.1.2.0, scrypt-kdf.1.0.0, scrypt-kdf.1.1.0, secp256k1-internal.0.1.0, secp256k1-internal.0.2.0, session-cohttp-async.0.4.0, session-cohttp-async.0.4.1, session-cohttp-lwt.0.4.0, session-cohttp-lwt.0.4.1, session-cohttp.0.4.0, session-cohttp.0.4.1, session-cookie-async.0.1.8, session-cookie-lwt.0.1.8, session-cookie.0.1.8, session-postgresql-async.0.4.0, session-postgresql-async.0.4.1, session-postgresql-lwt.0.4.0, session-postgresql-lwt.0.4.1, session-postgresql.0.4.0, session-postgresql.0.4.1, session-redis-lwt.0.4.0, session-redis-lwt.0.4.1, session-webmachine.0.4.0, session-webmachine.0.4.1, session.0.3.0, session.0.3.2, session.0.4.0, sociaml-facebook-api.0.4.1, sociaml-oauth-client.0.5.0, sociaml-tumblr-api.0.1.0, sociaml-tumblr-api.0.2.0, sodium.0.4.1, space-search.0.9.1, space-search.0.9, spotlib.1.0.0, spotlib.2.0.1, spotlib.2.1.0, spotlib.2.1.1, spotlib.2.1.2, spotlib.2.2.0, spotlib.2.3.0, spotlib.2.4.0, spotlib.2.4.1, spotlib.2.5.0, spotlib.2.5.1, spotlib.2.5.2, spotlib.2.5.3, spotlib.3.0.0, spotlib.3.1.0, spotlib.3.1.2, spotlib.4.0.0, spotlib.4.0.1, spotlib.4.0.2, spotlib.4.0.3, statverif.1.97pl1.2, stdcompat.7, stemmer.0.2, sturgeon.0.3, syndic.1.3.1, syndic.1.3, syndic.1.6.0, tar-format.0.4.0, tdk.0.2.0, text-tags.1.0.0, text-tags.1.1.0, text-tags.1.2.0, text-tags.1.4.0, text-tags.1.5.0, text-tags.1.6.0, text-tags.2.0.0, text-tags.2.1.0, text-tags.2.2.0, tiny_json.1.1.3, tiny_json.1.1.4, tiny_json.1.1.5, tiny_json.1.1.6, tiny_json_conv.1.0.0, tiny_json_conv.1.0.1, tiny_json_conv.1.1.0, tiny_json_conv.1.2.0, tiny_json_conv.1.4.0, tiny_json_conv.1.4.1, tls.0.10.1, tls.0.10.2, tls.0.10.3, tls.0.10.4, tls.0.10.5, tls.0.10.6, tls.0.11.0, tls.0.8.0, tls.0.9.0, tls.0.9.1, tls.0.9.2, tls.0.9.3, tlstunnel.0.1.0, tlstunnel.0.1.1, tlstunnel.0.1.2, tlstunnel.0.1.3, tlstunnel.0.2.0, treeprint.2.2.0, tyre.0.4.1, tyre.0.4, tyre.0.5, unix-unistd.0.3.0, unmagic.0.9.0, unmagic.1.0.0, unmagic.1.0.1, unmagic.1.0.2, unmagic.1.0.3, unmagic.1.0.4, unstrctrd.0.1, unstrctrd.0.2, utop.2.4.1, uuuu.0.1.0, uuuu.0.1.1, vimebac.0.0.0, vmnet.1.0.0, vmnet.1.0.1, vmnet.1.0.2, vmnet.1.1.0, vmnet.1.2.0, vmnet.1.3.0, wamp.0.1, wamp.1.0, wasmtime.0.0.1, wasmtime.0.0.2, wasmtime.0.0.3, wcs-api.2017-05-26.01, wcs-api.2017-05-26.02, wcs-api.2017-05-26.03, wcs-api.2017-05-26.04, wcs-lib.2017-05-26.00, wcs-lib.2017-05-26.01, wcs-lib.2017-05-26.02, wcs-lib.2017-05-26.03, wcs-lib.2017-05-26.04, wcs-lib.2017-05-26.05, wcs.2017-05-26.00, wcs.2017-05-26.01, wcs.2017-05-26.02, wcs.2017-05-26.03, wcs.2017-05-26.04, wcs.2017-05-26.05, webmachine.0.1.2, websocket-async.2.10, websocket-async.2.11, websocket-async.2.12, websocket-async.2.13, websocket-lwt-unix.2.13, websocket-lwt.2.10, websocket-lwt.2.11, websocket-lwt.2.12, websocket.2.10, websocket.2.12, websocket.2.13, websocket.2.3, websocket.2.4, websocket.2.5, websocket.2.6, win-error.0.2, win-error.0.3, win-eventlog.0.1, win-eventlog.0.2, x509.0.2.0, x509.0.2.1, x509.0.3.0, x509.0.4.0, x509.0.5.0, x509.0.5.1, x509.0.5.2, x509.0.5.3, x509.0.6.0, x509.0.6.1, x509.0.6.2, x509.0.6.3, xapi-inventory.1.2.1, yara.0.1, yuscii.0.1.0, yuscii.0.2.0, yuscii.0.2.1, zarith.1.7-1, zarith.1.7

---

☀️ Installability check (+0)

[rjbou]

issue opened in opam-repo-ci bugtracker, better continue the discussion there

[avsm]

I like this in principle, but I don't think we should merge it until @mseri's comment in #18455 (comment) is figured out. We should have one consistent policy for opam-repo, and ensure that no tools such as dune error out because they behave differently without a (version) or (name) field present for some reason.

[dra27]

The issue in lwt.4.2.0 and lwt.4.2.1 is with the sources themselves. Dune looks at the opam files in the source distribution as the primary source of a package's version (although cf. ocaml/dune#4457) which is what was wrong in #17185. The opam file from the repository (or, in general, the one opam used to determine what to do to build and install the package) is not directly available to the build, although in opam 2.1 the opamfile package variable contains its location (cf. ocaml/opam#4402).

name and version in an opam repository are unnecessary - indeed, they're confusing because they're ignored by opam (they're always determined from the directory in which the opam file was found).

Having removed these unnecessary fields, do we have issues/PRs open for linting to keep them removed?

[kit-ty-kate]

Having removed these unnecessary fields, do we have issues/PRs open for linting to keep them removed?

This is already in opam-repo-ci since ocurrent/opam-repo-ci#70

[mseri]

name and version in an opam repository are unnecessary - indeed, they're confusing because they're ignored by opam (they're always determined from the directory in which the opam file was found).

Then I think we should go on and merge