FEDORA-2020-825417d0f7 created by jjames 5 months ago for Fedora 34
stable

Automatic update for zenon-0.8.4-19.fc34.

Changelog
* Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-19
- Rebuild for coq 8.12.2

How to install

sudo dnf upgrade --advisory=FEDORA-2020-825417d0f7

This update was automatically created

5 months ago

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

5 months ago

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

5 months ago

This update can be pushed to stable now if the maintainer wishes

5 months ago

This update has been submitted for stable by bodhi

5 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
5 months ago
in testing
5 months ago
in stable
5 months ago

Automated Test Results