search

garrigue / lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit
https://garrigue.github.io/lablgtk
Other
90 stars 40 forks source link

Add missing (version ..) field (fixes coq-ide) #149

Closed kit-ty-kate closed 2 years ago

kit-ty-kate commented 2 years ago

See https://github.com/ocaml/opam-repository/pull/20323#issuecomment-1004060669

ejgallego commented 2 years ago

This seems like not the right fix for this issue, it seems that the original bug is due to an incorrect preparation of the tarballs.