[ol8_developer_EPEL] ghc-EdisonCore-devel-1.3.2.1-14.el8.aarch64

Name:ghc-EdisonCore-devel
Version:1.3.2.1
Release:14.el8
Architecture:aarch64
Group:Unspecified
Size:35213055
License:MIT and BSD
RPM: ghc-EdisonCore-devel-1.3.2.1-14.el8.aarch64.rpm
Source RPM: Agda-2.5.3-14.el8.src.rpm
Build Date:Fri Mar 03 2023
Build Host:build-ol8-aarch64.oracle.com
Vendor:Oracle America
URL:https://hackage.haskell.org/package/Agda
Summary:Haskell EdisonCore library development files
Description:
This package provides the Haskell EdisonCore library development files.

Changelog (Show File list) (Show related packages)