| ID | 1144352 |
| Name | Agda-stdlib |
| Version | 1.7.3 |
| Release | 2.fc40 |
| Epoch | |
| Arch | src |
| Summary |
| Description |
| Build Time | 2023-12-08 02:43:54 GMT |
| Size | 938.34 KB |
| 9556255f6ccab2d88c4cd4f44bc2e8c4 |
| License | MIT |
| Provides |
| Agda-stdlib = 1.7.3-2.fc40 |
| Agda-stdlib-docs = 1.7.3-2.fc40 |
|
| Obsoletes |
No Obsoletes
|
| Conflicts |
No Conflicts
|
| Requires |
| Agda |
| ghc-Cabal-devel |
| ghc-filemanip-devel |
| ghc-rpm-macros |
| rpmlib(CompressedFileNames) <= 3.0.4-1 |
| rpmlib(FileDigests) <= 4.6.0-1 |
|
| Recommends |
No Recommends
|
| Suggests |
No Suggests
|
| Supplements |
No Supplements
|
| Enhances |
No Enhances
|
| Files |
|
| Component of |
No Buildroots
|
