Wed, 04 Aug 2021 22:25:10 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:
1 through 50 of 642 >>>
Name descending sort Size
/usr/share/licenses/Agda-stdlib/LICENCE1,584
/usr/share/licenses/Agda-stdlib0
/usr/share/doc/Agda-stdlib/README/Record.agdai52,878
/usr/share/doc/Agda-stdlib/README/Record.agda1,159
/usr/share/doc/Agda-stdlib/README/Nat.agdai52,145
/usr/share/doc/Agda-stdlib/README/Nat.agda1,466
/usr/share/doc/Agda-stdlib/README/Integer.agdai42,798
/usr/share/doc/Agda-stdlib/README/Integer.agda1,933
/usr/share/doc/Agda-stdlib/README/Container/FreeMonad.agdai53,960
/usr/share/doc/Agda-stdlib/README/Container/FreeMonad.agda1,948
/usr/share/doc/Agda-stdlib/README/Container0
/usr/share/doc/Agda-stdlib/README/Case.agdai26,085
/usr/share/doc/Agda-stdlib/README/Case.agda939
/usr/share/doc/Agda-stdlib/README/AVL.agdai81,151
/usr/share/doc/Agda-stdlib/README/AVL.agda3,218
/usr/share/doc/Agda-stdlib/README.md761
/usr/share/doc/Agda-stdlib/README.agdai148,579
/usr/share/doc/Agda-stdlib/README.agda10,283
/usr/share/doc/Agda-stdlib/README0
/usr/share/doc/Agda-stdlib/Everything.agda19,630
/usr/share/doc/Agda-stdlib/CHANGELOG.md72,962
/usr/share/doc/Agda-stdlib0
/usr/share/Agda-stdlib/standard-library.agda-lib36
/usr/share/Agda-stdlib/src/Universe.agdai18,569
/usr/share/Agda-stdlib/src/Universe.agda850
/usr/share/Agda-stdlib/src/Strict.agdai7,179
/usr/share/Agda-stdlib/src/Strict.agda780
/usr/share/Agda-stdlib/src/Size.agdai6,351
/usr/share/Agda-stdlib/src/Size.agda556
/usr/share/Agda-stdlib/src/Relation/Unary/PredicateTransformer.agdai67,834
/usr/share/Agda-stdlib/src/Relation/Unary/PredicateTransformer.agda3,391
/usr/share/Agda-stdlib/src/Relation/Unary.agdai76,286
/usr/share/Agda-stdlib/src/Relation/Unary.agda7,951
/usr/share/Agda-stdlib/src/Relation/Unary0
/usr/share/Agda-stdlib/src/Relation/Nullary/Universe.agdai123,470
/usr/share/Agda-stdlib/src/Relation/Nullary/Universe.agda4,746
/usr/share/Agda-stdlib/src/Relation/Nullary/Sum.agdai15,078
/usr/share/Agda-stdlib/src/Relation/Nullary/Sum.agda868
/usr/share/Agda-stdlib/src/Relation/Nullary/Product.agdai13,306
/usr/share/Agda-stdlib/src/Relation/Nullary/Product.agda606
/usr/share/Agda-stdlib/src/Relation/Nullary/Negation.agdai63,674
/usr/share/Agda-stdlib/src/Relation/Nullary/Negation.agda6,401
/usr/share/Agda-stdlib/src/Relation/Nullary/Implication.agdai10,165
/usr/share/Agda-stdlib/src/Relation/Nullary/Implication.agda618
/usr/share/Agda-stdlib/src/Relation/Nullary/Decidable.agdai73,629
/usr/share/Agda-stdlib/src/Relation/Nullary/Decidable.agda3,356
/usr/share/Agda-stdlib/src/Relation/Nullary.agdai6,497
/usr/share/Agda-stdlib/src/Relation/Nullary.agda892
/usr/share/Agda-stdlib/src/Relation/Nullary0
/usr/share/Agda-stdlib/src/Relation/Binary/Vec/Pointwise.agdai12,482
Component of No Buildroots