Updates

Update Age Submitter Release Karma Request Status
Agda-2.5.4.2-17.fc30 Agda-stdlib-0.17-1.fc30 ShellCheck-0.6.0-3.fc30 a... 6 months petersen F30 +1 stable
ghc-attoparsec-binary-0.2-1.fc26 2 years dshea F26 0 stable
ghc-attoparsec-binary-0.2-1.fc27 2 years dshea F27 0 stable