Sun, 13 Jun 2021 10:41:52 UTC

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

ID15260254
NameAgda-stdlib
Version0.15
Release4.fc28
Epoch
Archx86_64
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2018-08-29 04:37:42 GMT
Size21,300,344
fed2895f5f9eb3160e79485ac47adb53
LicenseMIT
Buildrootf28-build-13563353-984532
Provides
Agda-stdlib = 0.15-4.fc28
Agda-stdlib(x86-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