Tue, 20 Aug 2019 03:34:42 UTC

Information for package yices

Nameyices
ID26064
Builds
1 through 9 of 9
NVR Built by Finished descending sort State
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
Tags
1 through 10 of 10
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
f32 releng yes
module-package-list releng yes