Tue, 17 Dec 2024 02:37:36 UTC | login

Information for package why3

Namewhy3
ID21714
Builds
1 through 21 of 21
NVR Built by Finished descending sort State
why3-1.7.2-8.fc41 davidlt 2024-09-19 16:19:19 complete
why3-1.7.2-7.fc41 davidlt 2024-07-25 11:48:54 complete
why3-1.7.2-2.fc41 davidlt 2024-06-04 15:57:58 failed
why3-1.7.1-2.fc40 davidlt 2024-03-26 19:09:23 complete
why3-1.7.0-1.fc40 davidlt 2024-01-07 18:51:25 failed
why3-1.6.0-8.fc40 davidlt 2024-01-03 12:49:49 failed
why3-1.6.0-7.fc40 davidlt 2023-12-03 19:34:46 failed
why3-1.5.1-7.fc38 davidlt 2023-06-12 08:59:52 failed
why3-1.5.1-1.fc37 davidlt 2022-11-14 19:31:55 failed
why3-1.3.3-4.fc33 davidlt 2021-05-07 19:45:37 failed
why3-1.3.3-3.fc33 davidlt 2021-01-11 12:13:55 failed
why3-1.3.3-2.fc33 davidlt 2020-12-31 11:43:43 failed
why3-1.3.3-1.fc33 davidlt 2020-12-04 08:05:15 failed
why3-1.3.1-12.fc33 davidlt 2020-09-05 15:45:22 failed
why3-1.3.1-8.fc33 davidlt 2020-06-09 12:11:05 failed
why3-1.3.1-7.fc33 davidlt 2020-05-10 14:57:22 failed
why3-1.3.1-6.fc33 davidlt 2020-04-16 15:10:55 failed
why3-1.3.1-2.fc33 davidlt 2020-04-08 21:29:43 failed
why3-1.3.1-1.fc33 davidlt 2020-03-28 07:19:55 failed
why3-1.2.0-5.fc31 davidlt 2019-09-22 06:21:29 failed
why3-1.2.0-4.fc31 davidlt 2019-09-02 14:03:14 failed
Builds 1 through 21 of 21
Tags
1 through 11 of 11
Name ascending sort Owner Included? Extra Arches
f29 kojiadmin yes
f30 kojiadmin yes
f31 kojiadmin yes
f32 kojiadmin yes
f33 kojiadmin yes
f37 kojiadmin yes
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
f41 kojiadmin yes
f42 kojiadmin yes
Tags 1 through 11 of 11