Information for build Agda-2.3.0.1-5.fc19
| ID | 374901 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | Agda | ||||||||||
| Version | 2.3.0.1 | ||||||||||
| Release | 5.fc19 | ||||||||||
| Epoch | |||||||||||
| Built by | petersen | ||||||||||
| State | deleted | ||||||||||
| Volume | DEFAULT | ||||||||||
| Started | Tue, 25 Dec 2012 05:48:49 UTC | ||||||||||
| Completed | Tue, 25 Dec 2012 05:53:10 UTC | ||||||||||
| Task | build (rawhide, /Agda:e9c90f6ee6af6caaa6d8e24bddde2f390503d93f) | ||||||||||
| Tags | No tags | ||||||||||
| RPMs |
|
