Thu, 11 Jul 2024 04:14:41 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:
<<< 351 through 400 of 1952 >>>
Name ascending sort Size
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/NonEmpty/Categorical.agdai102.70 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/NonEmpty/Properties.agdai119.67 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Properties.agdai884.42 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/BagAndSetEquality.agdai564.51 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Disjoint0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Disjoint/Propositional.agdai60.52 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Disjoint/Setoid0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Disjoint/Setoid.agdai114.75 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agdai117.92 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Equality0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Equality/DecPropositional.agdai88.05 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Equality/DecSetoid.agdai75.97 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Equality/Propositional.agdai84.71 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Equality/Setoid.agdai153.11 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Lex0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Lex/Core.agdai194.26 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Lex/NonStrict.agdai185.21 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Lex/Strict.agdai223.73 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Permutation0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Permutation/Homogeneous.agdai94.01 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Permutation/Propositional0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Permutation/Propositional.agdai98.31 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agdai465.30 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Permutation/Setoid0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Permutation/Setoid.agdai125.79 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agdai751.35 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Pointwise.agdai371.11 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Prefix0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous.agdai98.58 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agdai357.47 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/DecPropositional0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/DecPropositional.agdai113.59 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agdai63.76 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/DecSetoid0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/DecSetoid.agdai106.38 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agdai57.32 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous.agdai158.75 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agdai64.49 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agdai700.95 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agdai243.06 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Propositional0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Propositional.agdai158.63 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Disjoint.agdai80.20 KB
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Example0.00 B
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Example/UniqueBoundVariables.agdai213.27 KB
Component of No Buildroots