idris-docs-1.3.4-17.fc41 - Fedora Packages

Date	Author	Change
2024-08-02	Jens Petersen <petersen at redhat dot com> - 1.3.4-17	- update mtl and bounds with upstream patches
2024-07-18	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-16	- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-07-16	Jens Petersen <petersen at redhat dot com> - 1.3.4-15	- refresh to cabal-rpm-2.2.1
2024-01-24	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-14	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-20	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-13	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2023-07-26	Jens Petersen <petersen at redhat dot com> - 1.3.4-12	- bump upper bounds
2023-07-20	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.4-11	- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-02-17	Jens Petersen <petersen at redhat dot com> - 1.3.4-6	- refresh to cabal-rpm-2.1.0 with SPDX migration

usr/
- share/
  - idris-1.3.4/
    - docs/
      - base/
        
        IdrisDoc
        
        docs/
        
        Control.Arrow.html
        
        Control.Catchable.html
        
        Control.IOExcept.html
        
        Control.Isomorphism.Iso.html
        
        Control.Isomorphism.html
        
        Control.Monad.Identity.html
        
        Control.Monad.RWS.html
        
        Control.Monad.Reader.html
        
        Control.Monad.State.html
        
        Control.Monad.Writer.html
        
        Data.Bits.html
        
        Data.Buffer.html
        
        Data.Complex.html
        
        Data.Erased.html
        
        Data.Fin.html
        
        Data.HVect.html
        
        Data.IORef.html
        
        Data.List.Quantifiers.html
        
        Data.List.Views.html
        
        Data.List.html
        
        Data.Mod2.html
        
        Data.Morphisms.html
        
        Data.String.Views.html
        
        Data.String.html
        
        Data.Vect.Quantifiers.html
        
        Data.Vect.Views.html
        
        Data.Vect.html
        
        Debug.Error.html
        
        Debug.Trace.html
        
        Decidable.Equality.html
        
        FFI.html
        
        FFI_C.html
        
        ForeignEnv.html
        
        Language.Reflection.Elab.html
        
        Language.Reflection.Errors.html
        
        Language.Reflection.Utils.html
        
        Language.Reflection.html
        
        Prelude.Algebra.html
        
        Prelude.Applicative.html
        
        Prelude.Basics.html
        
        Prelude.Bool.html
        
        Prelude.Either.html
        
        Prelude.File.html
        
        Prelude.Foldable.html
        
        Prelude.Functor.html
        
        Prelude.Interfaces.html
        
        Prelude.List.html
        
        Prelude.Maybe.html
        
        Prelude.Nat.html
        
        Prelude.Show.html
        
        Prelude.Stream.html
        
        Prelude.Strings.html
        
        Prelude.Traversable.html
        
        Prelude.WellFounded.html
        
        System.Concurrency.Channels.html
        
        System.Info.html
        
        System.html
        
        [builtins].html
        
        index.html
        
        styles.css
      - contrib/
        
        IdrisDoc
        
        docs/
        
        Builtins.html
        
        CFFI.Memory.html
        
        CFFI.Types.html
        
        Control.Algebra.Lattice.html
        
        Control.Algebra.Laws.html
        
        Control.Algebra.NumericImplementations.html
        
        Control.Algebra.VectorSpace.html
        
        Control.Algebra.html
        
        Control.Delayed.html
        
        Control.IOExcept.html
        
        Control.Isomorphism.Extra.html
        
        Control.Isomorphism.Fin.html
        
        Control.Isomorphism.Iso.html
        
        Control.Isomorphism.Primitives.html
        
        Control.Isomorphism.Vect.html
        
        Control.Isomorphism.html
        
        Control.Monad.Syntax.html
        
        Control.Partial.html
        
        Control.Pipeline.html
        
        Control.ST.Env.html
        
        Control.ST.Exception.html
        
        Control.ST.File.html
        
        Control.ST.ImplicitCall.html
        
        Control.ST.Loop.html
        
        Control.ST.Random.html
        
        Control.ST.Resources.html
        
        Control.ST.Stable.html
        
        Control.ST.VarList.html
        
        Control.ST.html
        
        Data.Bool.Algebra.html
        
        Data.BoundedList.html
        
        Data.Chain.html
        
        Data.CoList.html
        
        Data.Combinators.Applicative.html
        
        Data.Combinators.html
        
        Data.Fin.Extra.html
        
        Data.Fin.html
        
        Data.Fuel.html
        
        Data.Fun.html
        
        Data.Hash.html
        
        Data.IOArray.html
        
        Data.List.Reverse.html
        
        Data.List.Zipper.html
        
        Data.Matrix.Algebraic.html
        
        Data.Matrix.Numeric.html
        
        Data.Matrix.html
        
        Data.Morphisms.html
        
        Data.Nat.DivMod.IteratedSubtraction.html
        
        Data.Nat.DivMod.html
        
        Data.Nat.Fact.html
        
        Data.Nat.Fib.html
        
        Data.Nat.Parity.html
        
        Data.Nat.html
        
        Data.Pairs.Implicit.html
        
        Data.PosNat.html
        
        Data.Rel.html
        
        Data.SortedBag.html
        
        Data.SortedSet.html
        
        Data.Storable.html
        
        Data.Stream.Extra.html
        
        Data.String.Extra.html
        
        Data.Vect.html
        
        Decidable.Decidable.html
        
        Decidable.Equality.html
        
        Decidable.Order.html
        
        FFI.html
        
        FFI_C.html
        
        ForeignEnv.html
        
        Interfaces.Correlative.html
        
        Interfaces.Proposition.html
        
        Language.JSON.Data.html
        
        Language.JSON.html
        
        Language.Reflection.Elab.html
        
        Language.Reflection.Errors.html
        
        Language.Reflection.html
        
        Network.Cgi.html
        
        Network.Socket.Data.html
        
        Network.Socket.html
        
        Prelude.Algebra.html
        
        Prelude.Applicative.html
        
        Prelude.Basics.html
        
        Prelude.Bool.html
        
        Prelude.Either.html
        
        Prelude.File.html
        
        Prelude.Foldable.html
        
        Prelude.Functor.html
        
        Prelude.Interfaces.html
        
        Prelude.List.html
        
        Prelude.Maybe.html
        
        Prelude.Monad.html
        
        Prelude.Nat.html
        
        Prelude.Pairs.Exists.html
        
        Prelude.Pairs.html
        
        Prelude.Show.html
        
        Prelude.Stream.html
        
        Prelude.Traversable.html
        
        Prelude.WellFounded.html
        
        Prelude.html
        
        System.Concurrency.Process.html
        
        Test.Unit.Assertions.html
        
        Test.Unit.Display.html
        
        Test.Unit.Generic.html
        
        Text.Lexer.Core.html
        
        Text.Literate.html
        
        Text.Quantity.html
        
        Text.Token.html
        
        [builtins].html
        
        index.html
        
        styles.css
      - effects/
        
        IdrisDoc
        
        docs/
        
        Control.IOExcept.html
        
        Data.List.html
        
        Data.So.html
        
        Decidable.Equality.html
        
        Effect.Exception.html
        
        Effect.File.FileResult.html
        
        Effect.File.html
        
        Effect.Logging.Category.LogRes.html
        
        Effect.Logging.Category.html
        
        Effect.Logging.Default.LogRes.html
        
        Effect.Logging.Default.html
        
        Effect.Logging.Level.html
        
        Effect.Memory.html
        
        Effect.Monad.html
        
        Effect.Perf.html
        
        Effect.Random.html
        
        Effect.Select.html
        
        Effect.State.html
        
        Effect.StdIO.html
        
        Effect.System.html
        
        Effect.Trans.html
        
        Effects.DepEff.html
        
        Effects.DepUpdateEffect.html
        
        Effects.Env.html
        
        Effects.NoResourceEffect.html
        
        Effects.NoUpdateEffect.html
        
        Effects.SimpleEff.html
        
        Effects.TransEff.html
        
        Effects.UpdateEffect.html
        
        Effects.html
        
        FFI.html
        
        FFI_C.html
        
        ForeignEnv.html
        
        Language.Reflection.Elab.html
        
        Language.Reflection.Errors.html
        
        Language.Reflection.html
        
        Prelude.Algebra.html
        
        Prelude.Applicative.html
        
        Prelude.Basics.html
        
        Prelude.Bool.html
        
        Prelude.Either.html
        
        Prelude.File.html
        
        Prelude.Foldable.html
        
        Prelude.Functor.html
        
        Prelude.Interfaces.html
        
        Prelude.List.html
        
        Prelude.Maybe.html
        
        Prelude.Nat.html
        
        Prelude.Show.html
        
        Prelude.Stream.html
        
        [builtins].html
        
        index.html
        
        styles.css
      - prelude/
        
        IdrisDoc
        
        docs/
        
        Builtins.html
        
        Decidable.Equality.html
        
        FFI.html
        
        FFI_C.html
        
        ForeignEnv.html
        
        IO.html
        
        Language.Reflection.Elab.html
        
        Language.Reflection.Errors.html
        
        Language.Reflection.html
        
        Prelude.Algebra.html
        
        Prelude.Applicative.html
        
        Prelude.Basics.html
        
        Prelude.Bits.html
        
        Prelude.Bool.html
        
        Prelude.Cast.html
        
        Prelude.Chars.html
        
        Prelude.Doubles.html
        
        Prelude.Either.html
        
        Prelude.File.html
        
        Prelude.Foldable.html
        
        Prelude.Functor.html
        
        Prelude.Interactive.html
        
        Prelude.Interfaces.html
        
        Prelude.List.html
        
        Prelude.Maybe.html
        
        Prelude.Monad.html
        
        Prelude.Nat.html
        
        Prelude.Pairs.html
        
        Prelude.Providers.html
        
        Prelude.Show.html
        
        Prelude.Stream.html
        
        Prelude.Strings.html
        
        Prelude.Traversable.html
        
        Prelude.Uninhabited.html
        
        Prelude.WellFounded.html
        
        Prelude.html
        
        [builtins].html
        
        index.html
        
        styles.css
      - pruviloj/
        
        IdrisDoc
        
        docs/
        
        Decidable.Equality.html
        
        FFI.html
        
        FFI_C.html
        
        ForeignEnv.html
        
        Language.Reflection.Elab.html
        
        Language.Reflection.Errors.html
        
        Language.Reflection.html
        
        Prelude.Algebra.html
        
        Prelude.Applicative.html
        
        Prelude.Basics.html
        
        Prelude.Bool.html
        
        Prelude.Either.html
        
        Prelude.File.html
        
        Prelude.Foldable.html
        
        Prelude.Functor.html
        
        Prelude.Interfaces.html
        
        Prelude.List.html
        
        Prelude.Maybe.html
        
        Prelude.Nat.html
        
        Prelude.Show.html
        
        Prelude.Stream.html
        
        Pruviloj.Derive.DecEq.html
        
        Pruviloj.Internals.TyConInfo.html
        
        [builtins].html
        
        index.html
        
        styles.css

idris-docs-1.3.4-17.fc41 in Fedora Rawhide

Changelog

Provides

Files