Mon, 14 Jun 2021 13:36: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 ascending sort Size
/usr/share/Agda-stdlib0
/usr/share/Agda-stdlib/src0
/usr/share/Agda-stdlib/src/Algebra0
/usr/share/Agda-stdlib/src/Algebra.agda14,040
/usr/share/Agda-stdlib/src/Algebra.agdai252,057
/usr/share/Agda-stdlib/src/Algebra/CommutativeMonoidSolver0
/usr/share/Agda-stdlib/src/Algebra/CommutativeMonoidSolver.agda6,715
/usr/share/Agda-stdlib/src/Algebra/CommutativeMonoidSolver.agdai135,577
/usr/share/Agda-stdlib/src/Algebra/CommutativeMonoidSolver/Example.agda1,227
/usr/share/Agda-stdlib/src/Algebra/CommutativeMonoidSolver/Example.agdai89,228
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties0
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties.agda3,434
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties.agdai59,670
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Consequences.agda4,453
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Consequences.agdai65,790
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Core.agda798
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Core.agdai3,493
/usr/share/Agda-stdlib/src/Algebra/IdempotentCommutativeMonoidSolver0
/usr/share/Agda-stdlib/src/Algebra/IdempotentCommutativeMonoidSolver.agda7,310
/usr/share/Agda-stdlib/src/Algebra/IdempotentCommutativeMonoidSolver.agdai136,975
/usr/share/Agda-stdlib/src/Algebra/IdempotentCommutativeMonoidSolver/Example.agda1,328
/usr/share/Agda-stdlib/src/Algebra/IdempotentCommutativeMonoidSolver/Example.agdai89,780
/usr/share/Agda-stdlib/src/Algebra/Monoid-solver.agda4,901
/usr/share/Agda-stdlib/src/Algebra/Monoid-solver.agdai156,660
/usr/share/Agda-stdlib/src/Algebra/Morphism.agda5,756
/usr/share/Agda-stdlib/src/Algebra/Morphism.agdai161,343
/usr/share/Agda-stdlib/src/Algebra/Operations.agda4,993
/usr/share/Agda-stdlib/src/Algebra/Operations.agdai128,471
/usr/share/Agda-stdlib/src/Algebra/Properties0
/usr/share/Agda-stdlib/src/Algebra/Properties/AbelianGroup.agda1,712
/usr/share/Agda-stdlib/src/Algebra/Properties/AbelianGroup.agdai68,250
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra0
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra.agda24,645
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra.agdai280,163
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra/Expression.agda8,656
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra/Expression.agdai157,612
/usr/share/Agda-stdlib/src/Algebra/Properties/DistributiveLattice.agda3,397
/usr/share/Agda-stdlib/src/Algebra/Properties/DistributiveLattice.agdai130,091
/usr/share/Agda-stdlib/src/Algebra/Properties/Group.agda2,784
/usr/share/Agda-stdlib/src/Algebra/Properties/Group.agdai76,293
/usr/share/Agda-stdlib/src/Algebra/Properties/Lattice.agda6,626
/usr/share/Agda-stdlib/src/Algebra/Properties/Lattice.agdai158,975
/usr/share/Agda-stdlib/src/Algebra/Properties/Ring.agda2,337
/usr/share/Agda-stdlib/src/Algebra/Properties/Ring.agdai73,492
/usr/share/Agda-stdlib/src/Algebra/RingSolver0
/usr/share/Agda-stdlib/src/Algebra/RingSolver.agda22,807
/usr/share/Agda-stdlib/src/Algebra/RingSolver.agdai343,100
/usr/share/Agda-stdlib/src/Algebra/RingSolver/AlmostCommutativeRing.agda4,880
/usr/share/Agda-stdlib/src/Algebra/RingSolver/AlmostCommutativeRing.agdai183,288
/usr/share/Agda-stdlib/src/Algebra/RingSolver/Lemmas.agda4,852
Component of No Buildroots