stable

coq-8.12.2-1.fc33, flocq-3.3.1-9.fc33, & 5 more

FEDORA-2020-f9296371d9 created by jjames 2 years ago for Fedora 33

See https://coq.inria.fr/distrib/V8.12.2/refman/changes.html#changes-in-8-12-2 for changes in coq 8.12.2. All other builds are simple rebuilds due to the coq update.

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2020-f9296371d9

This update has been submitted for testing by jjames.

2 years ago

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

2 years ago

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

2 years ago

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

2 years ago

This update has been pushed to testing.

2 years ago

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

2 years ago

This update has been submitted for stable by bodhi.

2 years ago

This update has been pushed to stable.

2 years ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
2 years ago
in testing
2 years ago
in stable
2 years ago

Automated Test Results