Sun, 05 Feb 2023 17:35:16 UTC

Information for user petersen

Namepetersen
ID56
Tasks17512
Packages
Page:
1 through 10 of 10949 >>>
Name ascending sort Tag Included?
Agda dist-f15 yes
Agda f18 yes
Agda f18-Alpha yes
Agda dist-f15-eol yes
Agda f18-Beta yes
Agda f18-final yes
Agda f21-beta yes
Agda f22-Alpha yes
Agda f22-Beta yes
Agda f24 yes
Builds
Page:
1 through 10 of 12606 >>>
NVR ascending sort Finished State
Agda-2.3.0.1-1.fc16 2012-07-15 07:58:04 complete
Agda-2.3.0.1-1.fc17 2012-07-15 07:50:41 complete
Agda-2.3.0.1-1.fc18 2012-07-15 07:38:19 deleted
Agda-2.3.0.1-3.fc19 2012-11-20 09:47:17 deleted
Agda-2.3.0.1-4.fc18 2012-12-13 06:28:59 complete
Agda-2.3.0.1-4.fc19 2012-12-06 10:04:59 deleted
Agda-2.3.0.1-5.fc19 2012-12-25 05:53:10 deleted
Agda-2.3.0.1-7.fc20 2013-03-23 13:44:59 deleted
Agda-2.3.0.1-8.fc20 2013-03-25 03:45:01 deleted
Agda-2.3.2.1-1.fc19 2013-08-20 03:46:15 deleted