Agda | Package Info | koji

Information for package Agda

Name

Agda

ID

21077

Builds

NVR	Built by	Finished	State
1 through 1 of 1
Agda-2.6.4.3-53.fc42	davidlt	2025-06-09 16:06:31

Builds 1 through 1 of 1

Name	Owner	Included?	Extra Arches
1 through 1 of 1
f42	davidlt

Tags 1 through 1 of 1