Sun, 13 Jun 2021 23:06:53 UTC

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

ID8944279
NameAgda-stdlib
Version0.9
Release3.fc24
Epoch
Archs390x
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2016-06-18 16:40:48 GMT
Size11,676,626
c928f74aaa2d552a8cbc7bd2daf23165
LicenseMIT
Provides
Agda-stdlib = 0.9-3.fc24
Agda-stdlib(s390-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-9184196b679bcee0b3f41d3b27aa7e0d)
ghc-devel(base-4.7.0.2-9184196b679bcee0b3f41d3b27aa7e0d)
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.2)(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.2139
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data54
/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/IO54
/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.so42,792
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2.a14,964
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2_p.a26,060
/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/FunctionProperties41
/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/BooleanAlgebra53
/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/RingSolver220
/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