Dear Maintainer, packages building coq libraries on top of ssreflect
will depend on the md5 sum of the .vo files shipped by this package.
There checksums change when Coq is updated, OCaml is updated, ssreflect is
updated... Adding an ABI will force us to do a binnmu to avoid distributing a
package that installs but whose contents cannot be loaded by Coq.

Hi,

since I wrote dh-coq and started using it for all coq-related packages,
we do have an ABI that will avoid future breakages.

Cheers,

J.Puydt