Agda-common-2.6.4.3-50.fc41.noarch.rpm | RPM Info

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

1453931

Name

Agda-common

Version

2.6.4.3

Release

50.fc41

Epoch

Arch

noarch

Summary

Agda common files

Description

This package provides the Agda core libraries and runtime related files.

Build Time

2024-09-20 21:56:21 GMT

Size

578.70 KB

SIGMD5

553f09cc294b7933e7ee4a2a54157996

License

MIT AND BSD-3-Clause AND BSD-2-Clause

Buildroot

f41-build-850066-164932

Provides

Agda-common = 2.6.4.3-50.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

Name	Size
Page: 1 through 50 of 121 >>>
/usr/share/Agda-2.6.4.3	0.00 B
/usr/share/Agda-2.6.4.3/JS	0.00 B
/usr/share/Agda-2.6.4.3/JS/agda-rts.amd.js	10.35 KB
/usr/share/Agda-2.6.4.3/JS/agda-rts.js	10.81 KB
/usr/share/Agda-2.6.4.3/MAlonzo	0.00 B
/usr/share/Agda-2.6.4.3/MAlonzo/src	0.00 B
/usr/share/Agda-2.6.4.3/MAlonzo/src/MAlonzo	0.00 B
/usr/share/Agda-2.6.4.3/MAlonzo/src/MAlonzo/RTE	0.00 B
/usr/share/Agda-2.6.4.3/MAlonzo/src/MAlonzo/RTE.hs	2.79 KB
/usr/share/Agda-2.6.4.3/MAlonzo/src/MAlonzo/RTE/Float.hs	8.43 KB
/usr/share/Agda-2.6.4.3/html	0.00 B
/usr/share/Agda-2.6.4.3/html/Agda.css	1.75 KB
/usr/share/Agda-2.6.4.3/html/highlight-hover.js	1.30 KB
/usr/share/Agda-2.6.4.3/latex	0.00 B
/usr/share/Agda-2.6.4.3/latex/agda.sty	25.33 KB
/usr/share/Agda-2.6.4.3/latex/postprocess-latex.pl	466.00 B
/usr/share/Agda-2.6.4.3/lib	0.00 B
/usr/share/Agda-2.6.4.3/lib/prim	0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda	0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin	0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Bool.agda	449.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Char	0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Char.agda	555.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Char/Properties.agda	302.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Coinduction.agda	415.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical	0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Equiv.agda	3.76 KB
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Glue.agda	749.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/HCompU.agda	3.44 KB
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Id.agda	1.89 KB
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Path.agda	411.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Cubical/Sub.agda	480.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Equality	0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Equality.agda	259.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Equality/Erase.agda	245.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Equality/Rewrite.agda	210.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Float	0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Float.agda	6.29 KB
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Float/Properties.agda	316.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/FromNat.agda	453.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/FromNeg.agda	459.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/FromString.agda	489.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/IO.agda	298.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Int.agda	474.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/List.agda	529.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Maybe.agda	242.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Nat.agda	3.98 KB
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Reflection	0.00 B
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Reflection.agda	19.44 KB
/usr/share/Agda-2.6.4.3/lib/prim/Agda/Builtin/Reflection/External.agda	511.00 B

Component of

No Buildroots

Main Site Links:

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