Fri, 18 Jun 2021 21:28:26 UTC

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

ID7263858
NameAgda-stdlib
Version0.9
Release3.fc24
Epoch
Archi686
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2016-02-03 15:29:37 GMT
Size11,660,746
9f731875fb81c8f08da5095c71372e80
LicenseMIT
Buildrootf24-build-4906578-577762
Provides
Agda-stdlib = 0.9-3.fc24
Agda-stdlib(x86-32) = 0.9-3.fc24
ghc(agda-lib-ffi-0.0.2-047796a62c710313276f9b0327826770)
ghc-devel(agda-lib-ffi-0.0.2-047796a62c710313276f9b0327826770)
libHSagda-lib-ffi-0.0.2-ghc7.8.4.so
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-047796a62c710313276f9b0327826770)
ghc(base-4.7.0.2-6d16fd65767daf67b7606bd63b471328)
ghc-devel(base-4.7.0.2-6d16fd65767daf67b7606bd63b471328)
libHSbase-4.7.0.2-ghc7.8.4.so
libHSghc-prim-0.3.1.0-ghc7.8.4.so
libHSinteger-gmp-0.5.1.0-ghc7.8.4.so
libc.so.6
libc.so.6(GLIBC_2.1.3)
libgmp.so.10
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/lib/ghc-7.8.4/agda-lib-ffi-0.0.24,096
/usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/Data4,096
/usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.dyn_hi1,222
/usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.hi1,210
/usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.p_hi1,214
/usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/IO4,096
/usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.dyn_hi2,395
/usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.hi2,383
/usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.p_hi2,387
/usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2-ghc7.8.4.so12,832
/usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2.a5,160
/usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2_p.a10,756
/usr/lib/ghc-7.8.4/package.conf.d/agda-lib-ffi-0.0.2.conf833
/usr/share/Agda-stdlib4,096
/usr/share/Agda-stdlib/Algebra4,096
/usr/share/Agda-stdlib/Algebra.agda13,670
/usr/share/Agda-stdlib/Algebra.agdai348,814
/usr/share/Agda-stdlib/Algebra/FunctionProperties4,096
/usr/share/Agda-stdlib/Algebra/FunctionProperties.agda2,802
/usr/share/Agda-stdlib/Algebra/FunctionProperties.agdai19,846
/usr/share/Agda-stdlib/Algebra/FunctionProperties/Core.agda798
/usr/share/Agda-stdlib/Algebra/FunctionProperties/Core.agdai2,128
/usr/share/Agda-stdlib/Algebra/Monoid-solver.agda4,848
/usr/share/Agda-stdlib/Algebra/Monoid-solver.agdai52,087
/usr/share/Agda-stdlib/Algebra/Morphism.agda2,545
/usr/share/Agda-stdlib/Algebra/Morphism.agdai100,084
/usr/share/Agda-stdlib/Algebra/Operations.agda4,980
/usr/share/Agda-stdlib/Algebra/Operations.agdai60,139
/usr/share/Agda-stdlib/Algebra/Properties4,096
/usr/share/Agda-stdlib/Algebra/Properties/AbelianGroup.agda1,712
/usr/share/Agda-stdlib/Algebra/Properties/AbelianGroup.agdai30,853
/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,328
/usr/share/Agda-stdlib/Algebra/Properties/BooleanAlgebra/Expression.agda8,616
/usr/share/Agda-stdlib/Algebra/Properties/BooleanAlgebra/Expression.agdai113,173
/usr/share/Agda-stdlib/Algebra/Properties/DistributiveLattice.agda3,471
/usr/share/Agda-stdlib/Algebra/Properties/DistributiveLattice.agdai43,421
/usr/share/Agda-stdlib/Algebra/Properties/Group.agda2,784
/usr/share/Agda-stdlib/Algebra/Properties/Group.agdai38,176
/usr/share/Agda-stdlib/Algebra/Properties/Lattice.agda3,983
/usr/share/Agda-stdlib/Algebra/Properties/Lattice.agdai42,001
/usr/share/Agda-stdlib/Algebra/Properties/Ring.agda2,337
/usr/share/Agda-stdlib/Algebra/Properties/Ring.agdai42,345
/usr/share/Agda-stdlib/Algebra/RingSolver4,096
/usr/share/Agda-stdlib/Algebra/RingSolver.agda22,807
/usr/share/Agda-stdlib/Algebra/RingSolver.agdai256,101
/usr/share/Agda-stdlib/Algebra/RingSolver/AlmostCommutativeRing.agda4,904
/usr/share/Agda-stdlib/Algebra/RingSolver/AlmostCommutativeRing.agdai198,764
/usr/share/Agda-stdlib/Algebra/RingSolver/Lemmas.agda4,852
Component of No Buildroots