| ID | 4341637 |
|---|---|
| Name | Agda |
| Version | 2.3.2.1 |
| Release | 1.fc19 |
| Epoch | |
| Arch | i686 |
| Summary | |
| Description | |
| Build Time | 2013-08-20 03:39:11 GMT |
| State | deleted |
| Size | 4.51 KB |
| 3a99e4bfefa9f462da15f7cdaa6b2147 | |
| License | |
| Buildroot | f19-build-1819553-314645 |
| Provides | No Provides |
| Obsoletes | No Obsoletes |
| Conflicts | No Conflicts |
| Requires | No Requires |
| Recommends | No Recommends |
| Suggests | No Suggests |
| Supplements | No Supplements |
| Enhances | No Enhances |
| Files | No Files |
| Component of | No Buildroots |