Fri, 04 Oct 2024 15:32:47 UTC | login

Information for RPM ghc-Agda-2.6.4.3-50.fc41.riscv64.rpm

ID1453943
Nameghc-Agda
Version2.6.4.3
Release50.fc41
Epoch
Archriscv64
SummaryHaskell Agda library
DescriptionThis package provides the Haskell Agda shared library.
Build Time2024-09-20 21:56:21 GMT
Size13.23 MB
3d2ee7ca23f8154dcc8d55d6f2377ffb
LicenseMIT AND BSD-3-Clause
Buildrootf41-build-850066-164932
Provides
ghc-Agda = 2.6.4.3-50.fc41
ghc-Agda(riscv-64) = 2.6.4.3-50.fc41
libHSAgda-2.6.4.3-KYNBucNbCc71BaBPKFcCa9-ghc9.6.6.so()(64bit)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
Agda-common = 2.6.4.3-50.fc41
libHSOneTuple-0.4.2-7od06fXUUXRBNk1V3VY0g5-ghc9.6.6.so()(64bit)
libHSQuickCheck-2.14.3-E9VttT8lnId93rGQPNsiU9-ghc9.6.6.so()(64bit)
libHSSTMonadTrans-0.4.8-I6acHG1vpo014lWVFbt1Ow-ghc9.6.6.so()(64bit)
libHSStateVar-1.2.2-A6sCENWC9xLH02ziP9IDyb-ghc9.6.6.so()(64bit)
libHSaeson-2.1.2.1-yrpAYsmmzqClcLE6XK4Q7-ghc9.6.6.so()(64bit)
libHSansi-terminal-1.0.2-BAf8I876hPhJFEtshgOsOs-ghc9.6.6.so()(64bit)
libHSansi-terminal-types-0.11.5-EqlSjsBzg08BPCkB2XI47w-ghc9.6.6.so()(64bit)
libHSarray-0.5.6.0-ghc9.6.6.so()(64bit)
libHSassoc-1.1.1-LimEe8pF5RrAGc6oZe3mfa-ghc9.6.6.so()(64bit)
libHSasync-2.2.5-GMWeTaoaded4Wz7DAkFLAR-ghc9.6.6.so()(64bit)
libHSattoparsec-0.14.4-GAKm7J8Gleq2k06HFjeIeY-attoparsec-internal-ghc9.6.6.so()(64bit)
libHSattoparsec-0.14.4-GMRn5HuvZQNAmR4tMlBF9B-ghc9.6.6.so()(64bit)
libHSbase-4.18.2.1-ghc9.6.6.so()(64bit)
libHSbase-compat-0.13.1-Dtt5em6saazHWsbVLVBeTy-ghc9.6.6.so()(64bit)
libHSbase-compat-batteries-0.13.1-5fbdeENWe9mF7TcjAFq4dk-ghc9.6.6.so()(64bit)
libHSbase-orphans-0.9.2-5KrayDGKJf32IfEBx9TBiS-ghc9.6.6.so()(64bit)
libHSbifunctors-5.6.2-12p6wi2wnzhJ5Ko2JvLlVw-ghc9.6.6.so()(64bit)
libHSbinary-0.8.9.1-ghc9.6.6.so()(64bit)
libHSblaze-builder-0.4.2.3-DQBnLFBE1VT45U7k73NJUF-ghc9.6.6.so()(64bit)
libHSblaze-html-0.9.2.0-AWF2hkEdOLdIfSDbBomClQ-ghc9.6.6.so()(64bit)
libHSblaze-markup-0.8.3.0-3bPexskef2J7oUOOWu6Rp5-ghc9.6.6.so()(64bit)
libHSboxes-0.1.5-1BZ4VWntABL6pmzqamGJA8-ghc9.6.6.so()(64bit)
libHSbytestring-0.11.5.3-ghc9.6.6.so()(64bit)
libHScase-insensitive-1.2.1.0-Ig8WgaPQ5k4KQd4WU8lDCy-ghc9.6.6.so()(64bit)
libHScolour-2.3.6-Dv7015zVt5k10e0N0YtJJm-ghc9.6.6.so()(64bit)
libHScomonad-5.0.8-6z2oFUa3fJi9bdDseQ1IV-ghc9.6.6.so()(64bit)
libHScontainers-0.6.7-ghc9.6.6.so()(64bit)
libHScontravariant-1.5.5-A7lal0hcJpG2Mk9fe5J59Z-ghc9.6.6.so()(64bit)
libHSdata-fix-0.3.4-2DmhGYSx1No18trPlybf4r-ghc9.6.6.so()(64bit)
libHSdata-hash-0.2.0.1-1C4EVdQanf6FeWnxYb8Ttu-ghc9.6.6.so()(64bit)
libHSdeepseq-1.4.8.1-ghc9.6.6.so()(64bit)
libHSdirectory-1.3.8.5-ghc9.6.6.so()(64bit)
libHSdistributive-0.6.2.1-Ak4SWutYoMcKj7F268v0Mi-ghc9.6.6.so()(64bit)
libHSdlist-1.0-7vDlnn0Hdvg35SyXLwMaWr-ghc9.6.6.so()(64bit)
libHSedit-distance-0.2.2.1-8dkjojky6bb1wovAKsZNKv-ghc9.6.6.so()(64bit)
libHSequivalence-0.4.1-DueK3dO2SMOGjFAaDQyGqy-ghc9.6.6.so()(64bit)
libHSexceptions-0.10.7-ghc9.6.6.so()(64bit)
libHSfilepath-1.4.300.1-ghc9.6.6.so()(64bit)
libHSgenerically-0.1.1-I9byc5Nil798plofO827gA-ghc9.6.6.so()(64bit)
libHSghc-bignum-1.3-ghc9.6.6.so()(64bit)
libHSghc-boot-th-9.6.6-ghc9.6.6.so()(64bit)
libHSghc-compact-0.1.0.0-ghc9.6.6.so()(64bit)
libHSghc-prim-0.10.0-ghc9.6.6.so()(64bit)
libHSgitrev-1.3.1-Hgj6OsBlk7sBP78WE2r3Dn-ghc9.6.6.so()(64bit)
libHShashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe-ghc9.6.6.so()(64bit)
libHShaskeline-0.8.2.1-ghc9.6.6.so()(64bit)
libHSindexed-traversable-0.1.4-8j5HZpShpE5BqFup9Ojenr-ghc9.6.6.so()(64bit)
libHSindexed-traversable-instances-0.1.2-2oqxTHiGyOuJR1BsLvzrk8-ghc9.6.6.so()(64bit)
libHSinteger-logarithms-1.0.3.1-6uUFCUhH0MHDrcFfWqxKEn-ghc9.6.6.so()(64bit)
libHSmonad-control-1.0.3.1-EprGtcAOKGn9NqvyfagEjE-ghc9.6.6.so()(64bit)
libHSmtl-2.3.1-ghc9.6.6.so()(64bit)
libHSmurmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp-ghc9.6.6.so()(64bit)
libHSnetwork-uri-2.6.4.2-GrvYkDrbqYd92ahEuUJaxX-ghc9.6.6.so()(64bit)
libHSos-string-2.0.6-IlBa2UQjH7mL18YjMu1jzE-ghc9.6.6.so()(64bit)
libHSparallel-3.2.2.0-4GFGhbl8Ae06nPoqdIyBUD-ghc9.6.6.so()(64bit)
libHSparsec-3.1.16.1-ghc9.6.6.so()(64bit)
libHSpeano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY-ghc9.6.6.so()(64bit)
libHSpretty-1.1.3.6-ghc9.6.6.so()(64bit)
libHSprimitive-0.8.0.0-G7z1XrhwN0bFkYsIqIr1QU-ghc9.6.6.so()(64bit)
libHSprocess-1.6.19.0-ghc9.6.6.so()(64bit)
libHSrandom-1.2.1.2-9nSipNyPzIK3OtGny4BWjI-ghc9.6.6.so()(64bit)
libHSregex-base-0.94.0.2-BPsTisuirWxG3DC5irjY4G-ghc9.6.6.so()(64bit)
libHSregex-tdfa-1.3.2.2-5RMyPk43J4gDSWcjYl0OpF-ghc9.6.6.so()(64bit)
libHSscientific-0.3.7.0-2UwdviWB0CH1nqOoguwg4m-ghc9.6.6.so()(64bit)
libHSsemialign-1.3.1-KA56LOpKJI8DNkTGs7KN44-ghc9.6.6.so()(64bit)
libHSsemigroupoids-6.0.1-32bnlDo08uWKppaK8Ib2rA-ghc9.6.6.so()(64bit)
libHSsplit-0.2.5-5qpEwx7qUv6FlaHbX7jgA2-ghc9.6.6.so()(64bit)
libHSsplitmix-0.1.0.5-1g4Y67JB8lK4ODDsw0vzN6-ghc9.6.6.so()(64bit)
libHSstm-2.5.1.0-ghc9.6.6.so()(64bit)
libHSstrict-0.5-2Ih5J4boI0o4YQYnrtRDYI-ghc9.6.6.so()(64bit)
libHStagged-0.8.8-Kzng2lnKElzJiyKd9g735c-ghc9.6.6.so()(64bit)
libHStemplate-haskell-2.20.0.0-ghc9.6.6.so()(64bit)
libHSterminfo-0.4.1.6-ghc9.6.6.so()(64bit)
libHStext-2.0.2-ghc9.6.6.so()(64bit)
libHStext-icu-0.8.0.5-J4CrrSP4KzK5QaMFh5FAQZ-ghc9.6.6.so()(64bit)
libHStext-short-0.1.6-7iK73L8QIuN1yyU4lBfREd-ghc9.6.6.so()(64bit)
libHSth-abstraction-0.5.0.0-HAFjiAO2nGN58SdxVZCnLH-ghc9.6.6.so()(64bit)
libHSth-compat-0.1.5-GhHQJW6WN2TKpN9D0nnUC-ghc9.6.6.so()(64bit)
libHSthese-1.2.1-Lmhp9aSRg20H3DMUOaCHTJ-ghc9.6.6.so()(64bit)
libHStime-1.12.2-ghc9.6.6.so()(64bit)
libHStime-compat-1.9.6.1-GW1Nw3Nvkk39bFykE9AmZ0-ghc9.6.6.so()(64bit)
libHStransformers-0.6.1.0-ghc9.6.6.so()(64bit)
libHStransformers-base-0.4.6-AFroRD7LLlU6BPVd6EHPcA-ghc9.6.6.so()(64bit)
libHStransformers-compat-0.7.2-LmnlcpbfHuuAOWEWPuyobH-ghc9.6.6.so()(64bit)
libHSunix-2.8.4.0-ghc9.6.6.so()(64bit)
libHSunordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk-ghc9.6.6.so()(64bit)
libHSuri-encode-1.5.0.7-7sKaEN2EpQGDvTYgkYU1Hh-ghc9.6.6.so()(64bit)
libHSutf8-string-1.0.2-JbA27QG8axS8Qz2DLqBtSE-ghc9.6.6.so()(64bit)
libHSuuid-types-1.0.5.1-1c3srdHnFdXKZCuVJSOkbI-ghc9.6.6.so()(64bit)
libHSvector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL-ghc9.6.6.so()(64bit)
libHSvector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ-ghc9.6.6.so()(64bit)
libHSvector-stream-0.1.0.1-B3eeou3yuYd7g2aD4u5s22-ghc9.6.6.so()(64bit)
libHSwitherable-0.4.2-1d1IqaNPL2NKe2SmYw9bzg-ghc9.6.6.so()(64bit)
libHSzlib-0.6.3.0-J9Dy5COqqZW7IlqnJAjJm-ghc9.6.6.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libgmp.so.10()(64bit)
libicudata.so.74()(64bit)
libicui18n.so.74()(64bit)
libicuuc.so.74()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
libtinfo.so.6()(64bit)
libz.so.1()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/d80.00 B
/usr/lib/.build-id/d8/0abf8af38c942fe7ee9325acf2f4fa91310d2288.00 B
/usr/lib64/ghc-9.6.6/lib/libHSAgda-2.6.4.3-KYNBucNbCc71BaBPKFcCa9-ghc9.6.6.so90.97 MB
Component of No Buildroots