stable

Agda-2.6.1-28.fc33, dhall-1.32.0-2.fc33, & 5 more

FEDORA-2020-ce7cc4dfc4 created by petersen 3 years ago for Fedora 33

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf install --refresh --advisory=FEDORA-2020-ce7cc4dfc4 \*

This update has been submitted for testing by petersen.

3 years ago

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

3 years ago

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

3 years ago

petersen edited this update.

3 years ago

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

3 years ago

petersen edited this update.

3 years ago

This update has been pushed to testing.

3 years ago

petersen edited this update.

New build(s):

  • Agda-2.6.1-28.fc33

Karma has been reset.

3 years ago

This update has been submitted for testing by petersen.

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
newpackage
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
3 days
Dates
submitted
3 years ago
in testing
3 years ago
in stable
3 years ago
modified
3 years ago
BZ#1871452 Review Request: ghc-atomic-write - Atomically write to a file
0
0
BZ#1871643 Review Request: ghc-data-fix - Fixpoint data types
0
0
BZ#1871644 Review Request: ghc-pretty-simple - Pretty printer for data types with a 'Show' instance
0
0
BZ#1871648 Review Request: ghc-text-manipulate - Case conversion, word boundary manipulation, and textual subjugation
0
0
BZ#1871697 Review Request: dhall - A configuration language guaranteed to terminate
0
0
BZ#1873973 Review Request: ghc-uri-encode - Unicode aware uri-encoding
0
0

Automated Test Results