pool/flocq
SHA256
17
0
Fork 2
Code Issues Pull Requests Activity

Compare commits

base: pool:factory
Branches Tags
pool:factory science:main
..
compare: science:main
Branches Tags
science:main pool:factory

3 Commits
factory ... main

Author SHA256 Message Date
Dominique Leuenberger
53e2927c38 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
Aaron Puchert
765e308a20 - Polish change log. 
OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=18
 2024-07-25 19:12:53 +00:00
Aaron Puchert
726a0eef63 Accepting request 1189527 from home:frantisek.simorda:branches:openSUSE:Factory 
- 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/1189527
OBS-URL: https://build.opensuse.org/package/show/science/flocq?expand=0&rev=17
 2024-07-25 18:48:59 +00:00
Expand all files Collapse all files

Diff Content Not Available