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... 5 months petersen F30 +1 stable