Fri, 18 Jun 2021 22:34:17 UTC

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

ID7263856
NameAgda-stdlib
Version0.9
Release3.fc24
Epoch
Archx86_64
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2016-02-03 15:30:06 GMT
Size11,666,046
b44ca55f7989f28bfca56f6431fd5095
LicenseMIT
Buildrootf24-build-4906577-577762
Provides
Agda-stdlib = 0.9-3.fc24
Agda-stdlib(x86-64) = 0.9-3.fc24
ghc(agda-lib-ffi-0.0.2-58853ecfb074a66b1defd29824319290)
ghc-devel(agda-lib-ffi-0.0.2-58853ecfb074a66b1defd29824319290)
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-58853ecfb074a66b1defd29824319290)
ghc(base-4.7.0.2-cb23b5265b6e147094c0cd9ac819acb1)
ghc-devel(base-4.7.0.2-cb23b5265b6e147094c0cd9ac819acb1)
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.5)(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,226
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.hi1,214
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.p_hi1,218
/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,399
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.hi2,387
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.p_hi2,391
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2-ghc7.8.4.so14,240
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2.a7,356
/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2_p.a15,032
/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