idris | Package Info | ISCAS openkoji system

This site has been archived!!! Click here to visit the new openkoji buildsystem!

Information for package idris

Name

idris

ID

21941

Builds

NVR	Built by	Finished	State
1 through 5 of 5
idris-1.3.4-1.fc40	hezhengyu	2024-02-16 15:54:58
idris-1.3.4-1.fc39	hezhengyu	2024-02-14 20:11:49
idris-1.3.4-6.fc38	kojiadmin	2023-08-18 13:26:40
idris-1.3.4-6.rvmock0.fc38	hezhengyu	2023-07-30 08:33:21
idris-1.3.4-5.fc37	kojiadmin	2023-02-25 05:53:11

Builds 1 through 5 of 5

Name	Owner	Included?	Extra Arches
1 through 4 of 4
f37	kojiadmin
f38	kojiadmin
f39	kojiadmin
f40	kojiadmin

Tags 1 through 4 of 4