Tue, 22 Jun 2021 18:34:34 UTC

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

ID22996630
NameAgda-stdlib
Version1.3
Release4.fc33
Epoch
Archnoarch
SummaryAgda standard libraries
DescriptionAgda standard libraries
Build Time2020-08-25 16:04:05 GMT
Size80,983,477
42c6c99ea70ca0b05046fec328e34a22
LicenseMIT
Buildrootf33-build-22380656-1976282
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:
1 through 50 of 1952 >>>
Name ascending sort Size
/usr/share/Agda-stdlib0
/usr/share/Agda-stdlib/_build0
/usr/share/Agda-stdlib/_build/2.6.10
/usr/share/Agda-stdlib/_build/2.6.1/agda0
/usr/share/Agda-stdlib/_build/2.6.1/agda/Everything.agdai1,892,256
/usr/share/Agda-stdlib/_build/2.6.1/agda/EverythingSafe.agdai1,849,552
/usr/share/Agda-stdlib/_build/2.6.1/agda/README0
/usr/share/Agda-stdlib/_build/2.6.1/agda/README.agdai284,136
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Axiom.agdai13,621
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Case.agdai145,032
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data0
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data.agdai257,884
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/AVL.agdai158,646
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Container0
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Container/FreeMonad.agdai77,024
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Container/Indexed.agdai92,399
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Integer.agdai80,065
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Interleaving.agdai102,126
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/List0
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/List.agdai268,339
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/List/Fresh.agdai53,461
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Nat0
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Nat.agdai88,747
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Nat/Induction.agdai106,277
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Record.agdai111,640
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Trie0
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Data/Trie/NonDependent.agdai186,228
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Debug0
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Debug/Trace.agdai36,080
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Decidability.agdai195,893
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Foreign0
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Foreign/Haskell.agdai111,988
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Function0
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Function/Reasoning.agdai91,791
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Inspect.agdai111,993
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Nary.agdai287,740
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Tactic0
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Tactic/MonoidSolver.agdai192,574
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Tactic/RingSolver.agdai151,341
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Text0
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Text/Pretty.agdai115,858
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Text/Printf.agdai50,728
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Text/Tabular.agdai55,788
/usr/share/Agda-stdlib/_build/2.6.1/agda/README/Text/Tree.agdai30,409
/usr/share/Agda-stdlib/_build/2.6.1/agda/src0
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra0
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra.agdai111,644
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Bundles.agdai556,854
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Consequences0
/usr/share/Agda-stdlib/_build/2.6.1/agda/src/Algebra/Consequences/Base.agdai16,653
Component of No Buildroots