rpm/flocq
SHA256
1
0
Fork 0
forked from pool/flocq
Code Pull Requests Activity
12 Commits 2 Branches 0 Tags 65 KiB
RPM Spec 100%
5ccfa0be7d
Go to file
Dominique Leuenberger 5ccfa0be7d Accepting request 1075337 from science 
- Update to version 4.1.1.
  * Ensured compatibility from Coq 8.12 to 8.17.

OBS-URL: https://build.opensuse.org/request/show/1075337
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/flocq?expand=0&rev=5
2023-03-29 21:28:36 +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.1.1.tar.gz - Update to version 4.1.1. 2023-03-29 19:03:02 +00:00
flocq-rpmlintrc Accepting request 974183 from home:aaronpuchert 2022-05-01 19:52:45 +00:00
flocq.changes - Update to version 4.1.1. 2023-03-29 19:03:02 +00:00
flocq.spec - Update to version 4.1.1. 2023-03-29 19:03:02 +00:00