Thu, 29 Jan 2026 01:01:49 CST | login

Information for package Agda

NameAgda
ID7008
Builds
1 through 3 of 3
NVR Built by Finished descending sort State
Agda-2.6.4.3-2.oc9 epol-bot 2026-01-14 16:00:43 complete
Agda-2.6.3-2.oc9 bbrucezhang 2025-10-23 15:17:23 failed
Agda-2.6.3-1.oc9 fanjunkong 2024-08-02 18:08:48 complete
Builds 1 through 3 of 3
Tags
1 through 3 of 3
Name ascending sort Owner Included? Extra Arches
dist-oc9-epol fanjunkong yes
dist-oc9-epol-compose bbrucezhang yes
epol9-test-compose fanjunkong yes
Tags 1 through 3 of 3