Agda | Package Info | koji

Thu, 21 Nov 2024 18:23:45 CST | login

Information for package Agda

Name

Agda

ID

5903

Builds

NVR	Built by	Finished	State
1 through 1 of 1
Agda-2.6.3-1.ocs23	bbrucezhang	2024-06-19 11:32:30

Builds 1 through 1 of 1

Name	Owner	Included?	Extra Arches
1 through 3 of 3
dist-ocs23	fanjunkong
dist-ocs23-epol9	denisecheng
epol9-test-compose	bbrucezhang

Tags 1 through 3 of 3