ID | 193698 | ||||||||
---|---|---|---|---|---|---|---|---|---|
Build | Agda-2.6.4.1-47.fc41 | ||||||||
Name | ghc-peano-prof | ||||||||
Version | 0.1.0.2 | ||||||||
Release | 47.fc41 | ||||||||
Epoch | |||||||||
Arch | riscv64 | ||||||||
Draft | False | ||||||||
Summary | Haskell peano profiling library | ||||||||
Description | This package provides the Haskell peano profiling library. | ||||||||
Build Time | 2024-05-07 10:54:00 GMT | ||||||||
Size | 63.36 KB | ||||||||
0ec55a750439c536e92fe39a446353a4 | |||||||||
License | BSD-3-Clause | ||||||||
Buildroot | f41-build-248981-8746 | ||||||||
Provides |
|
||||||||
Obsoletes | No Obsoletes | ||||||||
Conflicts | No Conflicts | ||||||||
Requires |
|
||||||||
Recommends | No Recommends | ||||||||
Suggests | No Suggests | ||||||||
Supplements |
|
||||||||
Enhances | No Enhances | ||||||||
Files |
|
||||||||
Component of | No Buildroots |