stable

gappalib-coq-1.5.2-1.fc37

FEDORA-2022-097d2b9755 created by jjames 6 months ago for Fedora 37

Automatic update for gappalib-coq-1.5.2-1.fc37.

Changelog
* Wed Jul 20 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-1
- Version 1.5.2
* Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-3
- Remove i686 support
- Use new OCaml macros

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-097d2b9755

This update was automatically created

6 months ago

This update's test gating status has been changed to 'waiting'.

6 months ago

This update's test gating status has been changed to 'ignored'.

6 months ago

This update has been submitted for stable by bodhi

6 months ago

Please login to add feedback.

Metadata
Type
unspecified
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
disabled
Stable by Time
0 days
Dates
submitted
6 months ago
in testing
6 months ago
in stable
6 months ago

Automated Test Results

ignored