Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Fri, 05 Jul 2024 21:46:39 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
<<<
51 through 100 of 315
>>>
Name
Size
/usr/share/idris-1.3.4/libs/contrib/Data/Nat/DivMod/IteratedSubtraction.ibc
26.54 KB
/usr/share/idris-1.3.4/libs/contrib/Network/Cgi.ibc
26.50 KB
/usr/share/idris-1.3.4/libs/contrib/Text/Parser.ibc
26.17 KB
/usr/share/idris-1.3.4/libs/contrib/Data/SortedBag.ibc
26.12 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Maybe.ibc
25.32 KB
/usr/share/idris-1.3.4/libs/base/Data/Mod2.ibc
25.29 KB
/usr/share/idris-1.3.4/libs/contrib/Network/Socket/Data.ibc
25.23 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/State.ibc
25.20 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Induction.ibc
24.74 KB
/usr/share/idris-1.3.4/libs/contrib/Text/Lexer.ibc
24.45 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals.ibc
24.25 KB
/usr/share/idris-1.3.4/libs/contrib/Test/Unit/Assertions.ibc
23.85 KB
/usr/share/idris-1.3.4/libs/contrib/Network/Socket.ibc
23.82 KB
/usr/share/idris-1.3.4/libs/contrib/Data/Heap.ibc
23.74 KB
/usr/share/idris-1.3.4/libs/contrib/CFFI/Types.ibc
23.30 KB
/usr/share/idris-1.3.4/libs/contrib/Control/Algebra/NumericImplementations.ibc
23.15 KB
/usr/share/idris-1.3.4/libs/contrib/Data/Hash.ibc
21.10 KB
/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Core.ibc
20.85 KB
/usr/share/idris-1.3.4/libs/contrib/Text/Literate.ibc
20.72 KB
/usr/share/idris-1.3.4/libs/base/Data/String.ibc
20.47 KB
/usr/share/idris-1.3.4/libs/base/Data/Buffer.ibc
20.17 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/Identity.ibc
19.89 KB
/usr/share/idris-1.3.4/libs/base/Data/List.ibc
19.70 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Interactive.ibc
19.66 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Stream.ibc
19.18 KB
/usr/share/idris-1.3.4/libs/base/Data/Complex.ibc
19.11 KB
/usr/share/idris-1.3.4/libs/base/Control/Catchable.ibc
19.08 KB
/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Combinators.ibc
18.89 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals/TyConInfo.ibc
18.46 KB
/usr/share/idris-1.3.4/libs/contrib/Control/ST/Exception.ibc
18.44 KB
/usr/share/idris-1.3.4/libs/contrib/Network/Socket/Raw.ibc
18.25 KB
/usr/share/idris-1.3.4/libs/contrib/System/Concurrency/Process.ibc
18.24 KB
/usr/share/idris-1.3.4/libs/effects/Effect/Logging/Default.ibc
17.79 KB
/usr/share/idris-1.3.4/libs/contrib/Data/List/Zipper.ibc
17.60 KB
/usr/share/idris-1.3.4/libs/prelude/Builtins.ibc
17.59 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/WellFounded.ibc
17.46 KB
/usr/share/idris-1.3.4/libs/base/Data/Vect/Views.ibc
17.32 KB
/usr/share/idris-1.3.4/libs/contrib/Data/BoundedList.ibc
17.30 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/Vect/Quantifiers.ibc
16.78 KB
/usr/share/idris-1.3.4/libs/contrib/Interfaces/Correlative.ibc
16.71 KB
/usr/share/idris-1.3.4/libs/contrib/Data/Fin/Extra.ibc
16.69 KB
/usr/share/idris-1.3.4/libs/base/System.ibc
16.69 KB
/usr/share/idris-1.3.4/libs/effects/Effect/Logging/Level.ibc
15.95 KB
/usr/share/idris-1.3.4/libs/base/System/Concurrency/Raw.ibc
15.63 KB
/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism/Fin.ibc
15.62 KB
/usr/share/idris-1.3.4/libs/contrib/Data/List/Reverse.ibc
15.31 KB
/usr/share/idris-1.3.4/libs/base/Data/IORef.ibc
14.93 KB
/usr/share/idris-1.3.4/rts/idris_rts.h
14.83 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.