Information for RPM Agda-stdlib-1.7.3-5.fc41.src.rpm
| ID | 194653 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | Agda-stdlib-1.7.3-5.fc41 | ||||||||
| Name | Agda-stdlib | ||||||||
| Version | 1.7.3 | ||||||||
| Release | 5.fc41 | ||||||||
| Epoch | |||||||||
| Arch | src | ||||||||
| Draft | False | ||||||||
| Summary | Agda standard libraries | ||||||||
| Description | Agda standard libraries | ||||||||
| Build Time | 2024-05-08 11:20:13 GMT | ||||||||
| Size | 938.90 KB | ||||||||
| 6ac60297312a662f724d3e01d2f77321 | |||||||||
| License | MIT | ||||||||
| Buildroot | f41-build-282168-9021 | ||||||||
| Provides |
|
||||||||
| Obsoletes | No Obsoletes | ||||||||
| Conflicts | No Conflicts | ||||||||
| Requires |
|
||||||||
| Recommends | No Recommends | ||||||||
| Suggests | No Suggests | ||||||||
| Supplements | No Supplements | ||||||||
| Enhances | No Enhances | ||||||||
| Files |
|
||||||||
| Component of | No Buildroots | ||||||||
