stable

Agda-2.6.0.1-23.fc32, dhall-1.24.0-1.fc32, & 9 more

FEDORA-2020-99da0c3c33 created by petersen 4 years ago for Fedora 32

https://dhall-lang.org/ (and package ghc-uri-encode also for Agda)

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-99da0c3c33 \*

This update has been submitted for testing by petersen.

4 years ago

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

4 years ago

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

4 years ago

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

4 years ago

petersen edited this update.

New build(s):

  • Agda-2.6.0.1-23.fc32
  • ghc-atomic-write-0.2.0.7-1.fc32
  • ghc-cborg-0.2.4.0-1.fc32
  • ghc-cborg-json-0.2.2.0-1.fc32
  • ghc-data-fix-0.2.1-1.fc32
  • ghc-parsers-0.12.10-2.fc32
  • ghc-pretty-simple-2.2.0.1-1.fc32
  • ghc-serialise-0.2.3.0-1.fc32
  • ghc-text-manipulate-0.2.0.1-2.fc32
  • ghc-uri-encode-1.5.0.6-2.fc32

Karma has been reset.

4 years ago

petersen edited this update.

4 years ago

This update has been pushed to testing.

4 years ago

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

4 years ago

This update has been submitted for stable by petersen.

4 years ago

This update has been pushed to stable.

4 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
disabled
Stable by Time
disabled
Dates
submitted
4 years ago
in testing
4 years ago
in stable
4 years ago
modified
4 years ago
BZ#1871697 Review Request: dhall - A configuration language guaranteed to terminate
0
0

Automated Test Results