Fri, 07 May 2021 20:28:22 UTC

Information for package yices

Nameyices
ID26064
Builds
1 through 22 of 22
NVR Built by Finished descending sort State
yices-2.6.2-7.fc34 releng 2021-01-30 07:11:22 complete
yices-2.6.2-6.fc33 jjames 2020-11-27 21:17:52 complete
yices-2.6.2-6.fc34 jjames 2020-11-27 16:24:00 complete
yices-2.6.2-5.fc33 jjames 2020-08-04 02:28:28 complete
yices-2.6.2-4.fc33 releng 2020-07-31 20:14:36 complete
yices-2.6.2-3.fc32 jjames 2020-05-07 16:32:33 complete
yices-2.6.2-3.fc33 jjames 2020-04-25 23:45:20 complete
yices-2.6.2-2.fc33 jjames 2020-04-16 17:51:49 deleted
yices-2.6.2-1.fc32 jjames 2020-03-26 22:57:23 complete
yices-2.6.2-1.fc33 jjames 2020-03-26 21:39:46 deleted
yices-2.6.1-6.fc32 releng 2020-02-01 00:31:36 complete
yices-2.6.1-5.fc32 jjames 2020-01-23 17:18:36 complete
yices-2.6.1-4.fc32 jjames 2019-11-22 19:05:38 deleted
yices-2.6.1-3.fc31 releng 2019-07-28 04:39:18 complete
yices-2.6.1-2.fc30 releng 2019-02-03 19:43:54 complete
yices-2.6.1-1.fc29 jjames 2018-10-31 02:48:45 complete
yices-2.6.1-1.fc30 jjames 2018-10-31 02:29:33 complete
yices-2.6.0-2.fc29 releng 2018-07-16 02:56:42 complete
yices-2.6.0-1.fc29 jjames 2018-07-05 04:00:58 complete
yices-2.5.4-3.fc28 releng 2018-02-11 08:38:04 complete
yices-2.5.4-2.fc27 jjames 2018-01-05 02:42:42 complete
yices-2.5.4-2.fc28 jjames 2018-01-04 01:15:03 complete
Builds 1 through 22 of 22
Tags
1 through 18 of 18
Name ascending sort Owner Included? Extra Arches
f27 releng yes
f28 releng yes
f28-Beta releng yes
f29 releng yes
f29-Beta releng yes
f30 releng yes
f30-Beta releng yes
f31 releng yes
f31-Beta releng yes
f32 jjames yes
f32-Beta releng yes
f33 jjames yes
f33-Beta releng yes
f34 jjames yes
f34-Beta releng yes
f35 jjames yes
module-package-list jjames yes
trashcan releng yes
Tags 1 through 18 of 18