| provides |  rawhide development/Everything-os | 31 releases/Everything-os | rawhide development/Everything-os 30 releases/Everything-os | 29 releases/Everything-os | 29 releases-test/Everything-os | 27 development/Everything-os rawhide development/Everything-os 27 releases/Everything-os 28 releases/Everything-os 27 releases-test/Everything-os |
|---|---|---|---|---|---|---|
| Agda-stdlib-docs | = 1.1-2.fc32 | = 1.1-1.fc31 | = 0.17-1.fc30 | = 0.15-4.fc29 | = 0.15-3.fc29 | = 0.13-3.fc27 |
