Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Thu, 28 Jan 2021 12:21:20 UTC
Information for package
Agda-stdlib
Name
Agda-stdlib
ID
17970
Builds
1 through 40 of 40
NVR
Built by
Finished
State
Agda-stdlib-1.3-5.fc34
releng
2021-01-25 23:29:24
Agda-stdlib-1.3-4.fc33
petersen
2020-08-25 16:20:42
Agda-stdlib-1.3-4.fc34
petersen
2020-08-24 12:31:56
Agda-stdlib-1.3-3.fc33
releng
2020-07-27 11:50:24
Agda-stdlib-1.3-2.fc33
petersen
2020-07-21 05:36:03
Agda-stdlib-1.3-1.fc33
petersen
2020-07-20 03:48:12
Agda-stdlib-1.1-3.fc32
petersen
2020-06-23 02:40:02
Agda-stdlib-1.2-1.fc33
petersen
2020-06-07 04:48:51
Agda-stdlib-1.1-2.fc32
releng
2020-01-28 09:35:21
Agda-stdlib-1.1-1.fc31
petersen
2019-08-20 21:23:57
Agda-stdlib-1.1-1.fc32
petersen
2019-08-17 10:41:36
Agda-stdlib-0.17-2.fc31
releng
2019-07-24 18:32:58
Agda-stdlib-0.17-1.fc30
petersen
2019-02-28 15:06:00
Agda-stdlib-0.15-5.fc30
releng
2019-01-31 11:56:58
Agda-stdlib-0.15-4.fc28
petersen
2018-08-29 04:51:39
Agda-stdlib-0.15-4.fc29
petersen
2018-08-29 04:17:29
Agda-stdlib-0.15-4.fc30
petersen
2018-08-28 16:59:45
Agda-stdlib-0.15-3.fc29
petersen
2018-08-22 21:44:14
Agda-stdlib-0.15-3.fc30
petersen
2018-08-22 21:26:42
Agda-stdlib-0.15-2.fc29
releng
2018-07-12 19:39:20
Agda-stdlib-0.15-1.fc28
petersen
2018-07-09 11:13:51
Agda-stdlib-0.15-1.fc29
petersen
2018-07-09 10:40:23
Agda-stdlib-0.13-4.fc29
till
2018-05-26 18:26:19
Agda-stdlib-0.13-4.fc28
ignatenkobrain
2018-02-09 09:20:36
Agda-stdlib-0.13-3.fc27
ausil
2017-08-02 17:57:02
Agda-stdlib-0.13-2.fc27
releng
2017-07-26 02:10:01
Agda-stdlib-0.13-1.fc26
petersen
2017-03-13 07:29:08
Agda-stdlib-0.13-1.fc27
petersen
2017-03-12 14:21:06
Agda-stdlib-0.11-2.fc26
releng
2017-02-10 13:08:13
Agda-stdlib-0.9-3.fc24
releng
2016-02-03 15:30:38
Agda-stdlib-0.9-2.fc23
ausil
2015-06-16 23:03:44
Agda-stdlib-0.9-1.fc22
petersen
2015-04-20 03:32:49
Agda-stdlib-0.9-1.fc23
petersen
2015-04-17 06:54:44
Agda-stdlib-0.9-6.fc23
petersen
2015-04-17 06:27:47
Agda-stdlib-0.7-5.fc21
pbrobinson
2014-08-15 18:56:13
Agda-stdlib-0.7-5.fc22
pbrobinson
2014-08-15 18:51:00
Agda-stdlib-0.7-4.fc21
ausil
2014-06-06 22:47:55
Agda-stdlib-0.7-3.fc19
petersen
2014-02-12 07:48:06
Agda-stdlib-0.7-3.fc20
petersen
2014-02-12 07:23:43
Agda-stdlib-0.7-3.fc21
petersen
2014-02-12 06:27:46
Builds 1 through 40 of 40
Tags
1 through 39 of 39
Name
Owner
Included?
Extra Arches
dist-6E-epel
releng
dist-6E-epel-build
releng
f18
petersen
f19
petersen
f21-beta
petersen
f22-Alpha
petersen
f22-Beta
petersen
f23_Alpha
petersen
f23_Beta
petersen
f24
petersen
f24-Alpha
petersen
f24-Beta
petersen
f24-docker
petersen
f25
releng
f25-Alpha
petersen
f25-Beta
petersen
f25-docker
petersen
f26
releng
f26-Alpha
petersen
f26-Beta
petersen
f26-docker
petersen
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
releng
f32-Beta
releng
f33
releng
f33-Beta
releng
f34
releng
module-bootstrap-f27
releng
module-package-list
releng
trashcan
releng
Tags 1 through 39 of 39
Copyright © 2006-2016 Red Hat, Inc.