fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for RPM Agda-common-2.6.4.1-47.fc41.noarch.rpm

ID193690
BuildAgda-2.6.4.1-47.fc41
NameAgda-common
Version2.6.4.1
Release47.fc41
Epoch
Archnoarch
DraftFalse
SummaryAgda common files
DescriptionThis package provides the Agda core libraries and runtime related files.
Build Time2024-05-07 10:54:00 GMT
Size581.74 KB
17ff98a0944f3bd8a0b4f0e4742f0fe2
LicenseMIT AND BSD-3-Clause AND BSD-2-Clause
Buildrootf41-build-248981-8746
Provides
Agda-common = 2.6.4.1-47.fc41
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
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 107 >>>
Name ascending sort Size
/usr/share/Agda-2.6.4.10.00 B
/usr/share/Agda-2.6.4.1/JS0.00 B
/usr/share/Agda-2.6.4.1/JS/agda-rts.amd.js10.35 KB
/usr/share/Agda-2.6.4.1/JS/agda-rts.js10.81 KB
/usr/share/Agda-2.6.4.1/MAlonzo0.00 B
/usr/share/Agda-2.6.4.1/MAlonzo/src0.00 B
/usr/share/Agda-2.6.4.1/MAlonzo/src/MAlonzo0.00 B
/usr/share/Agda-2.6.4.1/MAlonzo/src/MAlonzo/RTE0.00 B
/usr/share/Agda-2.6.4.1/MAlonzo/src/MAlonzo/RTE.hs2.79 KB
/usr/share/Agda-2.6.4.1/MAlonzo/src/MAlonzo/RTE/Float.hs8.43 KB
/usr/share/Agda-2.6.4.1/html0.00 B
/usr/share/Agda-2.6.4.1/html/Agda.css1.75 KB
/usr/share/Agda-2.6.4.1/html/highlight-hover.js1.30 KB
/usr/share/Agda-2.6.4.1/latex0.00 B
/usr/share/Agda-2.6.4.1/latex/agda.sty25.33 KB
/usr/share/Agda-2.6.4.1/latex/postprocess-latex.pl466.00 B
/usr/share/Agda-2.6.4.1/lib0.00 B
/usr/share/Agda-2.6.4.1/lib/prim0.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda0.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin0.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Bool.agda449.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Bool.agdai5.74 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Char0.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Char.agda555.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Char.agdai7.34 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Char/Properties.agda302.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Char/Properties.agdai5.47 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Coinduction.agda415.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Coinduction.agdai4.29 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical0.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical/Equiv.agda3.76 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical/Equiv.agdai60.30 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical/Glue.agda749.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical/Glue.agdai11.11 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical/HCompU.agda3.44 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical/HCompU.agdai42.94 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical/Id.agda1.89 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical/Id.agdai21.06 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical/Path.agda411.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical/Path.agdai5.65 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical/Sub.agda480.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Cubical/Sub.agdai7.32 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Equality0.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Equality.agda259.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Equality.agdai11.06 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Equality/Erase.agda245.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Equality/Erase.agdai3.73 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Equality/Rewrite.agda210.00 B
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Equality/Rewrite.agdai2.92 KB
/usr/share/Agda-2.6.4.1/lib/prim/Agda/Builtin/Float0.00 B
Component of
1 through 2 of 2
Buildroot descending sort Created State
f41-build-549754-10512 2024-05-23 00:49:48 expired
f41-build-282168-9021 2024-05-08 11:14:43 expired