Information for build Agda-2.3.2.1-1.fc19
| ID | 457414 | ||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | Agda | ||||||||||||||||||||||||||
| Version | 2.3.2.1 | ||||||||||||||||||||||||||
| Release | 1.fc19 | ||||||||||||||||||||||||||
| Epoch | |||||||||||||||||||||||||||
| Built by | petersen | ||||||||||||||||||||||||||
| State | deleted | ||||||||||||||||||||||||||
| Volume | DEFAULT | ||||||||||||||||||||||||||
| Started | Tue, 20 Aug 2013 03:19:24 UTC | ||||||||||||||||||||||||||
| Completed | Tue, 20 Aug 2013 03:46:15 UTC | ||||||||||||||||||||||||||
| Task | build (f19-candidate, /Agda:d7c1d5f2023cb2d074c7129697e661970644730b) | ||||||||||||||||||||||||||
| Tags | No tags | ||||||||||||||||||||||||||
| RPMs |
|
