Sat, 31 Oct 2026 22:15:49 UTC Log in

why3

ID 49541 build2 tags

Builds

NVR Built by Finished descending sort State
why3-1.8.2-15.fc45 guoguo 2026-10-30 02:10:27 failed
Builds 1–1 of 1

Package

Name
why3
ID
4954

Tags

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