Agda-common-2.6.2.2-37.fc37.noarch.rpm | RPM Info

This site has been archived!!! Click here to visit the new openkoji buildsystem!

Information for RPM Agda-common-2.6.2.2-37.fc37.noarch.rpm

92975

Build

Agda-2.6.2.2-37.fc37

Name

Agda-common

Version

2.6.2.2

Release

37.fc37

Epoch

Arch

noarch

Draft

False

Summary

Agda common files

Description

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

Build Time

2023-03-01 02:17:00 GMT

Size

635.43 KB

SIGMD5

7103b9dd5b3e9345b90d6a7106de7178

License

MIT and BSD

Buildroot

f37-build-side-32-misc-devel-414442-16077

Provides

Agda-common = 2.6.2.2-37.fc37

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 104 >>>
/usr/share/Agda-2.6.2.2	0.00 B
/usr/share/Agda-2.6.2.2/JS	0.00 B
/usr/share/Agda-2.6.2.2/JS/agda-rts.js	10.21 KB
/usr/share/Agda-2.6.2.2/MAlonzo	0.00 B
/usr/share/Agda-2.6.2.2/MAlonzo/src	0.00 B
/usr/share/Agda-2.6.2.2/MAlonzo/src/MAlonzo	0.00 B
/usr/share/Agda-2.6.2.2/MAlonzo/src/MAlonzo/RTE	0.00 B
/usr/share/Agda-2.6.2.2/MAlonzo/src/MAlonzo/RTE.hs	2.54 KB
/usr/share/Agda-2.6.2.2/MAlonzo/src/MAlonzo/RTE/Float.hs	8.10 KB
/usr/share/Agda-2.6.2.2/html	0.00 B
/usr/share/Agda-2.6.2.2/html/Agda.css	1.75 KB
/usr/share/Agda-2.6.2.2/html/highlight-hover.js	833.00 B
/usr/share/Agda-2.6.2.2/latex	0.00 B
/usr/share/Agda-2.6.2.2/latex/agda.sty	25.33 KB
/usr/share/Agda-2.6.2.2/latex/postprocess-latex.pl	466.00 B
/usr/share/Agda-2.6.2.2/lib	0.00 B
/usr/share/Agda-2.6.2.2/lib/prim	0.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda	0.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin	0.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Bool.agda	439.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Bool.agdai	6.95 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Char	0.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Char.agda	544.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Char.agdai	9.71 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Char/Properties.agda	303.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Char/Properties.agdai	7.16 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Coinduction.agda	404.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Coinduction.agdai	6.50 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Cubical	0.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Cubical/Glue.agda	4.30 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Cubical/Glue.agdai	76.83 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Cubical/HCompU.agda	3.47 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Cubical/HCompU.agdai	55.19 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Cubical/Id.agda	1.37 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Cubical/Id.agdai	20.36 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Cubical/Path.agda	543.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Cubical/Path.agdai	9.06 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Cubical/Sub.agda	509.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Cubical/Sub.agdai	9.69 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Equality	0.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Equality.agda	260.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Equality.agdai	5.53 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Equality/Erase.agda	255.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Equality/Erase.agdai	5.70 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Equality/Rewrite.agda	211.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Equality/Rewrite.agdai	4.61 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Float	0.00 B
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Float.agda	6.29 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Float.agdai	37.73 KB
/usr/share/Agda-2.6.2.2/lib/prim/Agda/Builtin/Float/Properties.agda	317.00 B

Component of

No Buildroots