Information for build Agda-2.3.0.1-1.fc18
| ID | 330571 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | Agda | ||||||||||
| Version | 2.3.0.1 | ||||||||||
| Release | 1.fc18 | ||||||||||
| Epoch | |||||||||||
| Built by | petersen | ||||||||||
| State | deleted | ||||||||||
| Volume | DEFAULT | ||||||||||
| Started | Sun, 15 Jul 2012 07:34:18 UTC | ||||||||||
| Completed | Sun, 15 Jul 2012 07:38:19 UTC | ||||||||||
| Task | build (rawhide, /Agda:7d0ed70eb3fc0918929e77e344d30b6d9a5ee632) | ||||||||||
| Tags | No tags | ||||||||||
| RPMs |
|
