package is misconfigured or missing version files, resulting in ocamlfind not knowing its version

[Jason Gross]

After installing `ocaml-findlib liblablgtk3-ocaml-dev liblablgtksourceview3-ocaml-dev`, running `ocamlfind query -format "%v" lablgtk3` results in `[unspecified]`, rather than giving the version number. According to https://github.com/coq/coq/issues/13079#issuecomment-698168077, this may be a result of using the autogenerated GitHub source archive rather than the dune-release `.tbz` archive (e.g., https://github.com/garrigue/lablgtk/releases/download/3.1.1/lablgtk3-3.1.1.tbz). This makes these packages unusable with `configure` scripts that do version checks.

There is a log displaying this issue on focal at https://travis-ci.com/github/JasonGross/test2/jobs/390617264. I believe the same issue shows up on groovy, as evidenced by searching for the string `[unspecified]` in the log at https://launchpadlibrarian.net/498745150/buildlog_ubuntu-groovy-amd64.coq_8.master~git~202009232210+21727-0~daily337-d7b2da080b~ubuntu20.10.1_BUILDING.txt.gz .

[Jason Gross (jgross-h)]

Note that this bug makes it impossible to compile CoqIDE on jammy. Is there any eta on getting this fixed?

[Jason Gross (jgross-h)]

This continues to be a problem in impish, jammy, and kinetic.

[Jason Gross (jgross-h)]

See also https://bugs.launchpad.net/ubuntu/+source/lablgtk3/+bug/1964437