Tue, 02 Jun 2020 08:59:08 UTC

Information for package coq

Namecoq
ID6473
Builds
Page:
1 through 50 of 150 >>>
NVR Built by Finished descending sort State
coq-8.11.1-1.fc32 jjames 2020-05-20 19:10:19 complete
coq-8.11.1-1.fc33 jjames 2020-05-20 17:50:40 complete
coq-8.11.0-5.fc33 rjones 2020-05-05 16:44:19 complete
coq-8.11.0-4.fc33 rjones 2020-04-22 16:07:10 failed
coq-8.11.0-2.fc32 jjames 2020-04-09 16:39:09 complete
coq-8.11.0-3.fc33 rjones 2020-04-04 16:58:47 complete
coq-8.11.0-2.fc33 jjames 2020-04-01 01:50:50 complete
coq-8.11.0-1.fc32 jjames 2020-03-27 20:43:06 complete
coq-8.11.0-1.fc33 jjames 2020-03-25 18:19:28 complete
coq-8.9.1-13.fc32 releng 2020-02-02 01:52:50 complete
coq-8.9.1-12.fc32 jjames 2020-01-22 05:28:40 complete
coq-8.9.1-5.fc31 jjames 2020-01-16 00:33:46 complete
coq-8.9.1-11.fc32 jjames 2020-01-15 23:11:03 deleted
coq-8.9.1-9.fc32 rjones 2019-12-06 11:36:33 complete
coq-8.9.1-8.fc32 rjones 2019-12-06 09:22:34 deleted
coq-8.9.1-7.fc32 rjones 2019-12-05 22:35:22 deleted
coq-8.9.1-6.fc32 jjames 2019-09-04 03:42:34 complete
coq-8.9.1-5.fc32 jjames 2019-08-30 02:18:20 complete
coq-8.9.1-4.fc31 jjames 2019-08-01 18:47:01 complete
coq-8.9.1-3.fc31 rjones 2019-07-31 22:52:44 complete
coq-8.9.1-2.fc31 jjames 2019-07-30 01:20:58 complete
coq-8.9.1-1.fc31 jjames 2019-06-06 01:53:09 complete
coq-8.8.2-2.fc30 jjames 2019-02-08 03:49:10 complete
coq-8.8.2-1.fc29 jjames 2019-01-26 23:33:11 failed
coq-8.8.2-1.fc30 jjames 2019-01-26 16:25:49 complete
coq-8.7.1-7.fc29 releng 2018-07-13 07:57:56 complete
coq-8.7.1-6.fc29 rjones 2018-07-11 14:53:27 complete
coq-8.7.1-5.fc29 rjones 2018-06-19 23:53:44 complete
coq-8.7.1-4.fc29 rjones 2018-06-19 21:49:36 failed
coq-8.7.1-3.fc29 rjones 2018-06-19 21:25:03 failed
coq-8.7.1-2.fc28 jjames 2018-02-25 01:29:41 complete
coq-8.7.1-2.fc29 jjames 2018-02-25 00:19:04 complete
coq-8.7.1-1.fc28 jjames 2018-02-13 04:27:35 complete
coq-8.6.1-4.fc28 releng 2018-02-07 12:48:54 complete
coq-8.6.1-3.fc28 rjones 2017-11-17 19:40:27 complete
coq-8.6.1-2.fc28 rjones 2017-11-08 15:44:17 complete
coq-8.6.1-1.fc28 rjones 2017-09-06 19:43:26 complete
coq-8.6.1-1.fc27 rjones 2017-09-06 17:16:33 complete
coq-8.6-8.fc27 rjones 2017-08-07 20:07:59 failed
coq-8.6-7.fc27 releng 2017-08-03 04:23:18 failed
coq-8.6-6.fc27 ignatenkobrain 2017-07-26 16:27:01 failed
coq-8.6-5.fc27 rjones 2017-06-26 19:10:11 complete
coq-8.6-4.fc27 rjones 2017-05-12 08:34:50 complete
coq-8.6-3.fc27 rjones 2017-05-12 01:13:53 failed
coq-8.6-2.fc26 releng 2017-02-12 05:28:46 complete
coq-8.6-1.fc25 jjames 2017-01-13 18:28:52 complete
coq-8.6-1.fc26 jjames 2017-01-13 15:55:30 complete
coq-8.5pl3-2.fc26 rjones 2016-11-05 12:53:24 complete
coq-8.5pl3-1.fc25 jjames 2016-10-28 18:35:53 complete
coq-8.5pl3-1.fc26 jjames 2016-10-28 18:18:27 deleted
Builds 1 through 50 of 150 >>>
Tags
Page:
1 through 50 of 52 >>>
Name ascending sort Owner Included? Extra Arches
dist-f15-eol amdunn yes
dist-fc7 amdunn yes
f10-alpha amdunn yes
f10-beta amdunn yes
f10-final amdunn yes
f11-alpha amdunn yes
f11-alpha-2 amdunn yes
f11-beta amdunn yes
f11-final amdunn yes
f12-alpha amdunn yes
f12-beta amdunn yes
f12-final amdunn yes
f17-final amdunn yes
f18 amdunn yes
f18-Alpha amdunn yes
f18-Beta amdunn yes
f18-final amdunn yes
f21-beta amdunn yes
f22-Alpha amdunn yes
f22-Beta amdunn yes
f23_Alpha amdunn yes
f23_Beta amdunn yes
f24 amdunn yes
f24-Alpha amdunn yes
f24-Beta amdunn yes
f24-docker amdunn yes
f25 releng yes
f25-Alpha amdunn yes
f25-Beta amdunn yes
f25-docker amdunn yes
f26 releng yes
f26-Alpha amdunn yes
f26-Beta amdunn yes
f26-docker amdunn yes
f27 releng yes
f27-Beta 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 releng yes
f32-Beta releng yes
f33 releng yes
f9-build-cutoff amdunn yes
f9-cutoff amdunn yes
module-bootstrap-f27 releng yes
Tags 1 through 50 of 52 >>>