Mon, 25 Oct 2021 05:41:23 UTC

Information for package emacs-common-proofgeneral

Nameemacs-common-proofgeneral
ID8938
Builds
1 through 33 of 33
NVR Built by Finished descending sort State
emacs-common-proofgeneral-4.4-13.20200506gitea62543.fc34 releng 2021-01-26 05:12:37 complete
emacs-common-proofgeneral-4.4-12.20200506gitea62543.fc33 releng 2020-07-27 17:39:29 complete
emacs-common-proofgeneral-4.4-11.20200506gitea62543.fc33 jjames 2020-05-20 23:09:57 complete
emacs-common-proofgeneral-4.4-10.fc32 releng 2020-01-28 17:19:11 complete
emacs-common-proofgeneral-4.4-9.fc31 releng 2019-07-24 23:28:07 complete
emacs-common-proofgeneral-4.4-8.fc30 besser82 2019-02-01 13:34:43 complete
emacs-common-proofgeneral-4.4-7.fc29 releng 2018-07-13 03:06:39 complete
emacs-common-proofgeneral-4.4-6.fc28 jjames 2018-03-06 04:16:42 complete
emacs-common-proofgeneral-4.4-6.fc29 jjames 2018-03-06 02:16:32 complete
emacs-common-proofgeneral-4.4-5.fc28 releng 2018-02-07 08:27:39 complete
emacs-common-proofgeneral-4.4-4.fc28 ignatenkobrain 2018-01-11 13:57:59 complete
emacs-common-proofgeneral-4.4-3.fc27 releng 2017-07-26 07:44:05 complete
emacs-common-proofgeneral-4.4-2.fc26 releng 2017-02-10 15:13:21 complete
emacs-common-proofgeneral-4.4-1.fc25 jjames 2016-10-25 20:35:00 complete
emacs-common-proofgeneral-4.4-1.fc26 jjames 2016-10-25 20:26:31 complete
emacs-common-proofgeneral-4.2-5.fc24 releng 2016-02-03 21:11:00 complete
emacs-common-proofgeneral-4.2-4.fc23 ausil 2015-06-17 05:38:34 complete
emacs-common-proofgeneral-4.2-3.fc21 ausil 2014-06-07 12:58:10 complete
emacs-common-proofgeneral-4.2-2.fc20 jjames 2014-02-27 22:43:14 complete
emacs-common-proofgeneral-4.2-2.fc21 jjames 2014-02-27 22:32:24 complete
emacs-common-proofgeneral-4.2-1.fc19 jjames 2013-08-24 20:18:27 complete
emacs-common-proofgeneral-4.2-1.fc20 jjames 2013-08-24 20:09:25 complete
emacs-common-proofgeneral-4.2-1.fc21 jjames 2013-08-24 19:58:08 complete
emacs-common-proofgeneral-4.1-3.fc20 ausil 2013-08-03 10:24:53 failed
emacs-common-proofgeneral-4.1-2.fc19 ausil 2013-02-14 14:05:49 failed
emacs-common-proofgeneral-4.1-1.fc18 jjames 2012-07-24 18:47:50 complete
emacs-common-proofgeneral-3.7.1-7.fc18 ausil 2012-07-19 13:25:28 failed
emacs-common-proofgeneral-3.7.1-6.fc17 ausil 2012-01-13 10:24:58 failed
emacs-common-proofgeneral-3.7.1-5.fc15 ausil 2011-02-08 17:58:41 complete
emacs-common-proofgeneral-3.7.1-4.fc11.1 amdunn 2010-01-08 22:01:00 complete
emacs-common-proofgeneral-3.7.1-4.fc11 amdunn 2009-07-31 22:59:04 complete
emacs-common-proofgeneral-3.7.1-4.fc10 amdunn 2009-07-31 22:57:12 complete
emacs-common-proofgeneral-3.7.1-4.fc12 amdunn 2009-07-31 22:15:11 complete
Builds 1 through 33 of 33
Tags
1 through 46 of 46
Name ascending sort Owner Included? Extra Arches
dist-f10 amdunn yes
dist-f15-eol 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 amdunn yes
f32-Beta releng yes
f33 amdunn yes
f33-Beta releng yes
f34 amdunn yes
f34-Beta releng yes
f35 amdunn yes
module-bootstrap-f27 releng yes
module-package-list amdunn yes
Tags 1 through 46 of 46