Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

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

ID	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	Page: 1 2 3 4 5 6 7 1 through 50 of 315 >>> Name Size /usr/share/licenses/idris-common/LICENSE 1.56 KB /usr/share/licenses/idris-common 0.00 B /usr/share/idris-1.3.4/rts/windows/win_utils.h 241.00 B /usr/share/idris-1.3.4/rts/windows/win_utils.c 1.59 KB /usr/share/idris-1.3.4/rts/windows 0.00 B /usr/share/idris-1.3.4/rts/seL4/idris_main.c 661.00 B /usr/share/idris-1.3.4/rts/seL4/README.md 275.00 B /usr/share/idris-1.3.4/rts/seL4/CMakeLists.txt 1.16 KB /usr/share/idris-1.3.4/rts/seL4 0.00 B /usr/share/idris-1.3.4/rts/mini-gmp.h 11.03 KB /usr/share/idris-1.3.4/rts/mini-gmp.c 82.68 KB /usr/share/idris-1.3.4/rts/libtest.c 14.00 B /usr/share/idris-1.3.4/rts/idris_utf8.h 1.06 KB /usr/share/idris-1.3.4/rts/idris_utf8.c 4.21 KB /usr/share/idris-1.3.4/rts/idris_stdfgn.h 1.60 KB /usr/share/idris-1.3.4/rts/idris_stdfgn.c 5.60 KB /usr/share/idris-1.3.4/rts/idris_stats.h 2.77 KB /usr/share/idris-1.3.4/rts/idris_stats.c 2.28 KB /usr/share/idris-1.3.4/rts/idris_rts.h 14.83 KB /usr/share/idris-1.3.4/rts/idris_rts.c 28.64 KB /usr/share/idris-1.3.4/rts/idris_opts.h 398.00 B /usr/share/idris-1.3.4/rts/idris_opts.c 2.63 KB /usr/share/idris-1.3.4/rts/idris_net.h 2.36 KB /usr/share/idris-1.3.4/rts/idris_net.c 9.90 KB /usr/share/idris-1.3.4/rts/idris_main.c 1.67 KB /usr/share/idris-1.3.4/rts/idris_heap.h 3.14 KB /usr/share/idris-1.3.4/rts/idris_heap.c 5.80 KB /usr/share/idris-1.3.4/rts/idris_gmp.h 1.39 KB /usr/share/idris-1.3.4/rts/idris_gmp.c 9.30 KB /usr/share/idris-1.3.4/rts/idris_gc.h 131.00 B /usr/share/idris-1.3.4/rts/idris_gc.c 4.00 KB /usr/share/idris-1.3.4/rts/idris_buffer.h 894.00 B /usr/share/idris-1.3.4/rts/idris_buffer.c 3.42 KB /usr/share/idris-1.3.4/rts/idris_bitstring.h 4.54 KB /usr/share/idris-1.3.4/rts/idris_bitstring.c 13.64 KB /usr/share/idris-1.3.4/rts/getline.h 221.00 B /usr/share/idris-1.3.4/rts/getline.c 2.66 KB /usr/share/idris-1.3.4/rts/arduino/idris_main.c 659.00 B /usr/share/idris-1.3.4/rts/arduino 0.00 B /usr/share/idris-1.3.4/rts/Makefile 980.00 B /usr/share/idris-1.3.4/rts 0.00 B /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Renamers.ibc 7.34 KB /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals/TyConInfo.ibc 18.46 KB /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals.ibc 24.25 KB /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals 0.00 B /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Injective.ibc 28.27 KB /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Induction.ibc 24.74 KB /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Disjoint.ibc 32.24 KB /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Derive/Eliminators.ibc 49.29 KB /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Derive/DecEq.ibc 47.40 KB
Component of	No Buildroots