Agda-common-2.6.3-1.oc9.noarch.rpm | RPM Info

Information for RPM Agda-common-2.6.3-1.oc9.noarch.rpm

217484

Name

Agda-common

Version

2.6.3

Release

1.oc9

Epoch

Arch

noarch

Summary

Agda common files

Description

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

Build Time

2024-08-02 09:57:58 GMT

Size

530.26 KB

SIGMD5

354e46c5f3c7c9a595560997b884f27b

License

MIT and BSD-3-Clause and BSD-2-Clause

Buildroot

dist-oc9-epol-build-90270-58996

Provides

Agda-common = 2.6.3-1.oc9

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(PayloadIsXz) <= 5.2-1

Recommends

No Recommends

Suggests

No Suggests

Supplements

No Supplements

Enhances

No Enhances

Files

Name	Size
Page: 1 through 50 of 104 >>>
/usr/share/Agda-2.6.3	0.00 B
/usr/share/Agda-2.6.3/JS	0.00 B
/usr/share/Agda-2.6.3/JS/agda-rts.js	10.81 KB
/usr/share/Agda-2.6.3/MAlonzo	0.00 B
/usr/share/Agda-2.6.3/MAlonzo/src	0.00 B
/usr/share/Agda-2.6.3/MAlonzo/src/MAlonzo	0.00 B
/usr/share/Agda-2.6.3/MAlonzo/src/MAlonzo/RTE	0.00 B
/usr/share/Agda-2.6.3/MAlonzo/src/MAlonzo/RTE.hs	2.54 KB
/usr/share/Agda-2.6.3/MAlonzo/src/MAlonzo/RTE/Float.hs	8.14 KB
/usr/share/Agda-2.6.3/html	0.00 B
/usr/share/Agda-2.6.3/html/Agda.css	1.75 KB
/usr/share/Agda-2.6.3/html/highlight-hover.js	833.00 B
/usr/share/Agda-2.6.3/latex	0.00 B
/usr/share/Agda-2.6.3/latex/agda.sty	25.33 KB
/usr/share/Agda-2.6.3/latex/postprocess-latex.pl	466.00 B
/usr/share/Agda-2.6.3/lib	0.00 B
/usr/share/Agda-2.6.3/lib/prim	0.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda	0.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin	0.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Bool.agda	432.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Bool.agdai	5.44 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Char	0.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Char.agda	538.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Char.agdai	7.15 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Char/Properties.agda	285.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Char/Properties.agdai	5.39 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Coinduction.agda	398.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Coinduction.agdai	4.11 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Cubical	0.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Cubical/Glue.agda	4.27 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Cubical/Glue.agdai	64.49 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Cubical/HCompU.agda	3.44 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Cubical/HCompU.agdai	43.10 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Cubical/Id.agda	1.89 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Cubical/Id.agdai	20.46 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Cubical/Path.agda	411.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Cubical/Path.agdai	5.57 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Cubical/Sub.agda	480.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Cubical/Sub.agdai	7.01 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Equality	0.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Equality.agda	242.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Equality.agdai	10.83 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Equality/Erase.agda	228.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Equality/Erase.agdai	3.57 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Equality/Rewrite.agda	193.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Equality/Rewrite.agdai	2.76 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Float	0.00 B
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Float.agda	6.27 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Float.agdai	28.71 KB
/usr/share/Agda-2.6.3/lib/prim/Agda/Builtin/Float/Properties.agda	299.00 B

Component of

No Buildroots

Main Site Links:

Information for RPM Agda-common-2.6.3-1.oc9.noarch.rpm