[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.

Filelist (Show Changelog) (Show related packages)

/
- usr
  - lib64
    
    ghc-8.2.2
    
    EdisonCore-1.3.2.1
    
    Data
    
    Edison
    
    Assoc
    
    AssocList.dyn_hi
    
    AssocList.hi
    
    AssocList.p_hi
    
    Defaults.dyn_hi
    
    Defaults.hi
    
    Defaults.p_hi
    
    PatriciaLoMap.dyn_hi
    
    PatriciaLoMap.hi
    
    PatriciaLoMap.p_hi
    
    StandardMap.dyn_hi
    
    StandardMap.hi
    
    StandardMap.p_hi
    
    TernaryTrie.dyn_hi
    
    TernaryTrie.hi
    
    TernaryTrie.p_hi
    
    Coll
    
    Defaults.dyn_hi
    
    Defaults.hi
    
    Defaults.p_hi
    
    EnumSet.dyn_hi
    
    EnumSet.hi
    
    EnumSet.p_hi
    
    LazyPairingHeap.dyn_hi
    
    LazyPairingHeap.hi
    
    LazyPairingHeap.p_hi
    
    LeftistHeap.dyn_hi
    
    LeftistHeap.hi
    
    LeftistHeap.p_hi
    
    MinHeap.dyn_hi
    
    MinHeap.hi
    
    MinHeap.p_hi
    
    SkewHeap.dyn_hi
    
    SkewHeap.hi
    
    SkewHeap.p_hi
    
    SplayHeap.dyn_hi
    
    SplayHeap.hi
    
    SplayHeap.p_hi
    
    StandardSet.dyn_hi
    
    StandardSet.hi
    
    StandardSet.p_hi
    
    UnbalancedSet.dyn_hi
    
    UnbalancedSet.hi
    
    UnbalancedSet.p_hi
    
    Concrete
    
    FingerTree.dyn_hi
    
    FingerTree.hi
    
    FingerTree.p_hi
    
    Seq
    
    BankersQueue.dyn_hi
    
    BankersQueue.hi
    
    BankersQueue.p_hi
    
    BinaryRandList.dyn_hi
    
    BinaryRandList.hi
    
    BinaryRandList.p_hi
    
    BraunSeq.dyn_hi
    
    BraunSeq.hi
    
    BraunSeq.p_hi
    
    Defaults.dyn_hi
    
    Defaults.hi
    
    Defaults.p_hi
    
    FingerSeq.dyn_hi
    
    FingerSeq.hi
    
    FingerSeq.p_hi
    
    JoinList.dyn_hi
    
    JoinList.hi
    
    JoinList.p_hi
    
    MyersStack.dyn_hi
    
    MyersStack.hi
    
    MyersStack.p_hi
    
    RandList.dyn_hi
    
    RandList.hi
    
    RandList.p_hi
    
    RevSeq.dyn_hi
    
    RevSeq.hi
    
    RevSeq.p_hi
    
    SimpleQueue.dyn_hi
    
    SimpleQueue.hi
    
    SimpleQueue.p_hi
    
    SizedSeq.dyn_hi
    
    SizedSeq.hi
    
    SizedSeq.p_hi
    
    libHSEdisonCore-1.3.2.1-AZmveBCeArA1Ehqi2nvXCF.a
    
    libHSEdisonCore-1.3.2.1-AZmveBCeArA1Ehqi2nvXCF_p.a
    
    package.conf.d
    
    EdisonCore-1.3.2.1.conf
  - share
    
    doc
    
    ghc
    
    html
    
    libraries
    
    EdisonCore-1.3.2.1
    
    Data-Edison-Assoc-AssocList.html
    
    Data-Edison-Assoc-Defaults.html
    
    Data-Edison-Assoc-PatriciaLoMap.html
    
    Data-Edison-Assoc-StandardMap.html
    
    Data-Edison-Assoc-TernaryTrie.html
    
    Data-Edison-Coll-Defaults.html
    
    Data-Edison-Coll-EnumSet.html
    
    Data-Edison-Coll-LazyPairingHeap.html
    
    Data-Edison-Coll-LeftistHeap.html
    
    Data-Edison-Coll-MinHeap.html
    
    Data-Edison-Coll-SkewHeap.html
    
    Data-Edison-Coll-SplayHeap.html
    
    Data-Edison-Coll-StandardSet.html
    
    Data-Edison-Coll-UnbalancedSet.html
    
    Data-Edison-Concrete-FingerTree.html
    
    Data-Edison-Seq-BankersQueue.html
    
    Data-Edison-Seq-BinaryRandList.html
    
    Data-Edison-Seq-BraunSeq.html
    
    Data-Edison-Seq-Defaults.html
    
    Data-Edison-Seq-FingerSeq.html
    
    Data-Edison-Seq-JoinList.html
    
    Data-Edison-Seq-MyersStack.html
    
    Data-Edison-Seq-RandList.html
    
    Data-Edison-Seq-RevSeq.html
    
    Data-Edison-Seq-SimpleQueue.html
    
    Data-Edison-Seq-SizedSeq.html
    
    EdisonCore.haddock
    
    EdisonCore.txt
    
    doc-index-A.html
    
    doc-index-All.html
    
    doc-index-C.html
    
    doc-index-D.html
    
    doc-index-E.html
    
    doc-index-F.html
    
    doc-index-H.html
    
    doc-index-I.html
    
    doc-index-K.html
    
    doc-index-L.html
    
    doc-index-M.html
    
    doc-index-N.html
    
    doc-index-P.html
    
    doc-index-R.html
    
    doc-index-S.html
    
    doc-index-T.html
    
    doc-index-U.html
    
    doc-index-Z.html
    
    doc-index.html
    
    haddock-util.js
    
    hslogo-16.png
    
    index.html
    
    minus.gif
    
    ocean.css
    
    plus.gif
    
    src
    
    Data-Edison-Assoc-AssocList.html
    
    Data-Edison-Assoc-Defaults.html
    
    Data-Edison-Assoc-PatriciaLoMap.html
    
    Data-Edison-Assoc-StandardMap.html
    
    Data-Edison-Assoc-TernaryTrie.html
    
    Data-Edison-Coll-Defaults.html
    
    Data-Edison-Coll-EnumSet.html
    
    Data-Edison-Coll-LazyPairingHeap.html
    
    Data-Edison-Coll-LeftistHeap.html
    
    Data-Edison-Coll-MinHeap.html
    
    Data-Edison-Coll-SkewHeap.html
    
    Data-Edison-Coll-SplayHeap.html
    
    Data-Edison-Coll-StandardSet.html
    
    Data-Edison-Coll-UnbalancedSet.html
    
    Data-Edison-Concrete-FingerTree.html
    
    Data-Edison-Seq-BankersQueue.html
    
    Data-Edison-Seq-BinaryRandList.html
    
    Data-Edison-Seq-BraunSeq.html
    
    Data-Edison-Seq-Defaults.html
    
    Data-Edison-Seq-FingerSeq.html
    
    Data-Edison-Seq-JoinList.html
    
    Data-Edison-Seq-MyersStack.html
    
    Data-Edison-Seq-RandList.html
    
    Data-Edison-Seq-RevSeq.html
    
    Data-Edison-Seq-SimpleQueue.html
    
    Data-Edison-Seq-SizedSeq.html
    
    hscolour.css
    
    synopsis.png