Tue, 03 Aug 2021 11:49:19 UTC

Information for RPM Agda-stdlib-0.15-4.fc28.aarch64.rpm

ID15260257
NameAgda-stdlib
Version0.15
Release4.fc28
Epoch
Archaarch64
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2018-08-29 04:50:54 GMT
Size21,300,524
007cd6ba87d5aea27fa663f2d55ac476
LicenseMIT
Buildrootf28-build-13563357-984532
Provides
Agda-stdlib = 0.15-4.fc28
Agda-stdlib(aarch-64) = 0.15-4.fc28
Obsoletes
ghc-agda-lib-ffi < 0.0.2-6
ghc-agda-lib-ffi-devel < 0.0.2-6
Conflicts No Conflicts
Requires
ghc-Agda = 2.5.3
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 642 >>>
Name Size ascending sort
/usr/share/Agda-stdlib0
/usr/share/Agda-stdlib/src0
/usr/share/Agda-stdlib/src/Algebra0
/usr/share/Agda-stdlib/src/Algebra/CommutativeMonoidSolver0
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties0
/usr/share/Agda-stdlib/src/Algebra/IdempotentCommutativeMonoidSolver0
/usr/share/Agda-stdlib/src/Algebra/Properties0
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra0
/usr/share/Agda-stdlib/src/Algebra/RingSolver0
/usr/share/Agda-stdlib/src/Category0
/usr/share/Agda-stdlib/src/Category/Applicative0
/usr/share/Agda-stdlib/src/Category/Functor0
/usr/share/Agda-stdlib/src/Category/Monad0
/usr/share/Agda-stdlib/src/Category/Monad/Partiality0
/usr/share/Agda-stdlib/src/Data0
/usr/share/Agda-stdlib/src/Data/AVL0
/usr/share/Agda-stdlib/src/Data/Bin0
/usr/share/Agda-stdlib/src/Data/Bool0
/usr/share/Agda-stdlib/src/Data/BoundedVec0
/usr/share/Agda-stdlib/src/Data/Char0
/usr/share/Agda-stdlib/src/Data/Colist0
/usr/share/Agda-stdlib/src/Data/Container0
/usr/share/Agda-stdlib/src/Data/Container/Indexed0
/usr/share/Agda-stdlib/src/Data/Empty0
/usr/share/Agda-stdlib/src/Data/Fin0
/usr/share/Agda-stdlib/src/Data/Fin/Subset0
/usr/share/Agda-stdlib/src/Data/Fin/Substitution0
/usr/share/Agda-stdlib/src/Data/Graph0
/usr/share/Agda-stdlib/src/Data/Integer0
/usr/share/Agda-stdlib/src/Data/Integer/Addition0
/usr/share/Agda-stdlib/src/Data/Integer/Multiplication0
/usr/share/Agda-stdlib/src/Data/List0
/usr/share/Agda-stdlib/src/Data/List/All0
/usr/share/Agda-stdlib/src/Data/List/Any0
/usr/share/Agda-stdlib/src/Data/List/Any/Membership0
/usr/share/Agda-stdlib/src/Data/List/Any/Membership/Propositional0
/usr/share/Agda-stdlib/src/Data/List/NonEmpty0
/usr/share/Agda-stdlib/src/Data/List/Relation0
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality0
/usr/share/Agda-stdlib/src/Data/List/Relation/Lex0
/usr/share/Agda-stdlib/src/Data/M0
/usr/share/Agda-stdlib/src/Data/Maybe0
/usr/share/Agda-stdlib/src/Data/Nat0
/usr/share/Agda-stdlib/src/Data/Nat/GCD0
/usr/share/Agda-stdlib/src/Data/Nat/Properties0
/usr/share/Agda-stdlib/src/Data/Product0
/usr/share/Agda-stdlib/src/Data/Product/Relation0
/usr/share/Agda-stdlib/src/Data/Product/Relation/Lex0
/usr/share/Agda-stdlib/src/Data/Product/Relation/Pointwise0
/usr/share/Agda-stdlib/src/Data/Rational0
Component of No Buildroots