flocq-4.1.4-bp156.1.4

- Update to version 4.1.4.
  * Ensured compatibility from Coq 8.12 to 8.19.

- Update to version 4.1.2.
  * Ensured compatibility from Coq 8.12 to 8.18.
- Update to version 4.1.3.
  * Avoided breaking users of `IEEE754.PrimFloat`.

- Update to version 4.1.1.
  * Ensured compatibility from Coq 8.12 to 8.17.

- Build with ocaml-rpm-macros to get proper Requires and Provides
  for flocq-devel. This should prevent incompatibilities with other
  Ocaml libraries when building native objects against flocq-devel.

- Add Git-Clone URL

- Update to version 4.1.0.
  * Added `Bnearbyint` and `Btrunc` in `IEEE754`.
  * Ensured compatibility from Coq 8.12 to 8.16.
- Fix patching of coqdoc invocation, make it more robust.
- Patch up coqdoc invocation also for older Coq versions since they
  don't understand --coqlib_url.

- Update to version 4.0.0.
  * Made Coq 8.12 the minimal version and removed the
    `IEEE754.SpecFloatCompat` layer
  * Removed automatic export of `ZArith` and `Reals` from
    `Core.Raux` and `Core.Core`
  * Proved a close/far-path adder in `Calc.Plus`.
  * Made `IEEE754.Binary` a wrapper around
    `IEEE754.BinarySingleNaN`.
- Put development files into separate package.
- Let documentation point to coq-doc.

- update to 3.2.0
  * compatibility with coq 8.10

- update to 3.0.0
  * compatibility with coq 8.8

- update to 2.6.0
  * fix compile with coq 8.7.0

- update to 2.5.2 from upstream

- update to 2.2.0 from upstream

- remove coq version constraint

- imported from Fedora
- adapted to openSUSE packaging guidelines