[ol10_u0_developer_EPEL] ghc-peano-devel-0.1.0.2-50.el10_0.aarch64

Name:ghc-peano-devel
Version:0.1.0.2
Release:50.el10_0
Architecture:aarch64
Group:Unspecified
Size:160971
License:BSD-3-Clause
RPM: ghc-peano-devel-0.1.0.2-50.el10_0.aarch64.rpm
Source RPM: Agda-2.6.4.3-50.el10_0.src.rpm
Build Date:Wed May 21 2025
Build Host:build-ol10-aarch64.oracle.com
Vendor:Oracle America
URL:https://hackage.haskell.org/package/Agda
Summary:Haskell peano library development files
Description:
This package provides the Haskell peano library development files.

Changelog (Show File list) (Show related packages)