Ana Guerrero 4da058fce5 Accepting request 1341908 from science ...

- Update to version 4.2.2.
  * Made Coq 8.15 the minimal version and removed the `Int63Compat`
    and `Nat2Z_compat` layers
  * Ensured compatibility from Coq 8.15 to 9.1.0.
  * Ensured compatibility with Coq Stdlib up to 9.1.0.
- Fix build with Coq/Rocq > 9 by requiring standard library.

OBS-URL: https://build.opensuse.org/request/show/1341908
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/flocq?expand=0&rev=9

2026-03-23 16:13:24 +00:00

.gitattributes

- Update to version 4.2.2.

2026-02-28 01:20:21 +00:00

.gitignore

- Update to version 4.2.2.

2026-02-28 01:20:21 +00:00

flocq-4.2.2.tar.gz

- Update to version 4.2.2.

2026-02-28 01:20:21 +00:00

flocq-rpmlintrc

- Update to version 4.2.2.

2026-02-28 01:20:21 +00:00

flocq.changes

- Update to version 4.2.2.

2026-02-28 01:20:21 +00:00

flocq.spec

- Update documentation paths for Coq/Rocq 9.0.

2026-02-28 01:51:02 +00:00

Description

No description provided

60 KiB

Languages

RPM Spec 100%