idris-common-1.3.4-17.fc41.noarch.rpm | RPM Info

Information for RPM idris-common-1.3.4-17.fc41.noarch.rpm

1430815

Name

idris-common

Version

1.3.4

Release

17.fc41

Epoch

Arch

noarch

Summary

Idris libraries

Description

This package provides the Idris libraries development files.

Build Time

2024-08-13 09:35:39 GMT

Size

3.98 MB

SIGMD5

c5ebd2b5b835d7e2fbe7d6c327b2dd61

License

BSD-3-Clause

Buildroot

f41-build-840437-160683

Provides

idris-common = 1.3.4-17.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 315 >>>
/usr/share/doc/idris-common	0.00 B
/usr/share/doc/idris-common/CHANGELOG.md	55.03 KB
/usr/share/doc/idris-common/CONTRIBUTING.md	7.80 KB
/usr/share/doc/idris-common/CONTRIBUTORS	3.26 KB
/usr/share/doc/idris-common/README.md	2.80 KB
/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/idrisdoc/styles.css	3.35 KB
/usr/share/idris-1.3.4/jsrts	0.00 B
/usr/share/idris-1.3.4/jsrts/Runtime-common.js	617.00 B
/usr/share/idris-1.3.4/jsrts/Runtime-javascript.js	392.00 B
/usr/share/idris-1.3.4/jsrts/Runtime-node.js	834.00 B
/usr/share/idris-1.3.4/jsrts/jsbn	0.00 B
/usr/share/idris-1.3.4/jsrts/jsbn/LICENSE	1.51 KB
/usr/share/idris-1.3.4/jsrts/jsbn/jsbn-browser.js	40.25 KB
/usr/share/idris-1.3.4/jsrts/jsbn/jsbn-node.js	31.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/00base-idx.ibc	982.00 B
/usr/share/idris-1.3.4/libs/base/Control	0.00 B
/usr/share/idris-1.3.4/libs/base/Control/Arrow.ibc	45.95 KB
/usr/share/idris-1.3.4/libs/base/Control/Catchable.ibc	18.97 KB
/usr/share/idris-1.3.4/libs/base/Control/Category.ibc	9.48 KB
/usr/share/idris-1.3.4/libs/base/Control/IOExcept.ibc	14.32 KB
/usr/share/idris-1.3.4/libs/base/Control/Isomorphism.ibc	55.41 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad	0.00 B
/usr/share/idris-1.3.4/libs/base/Control/Monad/Identity.ibc	19.79 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/RWS.ibc	33.93 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/Reader.ibc	19.87 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/State.ibc	24.96 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/Trans.ibc	4.71 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/Writer.ibc	28.80 KB
/usr/share/idris-1.3.4/libs/base/Data	0.00 B
/usr/share/idris-1.3.4/libs/base/Data/Bits.ibc	91.31 KB
/usr/share/idris-1.3.4/libs/base/Data/Buffer.ibc	20.05 KB
/usr/share/idris-1.3.4/libs/base/Data/Complex.ibc	19.04 KB
/usr/share/idris-1.3.4/libs/base/Data/Erased.ibc	7.32 KB
/usr/share/idris-1.3.4/libs/base/Data/Fin.ibc	40.36 KB
/usr/share/idris-1.3.4/libs/base/Data/HVect.ibc	29.17 KB
/usr/share/idris-1.3.4/libs/base/Data/IORef.ibc	14.86 KB
/usr/share/idris-1.3.4/libs/base/Data/List	0.00 B
/usr/share/idris-1.3.4/libs/base/Data/List.ibc	19.57 KB
/usr/share/idris-1.3.4/libs/base/Data/List/Quantifiers.ibc	16.76 KB
/usr/share/idris-1.3.4/libs/base/Data/List/Views.ibc	37.23 KB
/usr/share/idris-1.3.4/libs/base/Data/Mod2.ibc	24.81 KB
/usr/share/idris-1.3.4/libs/base/Data/Morphisms.ibc	26.80 KB
/usr/share/idris-1.3.4/libs/base/Data/Nat	0.00 B
/usr/share/idris-1.3.4/libs/base/Data/Nat/Views.ibc	9.12 KB
/usr/share/idris-1.3.4/libs/base/Data/Primitives	0.00 B
/usr/share/idris-1.3.4/libs/base/Data/Primitives/Views.ibc	12.95 KB

Component of

No Buildroots

Main Site Links:

Information for RPM idris-common-1.3.4-17.fc41.noarch.rpm