Dominique Leuenberger ebd68c7df8 Accepting request 1189653 from science ...

- Update to version 4.2.0.
  * Added SF2B' as a proof-free variant of SF2B.
  * Fixed installation of Pff2Flocq.
  * Ensured compatibility from Coq 8.12 to 8.20.

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

2024-07-26 14:15:44 +00:00

.gitattributes

Accepting request 974183 from home:aaronpuchert

2022-05-01 19:52:45 +00:00

.gitignore

Accepting request 974183 from home:aaronpuchert

2022-05-01 19:52:45 +00:00

flocq-4.2.0.tar.gz

Accepting request 1189527 from home:frantisek.simorda:branches:openSUSE:Factory

2024-07-25 18:48:59 +00:00

flocq-rpmlintrc

Accepting request 974183 from home:aaronpuchert

2022-05-01 19:52:45 +00:00

flocq.changes

- Polish change log.

2024-07-25 19:12:53 +00:00

flocq.spec

Accepting request 1189527 from home:frantisek.simorda:branches:openSUSE:Factory

2024-07-25 18:48:59 +00:00

Description

No description provided

56 KiB

Languages

RPM Spec 100%