Thu, 27 Jun 2024 01:31:42 UTC | login

Information for RPM Agda-stdlib-1.7.1-3.fc37.noarch.rpm

ID866031
NameAgda-stdlib
Version1.7.1
Release3.fc37
Epoch
Archnoarch
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2022-07-20 18:32:00 GMT
Size105.42 MB
ed2cf6b4510d963e7d156784b71185ef
LicenseMIT
Provides
Agda-stdlib = 1.7.1-3.fc37
Obsoletes
ghc-agda-lib-ffi < 0.0.2-6
ghc-agda-lib-ffi-devel < 0.0.2-6
Conflicts No Conflicts
Requires
Agda = 2.6.2.2
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 2554 >>>
Name Size descending sort
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/Everything.agdai2.41 MB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/EverythingSafe.agdai2.30 MB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Properties.agdai1.48 MB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Properties.agdai1.24 MB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Properties.agdai1.13 MB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Unnormalised/Properties.agdai1.11 MB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Binary/Properties.agdai1.01 MB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Properties.agdai1018.18 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agdai816.92 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Subset/Properties.agdai806.67 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Any/Properties.agdai787.19 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agdai764.97 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Substitution/Lemmas.agdai739.07 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/BagAndSetEquality.agdai688.59 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/All/Properties.agdai683.08 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Bundles.agdai681.17 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Properties.agdai660.57 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Monad/Partiality.agdai610.39 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Properties.agdai605.39 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/Ring.agdai583.73 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/Setoid/Properties.agdai568.47 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/Propositional/Properties.agdai561.60 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Structures.agdai529.63 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Morphism/Structures.agdai524.91 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Bundles.agdai511.75 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/AlmostCommutativeRing.agdai500.85 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agdai499.91 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Structures.agdai494.27 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Divisibility.agdai488.24 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Binary/Subtraction.agdai486.69 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/Ring/AlmostCommutativeRing.agdai478.99 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Lattice.agdai467.70 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/BooleanAlgebra.agdai465.72 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/Any/Properties.agdai446.92 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation/Unary/Any/Properties.agdai445.08 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Bool/Properties.agdai429.20 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Term.agdai422.28 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Lemmas.agdai418.33 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/LCM.agdai418.06 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/GCD.agdai407.20 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Related/TypeIsomorphisms.agdai405.12 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/Any/Properties.agdai393.64 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agdai393.02 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Morphism.agdai388.10 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeMonoid.agdai378.22 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Properties.agdai375.77 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Endomorphism/Propositional.agdai375.19 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver.agdai374.64 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/LexProduct/Inner.agdai367.29 KB
/usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Multiplication.agdai364.61 KB
Component of No Buildroots