ID | 10285 | |||||||
---|---|---|---|---|---|---|---|---|
Build | Agda-2.6.4.3-53.fc42 | |||||||
Name | ghc-peano-devel | |||||||
Version | 0.1.0.2 | |||||||
Release | 53.fc42 | |||||||
Epoch | ||||||||
Arch | riscv64 | |||||||
Draft | False | |||||||
Summary | Haskell peano library development files | |||||||
Description | This package provides the Haskell peano library development files. | |||||||
Build Time | 2025-03-01 07:47:06 GMT | |||||||
Size | 45.35 KB | |||||||
9edade1e1d159cb39d4927736375c450 | ||||||||
License | BSD-3-Clause | |||||||
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 |