Thu, 05 Aug 2021 14:28:52 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:
<<< 51 through 100 of 642 >>>
Name ascending sort Size
/usr/share/Agda-stdlib/src/Algebra/RingSolver/Lemmas.agdai118,906
/usr/share/Agda-stdlib/src/Algebra/RingSolver/Natural-coefficients.agda2,368
/usr/share/Agda-stdlib/src/Algebra/RingSolver/Natural-coefficients.agdai122,129
/usr/share/Agda-stdlib/src/Algebra/RingSolver/Simple.agda644
/usr/share/Agda-stdlib/src/Algebra/RingSolver/Simple.agdai82,444
/usr/share/Agda-stdlib/src/Algebra/Structures.agda15,795
/usr/share/Agda-stdlib/src/Algebra/Structures.agdai305,169
/usr/share/Agda-stdlib/src/Category0
/usr/share/Agda-stdlib/src/Category/Applicative0
/usr/share/Agda-stdlib/src/Category/Applicative.agda634
/usr/share/Agda-stdlib/src/Category/Applicative.agdai13,118
/usr/share/Agda-stdlib/src/Category/Applicative/Indexed.agda2,498
/usr/share/Agda-stdlib/src/Category/Applicative/Indexed.agdai52,426
/usr/share/Agda-stdlib/src/Category/Applicative/Predicate.agda1,422
/usr/share/Agda-stdlib/src/Category/Applicative/Predicate.agdai31,984
/usr/share/Agda-stdlib/src/Category/Functor0
/usr/share/Agda-stdlib/src/Category/Functor.agda1,053
/usr/share/Agda-stdlib/src/Category/Functor.agdai18,077
/usr/share/Agda-stdlib/src/Category/Functor/Identity.agda436
/usr/share/Agda-stdlib/src/Category/Functor/Identity.agdai4,911
/usr/share/Agda-stdlib/src/Category/Functor/Predicate.agda795
/usr/share/Agda-stdlib/src/Category/Functor/Predicate.agdai20,148
/usr/share/Agda-stdlib/src/Category/Monad0
/usr/share/Agda-stdlib/src/Category/Monad.agda1,050
/usr/share/Agda-stdlib/src/Category/Monad.agdai29,858
/usr/share/Agda-stdlib/src/Category/Monad/Continuation.agda2,175
/usr/share/Agda-stdlib/src/Category/Monad/Continuation.agdai44,925
/usr/share/Agda-stdlib/src/Category/Monad/Identity.agda453
/usr/share/Agda-stdlib/src/Category/Monad/Identity.agdai8,401
/usr/share/Agda-stdlib/src/Category/Monad/Indexed.agda1,862
/usr/share/Agda-stdlib/src/Category/Monad/Indexed.agdai43,955
/usr/share/Agda-stdlib/src/Category/Monad/Partiality0
/usr/share/Agda-stdlib/src/Category/Monad/Partiality.agda35,804
/usr/share/Agda-stdlib/src/Category/Monad/Partiality.agdai401,914
/usr/share/Agda-stdlib/src/Category/Monad/Partiality/All.agda6,437
/usr/share/Agda-stdlib/src/Category/Monad/Partiality/All.agdai125,097
/usr/share/Agda-stdlib/src/Category/Monad/Predicate.agda1,894
/usr/share/Agda-stdlib/src/Category/Monad/Predicate.agdai64,287
/usr/share/Agda-stdlib/src/Category/Monad/State.agda4,085
/usr/share/Agda-stdlib/src/Category/Monad/State.agdai74,446
/usr/share/Agda-stdlib/src/Coinduction.agda1,300
/usr/share/Agda-stdlib/src/Coinduction.agdai5,565
/usr/share/Agda-stdlib/src/Data0
/usr/share/Agda-stdlib/src/Data/AVL0
/usr/share/Agda-stdlib/src/Data/AVL.agda3,578
/usr/share/Agda-stdlib/src/Data/AVL.agdai115,918
/usr/share/Agda-stdlib/src/Data/AVL/Height.agda1,406
/usr/share/Agda-stdlib/src/Data/AVL/Height.agdai19,772
/usr/share/Agda-stdlib/src/Data/AVL/Indexed.agda12,702
/usr/share/Agda-stdlib/src/Data/AVL/Indexed.agdai204,776
Component of No Buildroots