Index of /packages/Agda/2.6.0.1/20.fc32/s390x
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
Agda-2.6.0.1-20.fc32.s390x.rpm 2020-01-28 16:34 73K
ghc-Agda-2.6.0.1-20.fc32.s390x.rpm 2020-01-28 16:34 36M
ghc-Agda-devel-2.6.0.1-20.fc32.s390x.rpm 2020-01-28 16:34 18M
ghc-Agda-doc-2.6.0.1-20.fc32.s390x.rpm 2020-01-28 16:34 3.6M
ghc-Agda-prof-2.6.0.1-20.fc32.s390x.rpm 2020-01-28 16:34 25M
ghc-EdisonAPI-1.3.1-20.fc32.s390x.rpm 2020-01-28 16:34 74K
ghc-EdisonAPI-devel-1.3.1-20.fc32.s390x.rpm 2020-01-28 16:34 80K
ghc-EdisonAPI-doc-1.3.1-20.fc32.s390x.rpm 2020-01-28 16:34 148K
ghc-EdisonAPI-prof-1.3.1-20.fc32.s390x.rpm 2020-01-28 16:34 102K
ghc-EdisonCore-1.3.2.1-20.fc32.s390x.rpm 2020-01-28 16:34 1.0M
ghc-EdisonCore-devel-1.3.2.1-20.fc32.s390x.rpm 2020-01-28 16:34 1.1M
ghc-EdisonCore-doc-1.3.2.1-20.fc32.s390x.rpm 2020-01-28 16:34 398K
ghc-EdisonCore-prof-1.3.2.1-20.fc32.s390x.rpm 2020-01-28 16:34 1.6M
ghc-geniplate-mirror-0.7.6-20.fc32.s390x.rpm 2020-01-28 16:34 98K
ghc-geniplate-mirror-devel-0.7.6-20.fc32.s390x.rpm 2020-01-28 16:34 101K
ghc-geniplate-mirror-doc-0.7.6-20.fc32.s390x.rpm 2020-01-28 16:34 59K
ghc-geniplate-mirror-prof-0.7.6-20.fc32.s390x.rpm 2020-01-28 16:34 133K
ghc-murmur-hash-0.1.0.9-20.fc32.s390x.rpm 2020-01-28 16:34 32K
ghc-murmur-hash-devel-0.1.0.9-20.fc32.s390x.rpm 2020-01-28 16:34 38K
ghc-murmur-hash-doc-0.1.0.9-20.fc32.s390x.rpm 2020-01-28 16:34 49K
ghc-murmur-hash-prof-0.1.0.9-20.fc32.s390x.rpm 2020-01-28 16:34 45K
ghc-uri-encode-1.5.0.5-20.fc32.s390x.rpm 2020-01-28 16:34 20K
ghc-uri-encode-devel-1.5.0.5-20.fc32.s390x.rpm 2020-01-28 16:34 21K
ghc-uri-encode-doc-1.5.0.5-20.fc32.s390x.rpm 2020-01-28 16:34 44K
ghc-uri-encode-prof-1.5.0.5-20.fc32.s390x.rpm 2020-01-28 16:34 24K