gappalib-coq | Package Info

Information for package gappalib-coq

Name

gappalib-coq

12784

Builds

NVR	Built by	Finished
Page: 1 through 50 of 162 >>>
gappalib-coq-1.5.3-4.fc39	jjames	2023-07-27 17:34:16
gappalib-coq-1.5.3-3.fc39	releng	2023-07-19 20:55:19
gappalib-coq-1.5.3-2.fc39	rjones	2023-07-12 18:52:56
gappalib-coq-1.5.3-1.fc38	jjames	2023-04-03 21:07:16
gappalib-coq-1.5.3-1.fc39	jjames	2023-04-01 17:48:48
gappalib-coq-1.5.2-7.fc38	rjones	2023-01-24 18:03:10
gappalib-coq-1.5.2-6.fc38	releng	2023-01-19 05:11:53
gappalib-coq-1.5.2-5.fc37	jjames	2022-11-27 04:11:47
gappalib-coq-1.5.2-5.fc38	jjames	2022-11-27 01:57:50
gappalib-coq-1.4.6-10.fc35	jjames	2022-10-17 16:01:32
gappalib-coq-1.5.2-4.fc37	jjames	2022-09-17 00:49:47
gappalib-coq-1.5.2-4.fc38	jjames	2022-09-16 21:06:29
gappalib-coq-1.5.2-3.fc37	jjames	2022-08-18 22:08:38
gappalib-coq-1.5.2-3.fc38	jjames	2022-08-18 16:13:54
gappalib-coq-1.5.2-2.fc37	releng	2022-07-21 04:31:55
gappalib-coq-1.5.2-1.fc37	jjames	2022-07-20 16:53:57
gappalib-coq-1.5.1-3.fc36	jjames	2022-06-22 16:48:11
gappalib-coq-1.5.1-3.fc37	rjones	2022-06-19 19:30:58
gappalib-coq-1.5.1-2.fc36	jjames	2022-03-26 18:04:59
gappalib-coq-1.5.1-2.fc37	jjames	2022-03-25 18:04:04
gappalib-coq-1.5.1-1.fc36	jjames	2022-03-02 00:02:27
gappalib-coq-1.5.1-1.fc37	jjames	2022-03-01 02:42:48
gappalib-coq-1.5.0-4.fc36	rjones	2022-02-04 18:08:00
gappalib-coq-1.5.0-3.fc36	releng	2022-01-20 04:35:16
gappalib-coq-1.5.0-2.fc36	jjames	2021-11-30 20:44:19
gappalib-coq-1.5.0-1.fc36	jjames	2021-10-21 18:14:08
gappalib-coq-1.4.6-11.fc36	rjones	2021-10-05 14:36:04
gappalib-coq-1.4.6-9.fc35	jjames	2021-07-30 14:48:07
gappalib-coq-1.4.6-8.fc35	releng	2021-07-22 00:56:04
gappalib-coq-1.4.6-6.fc34	jjames	2021-07-16 03:56:36
gappalib-coq-1.4.6-7.fc35	jjames	2021-07-15 00:46:11
gappalib-coq-1.4.6-5.fc34	jjames	2021-06-13 01:39:47
gappalib-coq-1.4.6-6.fc35	jjames	2021-06-12 21:48:25
gappalib-coq-1.4.6-4.fc34	jjames	2021-03-08 20:23:58
gappalib-coq-1.4.6-5.fc35	jjames	2021-03-03 21:01:55
gappalib-coq-1.4.6-4.fc35	rjones	2021-03-02 11:25:12
gappalib-coq-1.4.6-3.fc34	jjames	2021-02-21 16:16:23
gappalib-coq-1.4.6-3.fc35	jjames	2021-02-21 16:05:46
gappalib-coq-1.4.6-2.fc34	releng	2021-01-26 08:14:39
gappalib-coq-1.4.6-1.fc34	jjames	2021-01-04 23:03:42
gappalib-coq-1.4.4-9.fc33	jjames	2021-01-03 17:21:42
gappalib-coq-1.4.4-9.fc34	jjames	2021-01-02 17:25:22
gappalib-coq-1.4.4-8.fc33	jjames	2020-12-24 17:56:40
gappalib-coq-1.4.4-8.fc34	jjames	2020-12-24 05:01:14
gappalib-coq-1.4.4-7.fc33	jjames	2020-12-03 03:24:54
gappalib-coq-1.4.4-7.fc34	jjames	2020-12-02 23:50:57
gappalib-coq-1.4.4-6.fc33	jjames	2020-09-27 03:13:46
gappalib-coq-1.4.4-6.fc34	jjames	2020-09-25 19:32:12
gappalib-coq-1.4.4-5.fc33.1	rjones	2020-09-03 09:49:36
gappalib-coq-1.4.4-5.fc34	rjones	2020-09-02 16:13:27

Builds 1 through 50 of 162 >>>

Name	Owner	Included?	Extra Arches
Page: 1 through 50 of 54 >>>
dist-f11	jjames
dist-f15-eol	jjames
f17-final	jjames
f18	jjames
f18-Alpha	jjames
f18-Beta	jjames
f18-final	jjames
f21-beta	jjames
f22-Alpha	jjames
f22-Beta	jjames
f23_Alpha	jjames
f23_Beta	jjames
f24	jjames
f24-Alpha	jjames
f24-Beta	jjames
f24-docker	jjames
f25	releng
f25-Alpha	jjames
f25-Beta	jjames
f25-docker	jjames
f26	releng
f26-Alpha	jjames
f26-Beta	jjames
f26-docker	jjames
f27	releng
f27-Beta	releng
f28	releng
f28-Beta	releng
f29	releng
f29-Beta	releng
f30	releng
f30-Beta	releng
f31	releng
f31-Beta	releng
f32	jjames
f32-Beta	releng
f33	jjames
f33-Beta	releng
f34	jjames
f34-Beta	releng
f35	jjames
f35-Beta	jjames
f36	jjames
f36-Beta	jjames
f37	jjames
f37-Beta	jjames
f38	jjames
f38-Beta	jjames
f39	jjames
f39-Beta	jjames

Tags 1 through 50 of 54 >>>