idris-common-1.3.4-6.fc38.noarch.rpm | RPM Info

Information for RPM idris-common-1.3.4-6.fc38.noarch.rpm

1019250

Name

idris-common

Version

1.3.4

Release

6.fc38

Epoch

Arch

noarch

Summary

Idris libraries

Description

This package provides the Idris libraries development files.

Build Time

2023-06-03 09:53:49 GMT

Size

4.01 MB

SIGMD5

28071b702c279dcb0863a146a8347b71

License

BSD-3-Clause

Buildroot

f38-build-719838-97265

Provides

idris-common = 1.3.4-6.fc38

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 315 >>>
/usr/share/doc/idris-common	0.00 B
/usr/share/idris-1.3.4	0.00 B
/usr/share/idris-1.3.4/idrisdoc	0.00 B
/usr/share/idris-1.3.4/jsrts	0.00 B
/usr/share/idris-1.3.4/jsrts/jsbn	0.00 B
/usr/share/idris-1.3.4/libs	0.00 B
/usr/share/idris-1.3.4/libs/base	0.00 B
/usr/share/idris-1.3.4/libs/base/Control	0.00 B
/usr/share/idris-1.3.4/libs/base/Control/Monad	0.00 B
/usr/share/idris-1.3.4/libs/base/Data	0.00 B
/usr/share/idris-1.3.4/libs/base/Data/List	0.00 B
/usr/share/idris-1.3.4/libs/base/Data/Nat	0.00 B
/usr/share/idris-1.3.4/libs/base/Data/Primitives	0.00 B
/usr/share/idris-1.3.4/libs/base/Data/String	0.00 B
/usr/share/idris-1.3.4/libs/base/Data/Vect	0.00 B
/usr/share/idris-1.3.4/libs/base/Debug	0.00 B
/usr/share/idris-1.3.4/libs/base/Language	0.00 B
/usr/share/idris-1.3.4/libs/base/Language/Reflection	0.00 B
/usr/share/idris-1.3.4/libs/base/Syntax	0.00 B
/usr/share/idris-1.3.4/libs/base/System	0.00 B
/usr/share/idris-1.3.4/libs/base/System/Concurrency	0.00 B
/usr/share/idris-1.3.4/libs/contrib	0.00 B
/usr/share/idris-1.3.4/libs/contrib/CFFI	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Control	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Control/Algebra	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Control/Monad	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Control/ST	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Data	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Data/Bool	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Data/Combinators	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Data/Fin	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Data/List	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Data/Matrix	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Data/Nat	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Data/Nat/DivMod	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Data/Pairs	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Data/Stream	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Data/String	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Decidable	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Interfaces	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Language	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Language/JSON	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Language/JSON/String	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Network	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Network/Socket	0.00 B
/usr/share/idris-1.3.4/libs/contrib/System	0.00 B
/usr/share/idris-1.3.4/libs/contrib/System/Concurrency	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Test	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Test/Unit	0.00 B

Component of

No Buildroots

Main Site Links:

Information for RPM idris-common-1.3.4-6.fc38.noarch.rpm