Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: idris-common | Distribution: Fedora Project |
Version: 1.3.4 | Vendor: Fedora Project |
Release: 14.fc40 | Build date: Wed Jan 24 23:44:47 2024 |
Group: Unspecified | Build host: buildhw-x86-05.iad2.fedoraproject.org |
Size: 4849339 | Source RPM: idris-1.3.4-14.fc40.src.rpm |
Packager: Fedora Project | |
Url: https://hackage.haskell.org/package/idris | |
Summary: Idris libraries |
This package provides the Idris libraries development files.
BSD-3-Clause
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.4-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sat Jan 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.4-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Wed Jul 26 2023 Jens Petersen <petersen@redhat.com> - 1.3.4-12 - bump upper bounds * Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.4-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Feb 17 2023 Jens Petersen <petersen@redhat.com> - 1.3.4-6 - refresh to cabal-rpm-2.1.0 with SPDX migration * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.4-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 1.3.4-4 - rebuild
/usr/share/doc/idris-common /usr/share/doc/idris-common/CHANGELOG.md /usr/share/doc/idris-common/CONTRIBUTING.md /usr/share/doc/idris-common/CONTRIBUTORS /usr/share/doc/idris-common/README.md /usr/share/idris-1.3.4 /usr/share/idris-1.3.4/idrisdoc /usr/share/idris-1.3.4/idrisdoc/styles.css /usr/share/idris-1.3.4/jsrts /usr/share/idris-1.3.4/jsrts/Runtime-common.js /usr/share/idris-1.3.4/jsrts/Runtime-javascript.js /usr/share/idris-1.3.4/jsrts/Runtime-node.js /usr/share/idris-1.3.4/jsrts/jsbn /usr/share/idris-1.3.4/jsrts/jsbn/LICENSE /usr/share/idris-1.3.4/jsrts/jsbn/jsbn-browser.js /usr/share/idris-1.3.4/jsrts/jsbn/jsbn-node.js /usr/share/idris-1.3.4/libs /usr/share/idris-1.3.4/libs/base /usr/share/idris-1.3.4/libs/base/00base-idx.ibc /usr/share/idris-1.3.4/libs/base/Control /usr/share/idris-1.3.4/libs/base/Control/Arrow.ibc /usr/share/idris-1.3.4/libs/base/Control/Catchable.ibc /usr/share/idris-1.3.4/libs/base/Control/Category.ibc /usr/share/idris-1.3.4/libs/base/Control/IOExcept.ibc /usr/share/idris-1.3.4/libs/base/Control/Isomorphism.ibc /usr/share/idris-1.3.4/libs/base/Control/Monad /usr/share/idris-1.3.4/libs/base/Control/Monad/Identity.ibc /usr/share/idris-1.3.4/libs/base/Control/Monad/RWS.ibc /usr/share/idris-1.3.4/libs/base/Control/Monad/Reader.ibc /usr/share/idris-1.3.4/libs/base/Control/Monad/State.ibc /usr/share/idris-1.3.4/libs/base/Control/Monad/Trans.ibc /usr/share/idris-1.3.4/libs/base/Control/Monad/Writer.ibc /usr/share/idris-1.3.4/libs/base/Data /usr/share/idris-1.3.4/libs/base/Data/Bits.ibc /usr/share/idris-1.3.4/libs/base/Data/Buffer.ibc /usr/share/idris-1.3.4/libs/base/Data/Complex.ibc /usr/share/idris-1.3.4/libs/base/Data/Erased.ibc /usr/share/idris-1.3.4/libs/base/Data/Fin.ibc /usr/share/idris-1.3.4/libs/base/Data/HVect.ibc /usr/share/idris-1.3.4/libs/base/Data/IORef.ibc /usr/share/idris-1.3.4/libs/base/Data/List /usr/share/idris-1.3.4/libs/base/Data/List.ibc /usr/share/idris-1.3.4/libs/base/Data/List/Quantifiers.ibc /usr/share/idris-1.3.4/libs/base/Data/List/Views.ibc /usr/share/idris-1.3.4/libs/base/Data/Mod2.ibc /usr/share/idris-1.3.4/libs/base/Data/Morphisms.ibc /usr/share/idris-1.3.4/libs/base/Data/Nat /usr/share/idris-1.3.4/libs/base/Data/Nat/Views.ibc /usr/share/idris-1.3.4/libs/base/Data/Primitives /usr/share/idris-1.3.4/libs/base/Data/Primitives/Views.ibc /usr/share/idris-1.3.4/libs/base/Data/So.ibc /usr/share/idris-1.3.4/libs/base/Data/String /usr/share/idris-1.3.4/libs/base/Data/String.ibc /usr/share/idris-1.3.4/libs/base/Data/String/Views.ibc /usr/share/idris-1.3.4/libs/base/Data/Vect /usr/share/idris-1.3.4/libs/base/Data/Vect.ibc /usr/share/idris-1.3.4/libs/base/Data/Vect/Quantifiers.ibc /usr/share/idris-1.3.4/libs/base/Data/Vect/Views.ibc /usr/share/idris-1.3.4/libs/base/Debug /usr/share/idris-1.3.4/libs/base/Debug/Error.ibc /usr/share/idris-1.3.4/libs/base/Debug/Trace.ibc /usr/share/idris-1.3.4/libs/base/Language /usr/share/idris-1.3.4/libs/base/Language/Reflection /usr/share/idris-1.3.4/libs/base/Language/Reflection/Utils.ibc /usr/share/idris-1.3.4/libs/base/Syntax /usr/share/idris-1.3.4/libs/base/Syntax/PreorderReasoning.ibc /usr/share/idris-1.3.4/libs/base/System /usr/share/idris-1.3.4/libs/base/System.ibc /usr/share/idris-1.3.4/libs/base/System/Concurrency /usr/share/idris-1.3.4/libs/base/System/Concurrency/Channels.ibc /usr/share/idris-1.3.4/libs/base/System/Concurrency/Raw.ibc /usr/share/idris-1.3.4/libs/base/System/Info.ibc /usr/share/idris-1.3.4/libs/contrib /usr/share/idris-1.3.4/libs/contrib/00contrib-idx.ibc /usr/share/idris-1.3.4/libs/contrib/CFFI /usr/share/idris-1.3.4/libs/contrib/CFFI.ibc /usr/share/idris-1.3.4/libs/contrib/CFFI/Memory.ibc /usr/share/idris-1.3.4/libs/contrib/CFFI/Types.ibc /usr/share/idris-1.3.4/libs/contrib/Control /usr/share/idris-1.3.4/libs/contrib/Control/Algebra /usr/share/idris-1.3.4/libs/contrib/Control/Algebra.ibc /usr/share/idris-1.3.4/libs/contrib/Control/Algebra/Lattice.ibc /usr/share/idris-1.3.4/libs/contrib/Control/Algebra/Laws.ibc /usr/share/idris-1.3.4/libs/contrib/Control/Algebra/NumericImplementations.ibc /usr/share/idris-1.3.4/libs/contrib/Control/Algebra/VectorSpace.ibc /usr/share/idris-1.3.4/libs/contrib/Control/Delayed.ibc /usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism /usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism/Extra.ibc /usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism/Fin.ibc /usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism/Primitives.ibc /usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism/Vect.ibc /usr/share/idris-1.3.4/libs/contrib/Control/Monad /usr/share/idris-1.3.4/libs/contrib/Control/Monad/Syntax.ibc /usr/share/idris-1.3.4/libs/contrib/Control/Partial.ibc /usr/share/idris-1.3.4/libs/contrib/Control/Pipeline.ibc /usr/share/idris-1.3.4/libs/contrib/Control/ST /usr/share/idris-1.3.4/libs/contrib/Control/ST.ibc /usr/share/idris-1.3.4/libs/contrib/Control/ST/Exception.ibc /usr/share/idris-1.3.4/libs/contrib/Control/ST/File.ibc /usr/share/idris-1.3.4/libs/contrib/Control/ST/ImplicitCall.ibc /usr/share/idris-1.3.4/libs/contrib/Control/ST/Random.ibc /usr/share/idris-1.3.4/libs/contrib/Data /usr/share/idris-1.3.4/libs/contrib/Data/Bool /usr/share/idris-1.3.4/libs/contrib/Data/Bool/Algebra.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Bool/Extra.ibc /usr/share/idris-1.3.4/libs/contrib/Data/BoundedList.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Chain.ibc /usr/share/idris-1.3.4/libs/contrib/Data/CoList.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Combinators /usr/share/idris-1.3.4/libs/contrib/Data/Combinators.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Combinators/Applicative.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Combinators/Arrow.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Fin /usr/share/idris-1.3.4/libs/contrib/Data/Fin/Extra.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Fuel.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Fun.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Hash.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Heap.ibc /usr/share/idris-1.3.4/libs/contrib/Data/IOArray.ibc /usr/share/idris-1.3.4/libs/contrib/Data/List /usr/share/idris-1.3.4/libs/contrib/Data/List/Reverse.ibc /usr/share/idris-1.3.4/libs/contrib/Data/List/Zipper.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Matrix /usr/share/idris-1.3.4/libs/contrib/Data/Matrix.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Matrix/Algebraic.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Matrix/Numeric.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Nat /usr/share/idris-1.3.4/libs/contrib/Data/Nat.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Nat/Ack.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Nat/DivMod /usr/share/idris-1.3.4/libs/contrib/Data/Nat/DivMod.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Nat/DivMod/IteratedSubtraction.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Nat/Fact.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Nat/Fib.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Nat/Parity.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Pairs /usr/share/idris-1.3.4/libs/contrib/Data/Pairs/Implicit.ibc /usr/share/idris-1.3.4/libs/contrib/Data/PosNat.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Rel.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Sign.ibc /usr/share/idris-1.3.4/libs/contrib/Data/SortedBag.ibc /usr/share/idris-1.3.4/libs/contrib/Data/SortedMap.ibc /usr/share/idris-1.3.4/libs/contrib/Data/SortedSet.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Storable.ibc /usr/share/idris-1.3.4/libs/contrib/Data/Stream /usr/share/idris-1.3.4/libs/contrib/Data/Stream/Extra.ibc /usr/share/idris-1.3.4/libs/contrib/Data/String /usr/share/idris-1.3.4/libs/contrib/Data/String/Extra.ibc /usr/share/idris-1.3.4/libs/contrib/Data/ZZ.ibc /usr/share/idris-1.3.4/libs/contrib/Decidable /usr/share/idris-1.3.4/libs/contrib/Decidable/Decidable.ibc /usr/share/idris-1.3.4/libs/contrib/Decidable/Order.ibc /usr/share/idris-1.3.4/libs/contrib/Interfaces /usr/share/idris-1.3.4/libs/contrib/Interfaces/Correlative.ibc /usr/share/idris-1.3.4/libs/contrib/Interfaces/Proposition.ibc /usr/share/idris-1.3.4/libs/contrib/Interfaces/Verified.ibc /usr/share/idris-1.3.4/libs/contrib/Language /usr/share/idris-1.3.4/libs/contrib/Language/JSON /usr/share/idris-1.3.4/libs/contrib/Language/JSON.ibc /usr/share/idris-1.3.4/libs/contrib/Language/JSON/Data.ibc /usr/share/idris-1.3.4/libs/contrib/Language/JSON/Lexer.ibc /usr/share/idris-1.3.4/libs/contrib/Language/JSON/Parser.ibc /usr/share/idris-1.3.4/libs/contrib/Language/JSON/String /usr/share/idris-1.3.4/libs/contrib/Language/JSON/String.ibc /usr/share/idris-1.3.4/libs/contrib/Language/JSON/String/Lexer.ibc /usr/share/idris-1.3.4/libs/contrib/Language/JSON/String/Parser.ibc /usr/share/idris-1.3.4/libs/contrib/Language/JSON/String/Tokens.ibc /usr/share/idris-1.3.4/libs/contrib/Language/JSON/Tokens.ibc /usr/share/idris-1.3.4/libs/contrib/Network /usr/share/idris-1.3.4/libs/contrib/Network/Cgi.ibc /usr/share/idris-1.3.4/libs/contrib/Network/Socket /usr/share/idris-1.3.4/libs/contrib/Network/Socket.ibc /usr/share/idris-1.3.4/libs/contrib/Network/Socket/Data.ibc /usr/share/idris-1.3.4/libs/contrib/Network/Socket/Raw.ibc /usr/share/idris-1.3.4/libs/contrib/System /usr/share/idris-1.3.4/libs/contrib/System/Concurrency /usr/share/idris-1.3.4/libs/contrib/System/Concurrency/Process.ibc /usr/share/idris-1.3.4/libs/contrib/Test /usr/share/idris-1.3.4/libs/contrib/Test/Unit /usr/share/idris-1.3.4/libs/contrib/Test/Unit.ibc /usr/share/idris-1.3.4/libs/contrib/Test/Unit/Assertions.ibc /usr/share/idris-1.3.4/libs/contrib/Test/Unit/Display.ibc /usr/share/idris-1.3.4/libs/contrib/Test/Unit/Generic.ibc /usr/share/idris-1.3.4/libs/contrib/Test/Unit/Runners.ibc /usr/share/idris-1.3.4/libs/contrib/Text /usr/share/idris-1.3.4/libs/contrib/Text/Lexer /usr/share/idris-1.3.4/libs/contrib/Text/Lexer.ibc /usr/share/idris-1.3.4/libs/contrib/Text/Lexer/Core.ibc /usr/share/idris-1.3.4/libs/contrib/Text/Literate.ibc /usr/share/idris-1.3.4/libs/contrib/Text/Parser /usr/share/idris-1.3.4/libs/contrib/Text/Parser.ibc /usr/share/idris-1.3.4/libs/contrib/Text/Parser/Core.ibc /usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint /usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL /usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL.ibc /usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Characters.ibc /usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Combinators.ibc /usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Core.ibc /usr/share/idris-1.3.4/libs/contrib/Text/Quantity.ibc /usr/share/idris-1.3.4/libs/contrib/Text/Token.ibc /usr/share/idris-1.3.4/libs/effects /usr/share/idris-1.3.4/libs/effects/00effects-idx.ibc /usr/share/idris-1.3.4/libs/effects/Effect /usr/share/idris-1.3.4/libs/effects/Effect/Default.ibc /usr/share/idris-1.3.4/libs/effects/Effect/Exception.ibc /usr/share/idris-1.3.4/libs/effects/Effect/File.ibc /usr/share/idris-1.3.4/libs/effects/Effect/Logging /usr/share/idris-1.3.4/libs/effects/Effect/Logging/Category.ibc /usr/share/idris-1.3.4/libs/effects/Effect/Logging/Default.ibc /usr/share/idris-1.3.4/libs/effects/Effect/Logging/Level.ibc /usr/share/idris-1.3.4/libs/effects/Effect/Memory.ibc /usr/share/idris-1.3.4/libs/effects/Effect/Monad.ibc /usr/share/idris-1.3.4/libs/effects/Effect/Perf.ibc /usr/share/idris-1.3.4/libs/effects/Effect/Random.ibc /usr/share/idris-1.3.4/libs/effects/Effect/Select.ibc /usr/share/idris-1.3.4/libs/effects/Effect/State.ibc /usr/share/idris-1.3.4/libs/effects/Effect/StdIO.ibc /usr/share/idris-1.3.4/libs/effects/Effect/System.ibc /usr/share/idris-1.3.4/libs/effects/Effect/Trans.ibc /usr/share/idris-1.3.4/libs/effects/Effects.ibc /usr/share/idris-1.3.4/libs/prelude /usr/share/idris-1.3.4/libs/prelude/00prelude-idx.ibc /usr/share/idris-1.3.4/libs/prelude/Builtins.ibc /usr/share/idris-1.3.4/libs/prelude/Decidable /usr/share/idris-1.3.4/libs/prelude/Decidable/Equality.ibc /usr/share/idris-1.3.4/libs/prelude/IO.ibc /usr/share/idris-1.3.4/libs/prelude/Language /usr/share/idris-1.3.4/libs/prelude/Language/Reflection /usr/share/idris-1.3.4/libs/prelude/Language/Reflection.ibc /usr/share/idris-1.3.4/libs/prelude/Language/Reflection/Elab.ibc /usr/share/idris-1.3.4/libs/prelude/Language/Reflection/Errors.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude /usr/share/idris-1.3.4/libs/prelude/Prelude.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Algebra.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Applicative.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Basics.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Bits.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Bool.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Cast.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Chars.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Doubles.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Either.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/File.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Foldable.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Functor.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Interactive.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Interfaces.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/List.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Maybe.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Monad.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Nat.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Pairs.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Providers.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Show.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Stream.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Strings.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Traversable.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/Uninhabited.ibc /usr/share/idris-1.3.4/libs/prelude/Prelude/WellFounded.ibc /usr/share/idris-1.3.4/libs/pruviloj /usr/share/idris-1.3.4/libs/pruviloj/00pruviloj-idx.ibc /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj.ibc /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Core.ibc /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Derive /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Derive/DecEq.ibc /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Derive/Eliminators.ibc /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Disjoint.ibc /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Induction.ibc /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Injective.ibc /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals.ibc /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals/TyConInfo.ibc /usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Renamers.ibc /usr/share/idris-1.3.4/rts /usr/share/idris-1.3.4/rts/Makefile /usr/share/idris-1.3.4/rts/arduino /usr/share/idris-1.3.4/rts/arduino/idris_main.c /usr/share/idris-1.3.4/rts/getline.c /usr/share/idris-1.3.4/rts/getline.h /usr/share/idris-1.3.4/rts/idris_bitstring.c /usr/share/idris-1.3.4/rts/idris_bitstring.h /usr/share/idris-1.3.4/rts/idris_buffer.c /usr/share/idris-1.3.4/rts/idris_buffer.h /usr/share/idris-1.3.4/rts/idris_gc.c /usr/share/idris-1.3.4/rts/idris_gc.h /usr/share/idris-1.3.4/rts/idris_gmp.c /usr/share/idris-1.3.4/rts/idris_gmp.h /usr/share/idris-1.3.4/rts/idris_heap.c /usr/share/idris-1.3.4/rts/idris_heap.h /usr/share/idris-1.3.4/rts/idris_main.c /usr/share/idris-1.3.4/rts/idris_net.c /usr/share/idris-1.3.4/rts/idris_net.h /usr/share/idris-1.3.4/rts/idris_opts.c /usr/share/idris-1.3.4/rts/idris_opts.h /usr/share/idris-1.3.4/rts/idris_rts.c /usr/share/idris-1.3.4/rts/idris_rts.h /usr/share/idris-1.3.4/rts/idris_stats.c /usr/share/idris-1.3.4/rts/idris_stats.h /usr/share/idris-1.3.4/rts/idris_stdfgn.c /usr/share/idris-1.3.4/rts/idris_stdfgn.h /usr/share/idris-1.3.4/rts/idris_utf8.c /usr/share/idris-1.3.4/rts/idris_utf8.h /usr/share/idris-1.3.4/rts/libtest.c /usr/share/idris-1.3.4/rts/mini-gmp.c /usr/share/idris-1.3.4/rts/mini-gmp.h /usr/share/idris-1.3.4/rts/seL4 /usr/share/idris-1.3.4/rts/seL4/CMakeLists.txt /usr/share/idris-1.3.4/rts/seL4/README.md /usr/share/idris-1.3.4/rts/seL4/idris_main.c /usr/share/idris-1.3.4/rts/windows /usr/share/idris-1.3.4/rts/windows/win_utils.c /usr/share/idris-1.3.4/rts/windows/win_utils.h /usr/share/licenses/idris-common /usr/share/licenses/idris-common/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 23:23:40 2024