idris-common-1.3.4-1.oc9.noarch.rpm | RPM Info

Information for RPM idris-common-1.3.4-1.oc9.noarch.rpm

221639

Name

idris-common

Version

1.3.4

Release

1.oc9

Epoch

Arch

noarch

Summary

Idris libraries

Description

This package provides the Idris libraries development files.

Build Time

2024-08-05 05:35:00 GMT

Size

4.04 MB

SIGMD5

53e6ca05d8125d9056932efb507fb59c

License

BSD-3-Clause

Buildroot

dist-oc9-epol-build-92311-59299

Provides

idris-common = 1.3.4-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 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	985.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	46.31 KB
/usr/share/idris-1.3.4/libs/base/Control/Catchable.ibc	19.08 KB
/usr/share/idris-1.3.4/libs/base/Control/Category.ibc	9.51 KB
/usr/share/idris-1.3.4/libs/base/Control/IOExcept.ibc	14.42 KB
/usr/share/idris-1.3.4/libs/base/Control/Isomorphism.ibc	55.76 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.89 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/RWS.ibc	34.14 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/Reader.ibc	20.05 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/State.ibc	25.20 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	29.00 KB
/usr/share/idris-1.3.4/libs/base/Data	0.00 B
/usr/share/idris-1.3.4/libs/base/Data/Bits.ibc	92.81 KB
/usr/share/idris-1.3.4/libs/base/Data/Buffer.ibc	20.17 KB
/usr/share/idris-1.3.4/libs/base/Data/Complex.ibc	19.11 KB
/usr/share/idris-1.3.4/libs/base/Data/Erased.ibc	7.35 KB
/usr/share/idris-1.3.4/libs/base/Data/Fin.ibc	40.62 KB
/usr/share/idris-1.3.4/libs/base/Data/HVect.ibc	29.33 KB
/usr/share/idris-1.3.4/libs/base/Data/IORef.ibc	14.93 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.70 KB
/usr/share/idris-1.3.4/libs/base/Data/List/Quantifiers.ibc	16.80 KB
/usr/share/idris-1.3.4/libs/base/Data/List/Views.ibc	37.51 KB
/usr/share/idris-1.3.4/libs/base/Data/Mod2.ibc	25.29 KB
/usr/share/idris-1.3.4/libs/base/Data/Morphisms.ibc	26.98 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.14 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	13.02 KB

Component of

No Buildroots

Main Site Links:

Information for RPM idris-common-1.3.4-1.oc9.noarch.rpm