Sat, 23 Nov 2024 16:25:27 CST | login

Information for package idris

Nameidris
ID3467
Builds
1 through 1 of 1
NVR Built by Finished descending sort State
idris-1.3.4-1.ocs23 bbrucezhang 2024-07-22 12:32:26 complete
Builds 1 through 1 of 1
Tags
1 through 3 of 3
Name ascending sort Owner Included? Extra Arches
dist-ocs23 fanjunkong yes
dist-ocs23-epol9 denisecheng yes
epol9-test-compose bbrucezhang yes
Tags 1 through 3 of 3