Tue, 18 Feb 2025 20:46:14 UTC | login

Information for RPM ghc-integer-logarithms-1.0.3-4.fc33.riscv64.rpm

ID666510
Nameghc-integer-logarithms
Version1.0.3
Release4.fc33
Epoch
Archriscv64
SummaryInteger logarithms
Description"Math.NumberTheory.Logarithms" and "Math.NumberTheory.Powers.Integer" from the arithmoi package. Also provides "GHC.Integer.Logarithms.Compat" and "Math.NumberTheory.Power.Natural" modules, as well as some additional functions in migrated modules.
Build Time2020-08-13 13:02:15 GMT
Size37.43 KB
429c63bbc869aa6c44736bc5f0893bbb
LicenseMIT
Buildrootf33-build-288065-53968
Provides
ghc-integer-logarithms = 1.0.3-4.fc33
ghc-integer-logarithms(riscv-64) = 1.0.3-4.fc33
libHSinteger-logarithms-1.0.3-L1fXvdNnENnEcLpMml0rI7-ghc8.6.5.so()(64bit)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libHSarray-0.5.3.0-ghc8.6.5.so()(64bit)
libHSbase-4.12.0.0-ghc8.6.5.so()(64bit)
libHSghc-prim-0.5.3-ghc8.6.5.so()(64bit)
libHSinteger-gmp-1.0.2.0-ghc8.6.5.so()(64bit)
libgmp.so.10()(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 6 of 6
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/290.00 B
/usr/lib/.build-id/29/e17028dde279d1d6e6a910d3485f4f4470870786.00 B
/usr/lib64/libHSinteger-logarithms-1.0.3-L1fXvdNnENnEcLpMml0rI7-ghc8.6.5.so145.48 KB
/usr/share/licenses/ghc-integer-logarithms0.00 B
/usr/share/licenses/ghc-integer-logarithms/LICENSE1.06 KB
Component of
1 through 7 of 7
Buildroot descending sort Created State
f33-build-318444-57843 2020-08-16 19:52:54 expired
f33-build-318100-57836 2020-08-16 19:12:40 expired
f33-build-317509-57804 2020-08-16 17:58:57 expired
f33-build-316854-57764 2020-08-16 16:32:23 expired
f33-build-316839-57764 2020-08-16 16:29:46 expired
f33-build-310775-57359 2020-08-16 02:02:32 expired
f33-build-289016-54238 2020-08-13 15:29:59 expired