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

Information for RPM Agda-common-2.6.4.3-48.fc41.noarch.rpm

ID238305
BuildAgda-2.6.4.3-48.fc41
NameAgda-common
Version2.6.4.3
Release48.fc41
Epoch
Archnoarch
DraftFalse
SummaryAgda common files
DescriptionThis package provides the Agda core libraries and runtime related files.
Build Time2024-06-07 13:12:54 GMT
Size579.36 KB
e2f82e3fa72c15ce11982296b084fefc
LicenseMIT AND BSD-3-Clause AND BSD-2-Clause
Buildrootf41-build-806162-13879
Provides
Agda-common = 2.6.4.3-48.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 121 >>>
Name ascending sort Size
/usr/share/Agda-2.6.4.30.00 B
/usr/share/Agda-2.6.4.3/JS0.00 B
/usr/share/Agda-2.6.4.3/JS/agda-rts.amd.js10.35 KB
/usr/share/Agda-2.6.4.3/JS/agda-rts.js10.81 KB
/usr/share/Agda-2.6.4.3/MAlonzo0.00 B
/usr/share/Agda-2.6.4.3/MAlonzo/src0.00 B
/usr/share/Agda-2.6.4.3/MAlonzo/src/MAlonzo0.00 B
/usr/share/Agda-2.6.4.3/MAlonzo/src/MAlonzo/RTE0.00 B
/usr/share/Agda-2.6.4.3/MAlonzo/src/MAlonzo/RTE.hs2.79 KB
/usr/share/Agda-2.6.4.3/MAlonzo/src/MAlonzo/RTE/Float.hs8.43 KB
/usr/share/Agda-2.6.4.3/html0.00 B
/usr/share/Agda-2.6.4.3/html/Agda.css1.75 KB
/usr/share/Agda-2.6.4.3/html/highlight-hover.js1.30 KB
/usr/share/Agda-2.6.4.3/latex0.00 B
/usr/share/Agda-2.6.4.3/latex/agda.sty25.33 KB
/usr/share/Agda-2.6.4.3/latex/postprocess-latex.pl466.00 B
/usr/share/Agda-2.6.4.3/lib0.00 B
/usr/share/Agda-2.6.4.3/lib/prim0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Bool.agda449.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Char0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Char.agda555.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Char/Properties.agda302.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Coinduction.agda415.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Equiv.agda3.76 KB
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Glue.agda749.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/HCompU.agda3.44 KB
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Id.agda1.89 KB
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Path.agda411.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Sub.agda480.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Equality0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Equality.agda259.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Equality/Erase.agda245.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Equality/Rewrite.agda210.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Float0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Float.agda6.29 KB
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Float/Properties.agda316.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/FromNat.agda453.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/FromNeg.agda459.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/FromString.agda489.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/IO.agda298.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Int.agda474.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/List.agda529.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Maybe.agda242.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Nat.agda3.98 KB
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Reflection0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Reflection.agda19.44 KB
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Reflection/External.agda511.00 B
Component of
1 through 1 of 1
Buildroot descending sort Created State
f41-build-side-1-2630399-25598 2024-09-05 08:15:38 expired