Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Sun, 29 Sep 2024 01:54:51 UTC |
login
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/idris-1.3.4/libs/prelude/Language/Reflection.ibc
237.78 KB
/usr/share/idris-1.3.4/libs/base/Data/Vect.ibc
142.29 KB
/usr/share/idris-1.3.4/libs/contrib/Interfaces/Verified.ibc
136.33 KB
/usr/share/idris-1.3.4/libs/prelude/Language/Reflection/Elab.ibc
127.96 KB
/usr/share/idris-1.3.4/libs/base/Language/Reflection/Utils.ibc
104.89 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/List.ibc
98.48 KB
/usr/share/idris-1.3.4/libs/contrib/Control/ST.ibc
97.98 KB
/usr/share/idris-1.3.4/libs/base/Data/Bits.ibc
92.81 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Interfaces.ibc
89.93 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Nat.ibc
87.65 KB
/usr/share/idris-1.3.4/rts/mini-gmp.c
82.68 KB
/usr/share/idris-1.3.4/libs/contrib/Data/ZZ.ibc
71.63 KB
/usr/share/idris-1.3.4/libs/effects/Effects.ibc
64.68 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude.ibc
63.96 KB
/usr/share/idris-1.3.4/libs/contrib/Data/SortedMap.ibc
56.78 KB
/usr/share/idris-1.3.4/libs/base/Control/Isomorphism.ibc
55.76 KB
/usr/share/doc/idris-common/CHANGELOG.md
55.03 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Core.ibc
53.39 KB
/usr/share/idris-1.3.4/libs/contrib/Control/ST/File.ibc
50.88 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
/usr/share/idris-1.3.4/libs/base/Control/Arrow.ibc
46.31 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Show.ibc
45.08 KB
/usr/share/idris-1.3.4/libs/contrib/Control/Algebra/Laws.ibc
42.33 KB
/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism/Vect.ibc
41.44 KB
/usr/share/idris-1.3.4/libs/base/Data/Fin.ibc
40.62 KB
/usr/share/idris-1.3.4/libs/contrib/Text/Parser/Core.ibc
40.56 KB
/usr/share/idris-1.3.4/jsrts/jsbn/jsbn-browser.js
40.25 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/File.ibc
40.01 KB
/usr/share/idris-1.3.4/libs/base/Data/List/Views.ibc
37.51 KB
/usr/share/idris-1.3.4/libs/prelude/Decidable/Equality.ibc
36.85 KB
/usr/share/idris-1.3.4/libs/prelude/IO.ibc
36.22 KB
/usr/share/idris-1.3.4/libs/effects/Effect/File.ibc
35.68 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Strings.ibc
35.20 KB
/usr/share/idris-1.3.4/libs/effects/Effect/Memory.ibc
35.08 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/RWS.ibc
34.14 KB
/usr/share/idris-1.3.4/libs/contrib/Data/Matrix/Algebraic.ibc
32.93 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Disjoint.ibc
32.24 KB
/usr/share/idris-1.3.4/libs/effects/Effect/Perf.ibc
31.11 KB
/usr/share/idris-1.3.4/libs/contrib/Decidable/Order.ibc
31.04 KB
/usr/share/idris-1.3.4/libs/base/Data/HVect.ibc
29.33 KB
/usr/share/idris-1.3.4/libs/contrib/Data/Nat/Parity.ibc
29.19 KB
/usr/share/idris-1.3.4/libs/effects/Effect/Logging/Category.ibc
29.19 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/Writer.ibc
29.00 KB
/usr/share/idris-1.3.4/rts/idris_rts.c
28.64 KB
/usr/share/idris-1.3.4/libs/contrib/Data/Matrix/Numeric.ibc
28.44 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Injective.ibc
28.27 KB
/usr/share/idris-1.3.4/libs/contrib/Text/Lexer/Core.ibc
27.43 KB
/usr/share/idris-1.3.4/libs/contrib/Language/JSON/Data.ibc
27.20 KB
/usr/share/idris-1.3.4/libs/base/Data/Morphisms.ibc
26.98 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.