stable

coq-8.11.1-1.fc32, flocq-3.2.1-2.fc32, & 5 more

FEDORA-2020-1dbd4551fc created by jjames 3 years ago for Fedora 32

See https://coq.github.io/doc/V8.11.1/refman/changes.html#changes-in-8-11-1 for changes in coq 8.11.1. All other builds are simple rebuilds due to the coq update.

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2020-1dbd4551fc

This update has been submitted for testing by jjames.

3 years ago

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

3 years ago

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

3 years ago

This update has been pushed to testing.

3 years ago

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

3 years ago

This update has been submitted for stable by bodhi.

3 years ago

This update has been pushed to stable.

3 years ago

Please login to add feedback.

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

Automated Test Results