Fri, 18 Jun 2021 22:26:55 UTC

Information for RPM Agda-stdlib-0.9-3.fc24.ppc64le.rpm

ID8427709
NameAgda-stdlib
Version0.9
Release3.fc24
Epoch
Archppc64le
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2016-04-01 09:00:48 GMT
Size11,676,666
5243cb7574bb7ae8c814e0b83e094eba
LicenseMIT
Provides
Agda-stdlib = 0.9-3.fc24
Agda-stdlib(ppc-64) = 0.9-3.fc24
ghc(agda-lib-ffi-0.0.2-0b0b5596912b1a3c496be364280d5a9a)
ghc-devel(agda-lib-ffi-0.0.2-0b0b5596912b1a3c496be364280d5a9a)
libHSagda-lib-ffi-0.0.2-ghc7.8.4.so()(64bit)
Obsoletes
ghc-agda-lib-ffi < 0.0.2-6
ghc-agda-lib-ffi-devel < 0.0.2-6
Conflicts No Conflicts
Requires
/bin/sh
/bin/sh
ghc(agda-lib-ffi-0.0.2-0b0b5596912b1a3c496be364280d5a9a)
ghc(base-4.7.0.2-59a87b9ebf7d6606976869dd31a8cf3e)
ghc-devel(base-4.7.0.2-59a87b9ebf7d6606976869dd31a8cf3e)
libHSbase-4.7.0.2-ghc7.8.4.so()(64bit)
libHSghc-prim-0.3.1.0-ghc7.8.4.so()(64bit)
libHSinteger-gmp-0.5.1.0-ghc7.8.4.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libgmp.so.10()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 523 >>>
Name ascending sort Size
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.24,096
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data4,096
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.dyn_hi1,230
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.hi1,218
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.p_hi1,222
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/IO4,096
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.dyn_hi2,403
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.hi2,391
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.p_hi2,395
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2-ghc7.8.4.so95,792
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2.a15,540
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2_p.a24,560
/usr/lib64/ghc-7.8.4/package.conf.d/agda-lib-ffi-0.0.2.conf837
/usr/share/Agda-stdlib4,096
/usr/share/Agda-stdlib/Algebra4,096
/usr/share/Agda-stdlib/Algebra.agda13,670
/usr/share/Agda-stdlib/Algebra.agdai348,731
/usr/share/Agda-stdlib/Algebra/FunctionProperties4,096
/usr/share/Agda-stdlib/Algebra/FunctionProperties.agda2,802
/usr/share/Agda-stdlib/Algebra/FunctionProperties.agdai19,845
/usr/share/Agda-stdlib/Algebra/FunctionProperties/Core.agda798
/usr/share/Agda-stdlib/Algebra/FunctionProperties/Core.agdai2,126
/usr/share/Agda-stdlib/Algebra/Monoid-solver.agda4,848
/usr/share/Agda-stdlib/Algebra/Monoid-solver.agdai52,064
/usr/share/Agda-stdlib/Algebra/Morphism.agda2,545
/usr/share/Agda-stdlib/Algebra/Morphism.agdai100,117
/usr/share/Agda-stdlib/Algebra/Operations.agda4,980
/usr/share/Agda-stdlib/Algebra/Operations.agdai60,056
/usr/share/Agda-stdlib/Algebra/Properties4,096
/usr/share/Agda-stdlib/Algebra/Properties/AbelianGroup.agda1,712
/usr/share/Agda-stdlib/Algebra/Properties/AbelianGroup.agdai30,784
/usr/share/Agda-stdlib/Algebra/Properties/BooleanAlgebra4,096
/usr/share/Agda-stdlib/Algebra/Properties/BooleanAlgebra.agda25,227
/usr/share/Agda-stdlib/Algebra/Properties/BooleanAlgebra.agdai186,298
/usr/share/Agda-stdlib/Algebra/Properties/BooleanAlgebra/Expression.agda8,616
/usr/share/Agda-stdlib/Algebra/Properties/BooleanAlgebra/Expression.agdai113,439
/usr/share/Agda-stdlib/Algebra/Properties/DistributiveLattice.agda3,471
/usr/share/Agda-stdlib/Algebra/Properties/DistributiveLattice.agdai43,396
/usr/share/Agda-stdlib/Algebra/Properties/Group.agda2,784
/usr/share/Agda-stdlib/Algebra/Properties/Group.agdai38,131
/usr/share/Agda-stdlib/Algebra/Properties/Lattice.agda3,983
/usr/share/Agda-stdlib/Algebra/Properties/Lattice.agdai41,973
/usr/share/Agda-stdlib/Algebra/Properties/Ring.agda2,337
/usr/share/Agda-stdlib/Algebra/Properties/Ring.agdai42,307
/usr/share/Agda-stdlib/Algebra/RingSolver4,096
/usr/share/Agda-stdlib/Algebra/RingSolver.agda22,807
/usr/share/Agda-stdlib/Algebra/RingSolver.agdai256,202
/usr/share/Agda-stdlib/Algebra/RingSolver/AlmostCommutativeRing.agda4,904
/usr/share/Agda-stdlib/Algebra/RingSolver/AlmostCommutativeRing.agdai199,089
/usr/share/Agda-stdlib/Algebra/RingSolver/Lemmas.agda4,852
Component of No Buildroots