Tue, 30 Jul 2024 03:33:36 UTC | login

Information for RPM Agda-stdlib-1.3-4.fc33.noarch.rpm

ID727044
NameAgda-stdlib
Version1.3
Release4.fc33
Epoch
Archnoarch
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2020-08-25 16:04:05 GMT
Size77.23 MB
42c6c99ea70ca0b05046fec328e34a22
LicenseMIT
Provides
Agda-stdlib = 1.3-4.fc33
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.1
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:
<<< 401 through 450 of 1952 >>>
Name ascending sort Size
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agdai320.01 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Setoid0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Setoid.agdai178.81 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agdai292.46 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Subset0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Subset/Propositional0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Subset/Propositional.agdai16.87 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Subset/Propositional/Properties.agdai208.83 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Subset/Setoid0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Subset/Setoid.agdai64.01 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Subset/Setoid/Properties.agdai122.50 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Suffix0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Suffix/Heterogeneous0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Suffix/Heterogeneous.agdai92.81 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agdai329.98 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Ternary0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Ternary/Interleaving0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Ternary/Interleaving.agdai182.15 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Ternary/Interleaving/Properties.agdai259.31 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Ternary/Interleaving/Propositional0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Ternary/Interleaving/Propositional.agdai96.08 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agdai35.12 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Ternary/Interleaving/Setoid0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Ternary/Interleaving/Setoid.agdai65.80 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agdai133.72 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/All0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/All.agdai187.01 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/All/Properties.agdai557.38 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/AllPairs0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/AllPairs.agdai155.67 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/AllPairs/Core.agdai64.29 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/AllPairs/Properties.agdai256.27 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Any0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Any.agdai74.90 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Any/Properties.agdai611.38 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/First0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/First.agdai136.91 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/First/Properties.agdai162.37 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Grouped0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Grouped.agdai104.28 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Grouped/Properties.agdai178.52 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Linked0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Linked.agdai167.49 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Linked/Properties.agdai224.53 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Unique0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Unique/Propositional0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Unique/Propositional.agdai23.53 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agdai205.32 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Unary/Unique/Setoid0.00 B
Component of No Buildroots