Name: | ghc-murmur-hash-prof |
---|---|
Version: | 0.1.0.10 |
Release: | 50.el10_0 |
Architecture: | x86_64 |
Group: | Unspecified |
Size: | 245704 |
License: | BSD-3-Clause |
RPM: | ghc-murmur-hash-prof-0.1.0.10-50.el10_0.x86_64.rpm |
Source RPM: | Agda-2.6.4.3-50.el10_0.src.rpm |
Build Date: | Wed May 21 2025 |
Build Host: | build-ol10-x86_64.oracle.com |
Vendor: | Oracle America |
URL: | https://hackage.haskell.org/package/Agda |
Summary: | Haskell murmur-hash profiling library |
Description: | This package provides the Haskell murmur-hash profiling library. |