Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Mon, 30 Sep 2024 05:14:00 UTC |
login
Information for RPM
idris-common-1.3.4-5.fc37.noarch.rpm
ID
873495
Name
idris-common
Version
1.3.4
Release
5.fc37
Epoch
Arch
noarch
Summary
Idris libraries
Description
This package provides the Idris libraries development files.
Build Time
2022-11-03 20:02:57 GMT
Size
4.01 MB
SIGMD5
453dcac3204e83d5e1e6f14d78d3b48f
License
BSD
Buildroot
f37-build-664721-74155
Provides
idris-common = 1.3.4-5.fc37
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
Copyright © 2006-2016 Red Hat, Inc.