Sun, 01 Nov 2026 23:34:29 UTC Log in

idris2

ID 52471 build2 tags

Builds

NVR Built by Finished descending sort State
idris2-0.8.0-6.fc45 guoguo 2026-10-29 18:37:23 failed
Builds 1–1 of 1

Package

Name
idris2
ID
5247

Tags

Name ascending sort Owner Included? Extra Arches
f44 kojiadmin yes -
f45 kojiadmin yes -
Tags 1–2 of 2