Fri, 18 Jun 2021 21:54:24 UTC

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

ID8409652
NameAgda-stdlib
Version0.9
Release3.fc24
Epoch
Archppc64
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2016-04-01 09:00:24 GMT
Size11,676,954
7de74d546b6201baefbed0732f643d20
LicenseMIT
Provides
Agda-stdlib = 0.9-3.fc24
Agda-stdlib(ppc-64) = 0.9-3.fc24
ghc(agda-lib-ffi-0.0.2-cfa23db049c5030c762e542026be4a32)
ghc-devel(agda-lib-ffi-0.0.2-cfa23db049c5030c762e542026be4a32)
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-cfa23db049c5030c762e542026be4a32)
ghc(base-4.7.0.2-7694b0e9cd98062028967d7886dd9887)
ghc-devel(base-4.7.0.2-7694b0e9cd98062028967d7886dd9887)
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.3)(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,728
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2.a15,956
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2_p.a24,984
/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