Agda-stdlib | Package Info | ISCAS openkoji system

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

Information for package Agda-stdlib

Name

Agda-stdlib

ID

13377

Builds

NVR	Built by	Finished	State
1 through 7 of 7
Agda-stdlib-1.7.3-5.fc40	hezhengyu	2024-04-16 10:00:34
Agda-stdlib-1.7.3-1.fc40	hezhengyu	2024-04-05 17:26:32
Agda-stdlib-1.7.2-1.fc39	hezhengyu	2023-12-04 10:28:51
Agda-stdlib-1.7.1-5.rvrebuild.fc38	hezhengyu	2023-09-29 16:30:36
Agda-stdlib-1.7.1-5.fc38	kojiadmin	2023-04-21 02:09:39
Agda-stdlib-1.7.1-3.fc37	kojiadmin	2023-02-28 06:35:05
Agda-stdlib-1.7.1-2.fc37	kojiadmin	2023-01-30 12:33:15

Builds 1 through 7 of 7

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

Tags 1 through 4 of 4