Wed, 03 Jul 2024 11:11:46 UTC | login

Information for RPM idris-common-1.3.4-5.fc37.noarch.rpm

ID873495
Nameidris-common
Version1.3.4
Release5.fc37
Epoch
Archnoarch
SummaryIdris libraries
DescriptionThis package provides the Idris libraries development files.
Build Time2022-11-03 20:02:57 GMT
Size4.01 MB
453dcac3204e83d5e1e6f14d78d3b48f
LicenseBSD
Buildrootf37-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 through 50 of 315 >>>
Name Size descending sort
/usr/share/idris-1.3.4/libs/prelude/Language/Reflection.ibc237.78 KB
/usr/share/idris-1.3.4/libs/base/Data/Vect.ibc142.29 KB
/usr/share/idris-1.3.4/libs/contrib/Interfaces/Verified.ibc136.33 KB
/usr/share/idris-1.3.4/libs/prelude/Language/Reflection/Elab.ibc127.96 KB
/usr/share/idris-1.3.4/libs/base/Language/Reflection/Utils.ibc104.89 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/List.ibc98.48 KB
/usr/share/idris-1.3.4/libs/contrib/Control/ST.ibc97.98 KB
/usr/share/idris-1.3.4/libs/base/Data/Bits.ibc92.81 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Interfaces.ibc89.93 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Nat.ibc87.65 KB
/usr/share/idris-1.3.4/rts/mini-gmp.c82.68 KB
/usr/share/idris-1.3.4/libs/contrib/Data/ZZ.ibc71.63 KB
/usr/share/idris-1.3.4/libs/effects/Effects.ibc64.68 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude.ibc63.96 KB
/usr/share/idris-1.3.4/libs/contrib/Data/SortedMap.ibc56.78 KB
/usr/share/idris-1.3.4/libs/base/Control/Isomorphism.ibc55.76 KB
/usr/share/doc/idris-common/CHANGELOG.md55.03 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Core.ibc53.39 KB
/usr/share/idris-1.3.4/libs/contrib/Control/ST/File.ibc50.88 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Derive/Eliminators.ibc49.29 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Derive/DecEq.ibc47.40 KB
/usr/share/idris-1.3.4/libs/base/Control/Arrow.ibc46.31 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Show.ibc45.08 KB
/usr/share/idris-1.3.4/libs/contrib/Control/Algebra/Laws.ibc42.33 KB
/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism/Vect.ibc41.44 KB
/usr/share/idris-1.3.4/libs/base/Data/Fin.ibc40.62 KB
/usr/share/idris-1.3.4/libs/contrib/Text/Parser/Core.ibc40.56 KB
/usr/share/idris-1.3.4/jsrts/jsbn/jsbn-browser.js40.25 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/File.ibc40.01 KB
/usr/share/idris-1.3.4/libs/base/Data/List/Views.ibc37.51 KB
/usr/share/idris-1.3.4/libs/prelude/Decidable/Equality.ibc36.85 KB
/usr/share/idris-1.3.4/libs/prelude/IO.ibc36.22 KB
/usr/share/idris-1.3.4/libs/effects/Effect/File.ibc35.68 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Strings.ibc35.20 KB
/usr/share/idris-1.3.4/libs/effects/Effect/Memory.ibc35.08 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/RWS.ibc34.14 KB
/usr/share/idris-1.3.4/libs/contrib/Data/Matrix/Algebraic.ibc32.93 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Disjoint.ibc32.24 KB
/usr/share/idris-1.3.4/libs/effects/Effect/Perf.ibc31.11 KB
/usr/share/idris-1.3.4/libs/contrib/Decidable/Order.ibc31.04 KB
/usr/share/idris-1.3.4/libs/base/Data/HVect.ibc29.33 KB
/usr/share/idris-1.3.4/libs/contrib/Data/Nat/Parity.ibc29.19 KB
/usr/share/idris-1.3.4/libs/effects/Effect/Logging/Category.ibc29.19 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/Writer.ibc29.00 KB
/usr/share/idris-1.3.4/rts/idris_rts.c28.64 KB
/usr/share/idris-1.3.4/libs/contrib/Data/Matrix/Numeric.ibc28.44 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Injective.ibc28.27 KB
/usr/share/idris-1.3.4/libs/contrib/Text/Lexer/Core.ibc27.43 KB
/usr/share/idris-1.3.4/libs/contrib/Language/JSON/Data.ibc27.20 KB
/usr/share/idris-1.3.4/libs/base/Data/Morphisms.ibc26.98 KB
Component of No Buildroots