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: <<< 51 through 100 of 315 >>>
/usr/share/idris-1.3.4/libs/contrib/Text	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Text/Lexer	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Text/Parser	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint	0.00 B
/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL	0.00 B
/usr/share/idris-1.3.4/libs/effects	0.00 B
/usr/share/idris-1.3.4/libs/effects/Effect	0.00 B
/usr/share/idris-1.3.4/libs/effects/Effect/Logging	0.00 B
/usr/share/idris-1.3.4/libs/prelude	0.00 B
/usr/share/idris-1.3.4/libs/prelude/Decidable	0.00 B
/usr/share/idris-1.3.4/libs/prelude/Language	0.00 B
/usr/share/idris-1.3.4/libs/prelude/Language/Reflection	0.00 B
/usr/share/idris-1.3.4/libs/prelude/Prelude	0.00 B
/usr/share/idris-1.3.4/libs/pruviloj	0.00 B
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj	0.00 B
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Derive	0.00 B
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals	0.00 B
/usr/share/idris-1.3.4/rts	0.00 B
/usr/share/idris-1.3.4/rts/arduino	0.00 B
/usr/share/idris-1.3.4/rts/seL4	0.00 B
/usr/share/idris-1.3.4/rts/windows	0.00 B
/usr/share/licenses/idris-common	0.00 B
/usr/share/idris-1.3.4/rts/libtest.c	14.00 B
/usr/share/idris-1.3.4/jsrts/jsbn/jsbn-node.js	31.00 B
/usr/share/idris-1.3.4/rts/idris_gc.h	131.00 B
/usr/share/idris-1.3.4/rts/getline.h	221.00 B
/usr/share/idris-1.3.4/rts/windows/win_utils.h	241.00 B
/usr/share/idris-1.3.4/rts/seL4/README.md	275.00 B
/usr/share/idris-1.3.4/jsrts/Runtime-javascript.js	392.00 B
/usr/share/idris-1.3.4/rts/idris_opts.h	398.00 B
/usr/share/idris-1.3.4/jsrts/Runtime-common.js	617.00 B
/usr/share/idris-1.3.4/rts/arduino/idris_main.c	659.00 B
/usr/share/idris-1.3.4/rts/seL4/idris_main.c	661.00 B
/usr/share/idris-1.3.4/libs/prelude/00prelude-idx.ibc	745.00 B
/usr/share/idris-1.3.4/libs/pruviloj/00pruviloj-idx.ibc	789.00 B
/usr/share/idris-1.3.4/libs/effects/00effects-idx.ibc	824.00 B
/usr/share/idris-1.3.4/jsrts/Runtime-node.js	834.00 B
/usr/share/idris-1.3.4/libs/contrib/CFFI.ibc	844.00 B
/usr/share/idris-1.3.4/rts/idris_buffer.h	894.00 B
/usr/share/idris-1.3.4/rts/Makefile	980.00 B
/usr/share/idris-1.3.4/libs/base/00base-idx.ibc	985.00 B
/usr/share/idris-1.3.4/rts/idris_utf8.h	1.06 KB
/usr/share/idris-1.3.4/libs/contrib/Test/Unit.ibc	1.08 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj.ibc	1.14 KB
/usr/share/idris-1.3.4/rts/seL4/CMakeLists.txt	1.16 KB
/usr/share/idris-1.3.4/rts/idris_gmp.h	1.39 KB
/usr/share/idris-1.3.4/jsrts/jsbn/LICENSE	1.51 KB
/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL.ibc	1.56 KB
/usr/share/licenses/idris-common/LICENSE	1.56 KB
/usr/share/idris-1.3.4/rts/windows/win_utils.c	1.59 KB

Component of

No Buildroots

Main Site Links:

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