Agda-stdlib-0.15-4.fc28.i686.rpm


Advertisement

Description

Agda-stdlib - Agda standard libraries

Property Value
Distribution Fedora 28
Repository Fedora Updates i386
Package name Agda-stdlib
Package version 0.15
Package release 4.fc28
Package architecture i686
Package type rpm
Installed size 25.55 MB
Download size 20.31 MB
Official Mirror download-ib01.fedoraproject.org
Agda standard libraries

Alternatives

Package Version Architecture Repository
Agda-stdlib-0.15-4.fc28.x86_64.rpm 0.15 x86_64 Fedora Updates
Agda-stdlib-0.13-3.fc27.x86_64.rpm 0.13 x86_64 Fedora
Agda-stdlib-0.13-3.fc27.i686.rpm 0.13 i686 Fedora
Agda-stdlib - - -

Requires

Name Value
ghc-Agda = 2.5.3

Provides

Name Value
Agda-stdlib = 0.15-4.fc28
Agda-stdlib(x86-32) = 0.15-4.fc28

Obsoletes

Name Value
ghc-agda-lib-ffi < 0.0.2-6
ghc-agda-lib-ffi-devel < 0.0.2-6

Download

Type URL
Binary Package Agda-stdlib-0.15-4.fc28.i686.rpm
Source Package Agda-stdlib-0.15-4.fc28.src.rpm

Install Howto

Install Agda-stdlib rpm package:

# dnf install Agda-stdlib

Files

Path
/usr/share/Agda-stdlib/standard-library.agda-lib
/usr/share/Agda-stdlib/src/Algebra.agda
/usr/share/Agda-stdlib/src/Algebra.agdai
/usr/share/Agda-stdlib/src/Coinduction.agda
/usr/share/Agda-stdlib/src/Coinduction.agdai
/usr/share/Agda-stdlib/src/Function.agda
/usr/share/Agda-stdlib/src/Function.agdai
/usr/share/Agda-stdlib/src/IO.agda
/usr/share/Agda-stdlib/src/IO.agdai
/usr/share/Agda-stdlib/src/Induction.agda
/usr/share/Agda-stdlib/src/Induction.agdai
/usr/share/Agda-stdlib/src/Level.agda
/usr/share/Agda-stdlib/src/Level.agdai
/usr/share/Agda-stdlib/src/Record.agda
/usr/share/Agda-stdlib/src/Record.agdai
/usr/share/Agda-stdlib/src/Reflection.agda
/usr/share/Agda-stdlib/src/Reflection.agdai
/usr/share/Agda-stdlib/src/Size.agda
/usr/share/Agda-stdlib/src/Size.agdai
/usr/share/Agda-stdlib/src/Strict.agda
/usr/share/Agda-stdlib/src/Strict.agdai
/usr/share/Agda-stdlib/src/Universe.agda
/usr/share/Agda-stdlib/src/Universe.agdai
/usr/share/Agda-stdlib/src/Algebra/CommutativeMonoidSolver.agda
/usr/share/Agda-stdlib/src/Algebra/CommutativeMonoidSolver.agdai
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties.agda
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties.agdai
/usr/share/Agda-stdlib/src/Algebra/IdempotentCommutativeMonoidSolver.agda
/usr/share/Agda-stdlib/src/Algebra/IdempotentCommutativeMonoidSolver.agdai
/usr/share/Agda-stdlib/src/Algebra/Monoid-solver.agda
/usr/share/Agda-stdlib/src/Algebra/Monoid-solver.agdai
/usr/share/Agda-stdlib/src/Algebra/Morphism.agda
/usr/share/Agda-stdlib/src/Algebra/Morphism.agdai
/usr/share/Agda-stdlib/src/Algebra/Operations.agda
/usr/share/Agda-stdlib/src/Algebra/Operations.agdai
/usr/share/Agda-stdlib/src/Algebra/RingSolver.agda
/usr/share/Agda-stdlib/src/Algebra/RingSolver.agdai
/usr/share/Agda-stdlib/src/Algebra/Structures.agda
/usr/share/Agda-stdlib/src/Algebra/Structures.agdai
/usr/share/Agda-stdlib/src/Algebra/CommutativeMonoidSolver/Example.agda
/usr/share/Agda-stdlib/src/Algebra/CommutativeMonoidSolver/Example.agdai
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Consequences.agda
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Consequences.agdai
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Core.agda
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Core.agdai
/usr/share/Agda-stdlib/src/Algebra/IdempotentCommutativeMonoidSolver/Example.agda
/usr/share/Agda-stdlib/src/Algebra/IdempotentCommutativeMonoidSolver/Example.agdai
/usr/share/Agda-stdlib/src/Algebra/Properties/AbelianGroup.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/AbelianGroup.agdai
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra.agdai
/usr/share/Agda-stdlib/src/Algebra/Properties/DistributiveLattice.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/DistributiveLattice.agdai
/usr/share/Agda-stdlib/src/Algebra/Properties/Group.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Group.agdai
/usr/share/Agda-stdlib/src/Algebra/Properties/Lattice.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Lattice.agdai
/usr/share/Agda-stdlib/src/Algebra/Properties/Ring.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Ring.agdai
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra/Expression.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra/Expression.agdai
/usr/share/Agda-stdlib/src/Algebra/RingSolver/AlmostCommutativeRing.agda
/usr/share/Agda-stdlib/src/Algebra/RingSolver/AlmostCommutativeRing.agdai
/usr/share/Agda-stdlib/src/Algebra/RingSolver/Lemmas.agda
/usr/share/Agda-stdlib/src/Algebra/RingSolver/Lemmas.agdai
/usr/share/Agda-stdlib/src/Algebra/RingSolver/Natural-coefficients.agda
/usr/share/Agda-stdlib/src/Algebra/RingSolver/Natural-coefficients.agdai
/usr/share/Agda-stdlib/src/Algebra/RingSolver/Simple.agda
/usr/share/Agda-stdlib/src/Algebra/RingSolver/Simple.agdai
/usr/share/Agda-stdlib/src/Category/Applicative.agda
/usr/share/Agda-stdlib/src/Category/Applicative.agdai
/usr/share/Agda-stdlib/src/Category/Functor.agda
/usr/share/Agda-stdlib/src/Category/Functor.agdai
/usr/share/Agda-stdlib/src/Category/Monad.agda
/usr/share/Agda-stdlib/src/Category/Monad.agdai
/usr/share/Agda-stdlib/src/Category/Applicative/Indexed.agda
/usr/share/Agda-stdlib/src/Category/Applicative/Indexed.agdai
/usr/share/Agda-stdlib/src/Category/Applicative/Predicate.agda
/usr/share/Agda-stdlib/src/Category/Applicative/Predicate.agdai
/usr/share/Agda-stdlib/src/Category/Functor/Identity.agda
/usr/share/Agda-stdlib/src/Category/Functor/Identity.agdai
/usr/share/Agda-stdlib/src/Category/Functor/Predicate.agda
/usr/share/Agda-stdlib/src/Category/Functor/Predicate.agdai
/usr/share/Agda-stdlib/src/Category/Monad/Continuation.agda
/usr/share/Agda-stdlib/src/Category/Monad/Continuation.agdai
/usr/share/Agda-stdlib/src/Category/Monad/Identity.agda
/usr/share/Agda-stdlib/src/Category/Monad/Identity.agdai
/usr/share/Agda-stdlib/src/Category/Monad/Indexed.agda
/usr/share/Agda-stdlib/src/Category/Monad/Indexed.agdai
/usr/share/Agda-stdlib/src/Category/Monad/Partiality.agda
/usr/share/Agda-stdlib/src/Category/Monad/Partiality.agdai
/usr/share/Agda-stdlib/src/Category/Monad/Predicate.agda
/usr/share/Agda-stdlib/src/Category/Monad/Predicate.agdai
/usr/share/Agda-stdlib/src/Category/Monad/State.agda
/usr/share/Agda-stdlib/src/Category/Monad/State.agdai
/usr/share/Agda-stdlib/src/Category/Monad/Partiality/All.agda
/usr/share/Agda-stdlib/src/Category/Monad/Partiality/All.agdai
/usr/share/Agda-stdlib/src/Data/AVL.agda
/usr/share/Agda-stdlib/src/Data/AVL.agdai
/usr/share/Agda-stdlib/src/Data/Bin.agda
/usr/share/Agda-stdlib/src/Data/Bin.agdai
/usr/share/Agda-stdlib/src/Data/Bool.agda
/usr/share/Agda-stdlib/src/Data/Bool.agdai
/usr/share/Agda-stdlib/src/Data/BoundedVec.agda
/usr/share/Agda-stdlib/src/Data/BoundedVec.agdai
/usr/share/Agda-stdlib/src/Data/Char.agda
/usr/share/Agda-stdlib/src/Data/Char.agdai
/usr/share/Agda-stdlib/src/Data/Cofin.agda
/usr/share/Agda-stdlib/src/Data/Cofin.agdai
/usr/share/Agda-stdlib/src/Data/Colist.agda
/usr/share/Agda-stdlib/src/Data/Colist.agdai
/usr/share/Agda-stdlib/src/Data/Conat.agda
/usr/share/Agda-stdlib/src/Data/Conat.agdai
/usr/share/Agda-stdlib/src/Data/Container.agda
/usr/share/Agda-stdlib/src/Data/Container.agdai
/usr/share/Agda-stdlib/src/Data/Covec.agda
/usr/share/Agda-stdlib/src/Data/Covec.agdai
/usr/share/Agda-stdlib/src/Data/DifferenceList.agda
/usr/share/Agda-stdlib/src/Data/DifferenceList.agdai
/usr/share/Agda-stdlib/src/Data/DifferenceNat.agda
/usr/share/Agda-stdlib/src/Data/DifferenceNat.agdai
/usr/share/Agda-stdlib/src/Data/DifferenceVec.agda
/usr/share/Agda-stdlib/src/Data/DifferenceVec.agdai
/usr/share/Agda-stdlib/src/Data/Digit.agda
/usr/share/Agda-stdlib/src/Data/Digit.agdai
/usr/share/Agda-stdlib/src/Data/Empty.agda
/usr/share/Agda-stdlib/src/Data/Empty.agdai
/usr/share/Agda-stdlib/src/Data/Fin.agda
/usr/share/Agda-stdlib/src/Data/Fin.agdai
/usr/share/Agda-stdlib/src/Data/Float.agda
/usr/share/Agda-stdlib/src/Data/Float.agdai
/usr/share/Agda-stdlib/src/Data/Integer.agda
/usr/share/Agda-stdlib/src/Data/Integer.agdai
/usr/share/Agda-stdlib/src/Data/List.agda
/usr/share/Agda-stdlib/src/Data/List.agdai
/usr/share/Agda-stdlib/src/Data/M.agda
/usr/share/Agda-stdlib/src/Data/M.agdai
/usr/share/Agda-stdlib/src/Data/Maybe.agda
/usr/share/Agda-stdlib/src/Data/Maybe.agdai
/usr/share/Agda-stdlib/src/Data/Nat.agda
/usr/share/Agda-stdlib/src/Data/Nat.agdai
/usr/share/Agda-stdlib/src/Data/Plus.agda
/usr/share/Agda-stdlib/src/Data/Plus.agdai
/usr/share/Agda-stdlib/src/Data/Product.agda
/usr/share/Agda-stdlib/src/Data/Product.agdai
/usr/share/Agda-stdlib/src/Data/Rational.agda
/usr/share/Agda-stdlib/src/Data/Rational.agdai
/usr/share/Agda-stdlib/src/Data/ReflexiveClosure.agda
/usr/share/Agda-stdlib/src/Data/ReflexiveClosure.agdai
/usr/share/Agda-stdlib/src/Data/Sign.agda
/usr/share/Agda-stdlib/src/Data/Sign.agdai
/usr/share/Agda-stdlib/src/Data/Star.agda
/usr/share/Agda-stdlib/src/Data/Star.agdai
/usr/share/Agda-stdlib/src/Data/Stream.agda
/usr/share/Agda-stdlib/src/Data/Stream.agdai
/usr/share/Agda-stdlib/src/Data/String.agda
/usr/share/Agda-stdlib/src/Data/String.agdai
/usr/share/Agda-stdlib/src/Data/Sum.agda
/usr/share/Agda-stdlib/src/Data/Sum.agdai
/usr/share/Agda-stdlib/src/Data/Table.agda
/usr/share/Agda-stdlib/src/Data/Table.agdai
/usr/share/Agda-stdlib/src/Data/Unit.agda
/usr/share/Agda-stdlib/src/Data/Unit.agdai
/usr/share/Agda-stdlib/src/Data/Vec.agda
/usr/share/Agda-stdlib/src/Data/Vec.agdai
/usr/share/Agda-stdlib/src/Data/W.agda
/usr/share/Agda-stdlib/src/Data/W.agdai
/usr/share/Agda-stdlib/src/Data/AVL/Height.agda
/usr/share/Agda-stdlib/src/Data/AVL/Height.agdai
/usr/share/Agda-stdlib/src/Data/AVL/Indexed.agda
/usr/share/Agda-stdlib/src/Data/AVL/Indexed.agdai
/usr/share/Agda-stdlib/src/Data/AVL/IndexedMap.agda
/usr/share/Agda-stdlib/src/Data/AVL/IndexedMap.agdai
/usr/share/Agda-stdlib/src/Data/AVL/Key.agda
/usr/share/Agda-stdlib/src/Data/AVL/Key.agdai
/usr/share/Agda-stdlib/src/Data/AVL/Sets.agda
/usr/share/Agda-stdlib/src/Data/AVL/Sets.agdai
/usr/share/Agda-stdlib/src/Data/Bin/Properties.agda
/usr/share/Agda-stdlib/src/Data/Bin/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Bool/Base.agda
/usr/share/Agda-stdlib/src/Data/Bool/Base.agdai
/usr/share/Agda-stdlib/src/Data/Bool/Properties.agda
/usr/share/Agda-stdlib/src/Data/Bool/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Bool/Show.agda
/usr/share/Agda-stdlib/src/Data/Bool/Show.agdai
/usr/share/Agda-stdlib/src/Data/BoundedVec/Inefficient.agda
/usr/share/Agda-stdlib/src/Data/BoundedVec/Inefficient.agdai
/usr/share/Agda-stdlib/src/Data/Char/Base.agda
/usr/share/Agda-stdlib/src/Data/Char/Base.agdai
/usr/share/Agda-stdlib/src/Data/Char/Core.agda
/usr/share/Agda-stdlib/src/Data/Char/Core.agdai
/usr/share/Agda-stdlib/src/Data/Colist/Infinite-merge.agda
/usr/share/Agda-stdlib/src/Data/Colist/Infinite-merge.agdai
/usr/share/Agda-stdlib/src/Data/Container/Any.agda
/usr/share/Agda-stdlib/src/Data/Container/Any.agdai
/usr/share/Agda-stdlib/src/Data/Container/Combinator.agda
/usr/share/Agda-stdlib/src/Data/Container/Combinator.agdai
/usr/share/Agda-stdlib/src/Data/Container/FreeMonad.agda
/usr/share/Agda-stdlib/src/Data/Container/FreeMonad.agdai
/usr/share/Agda-stdlib/src/Data/Container/Indexed.agda
/usr/share/Agda-stdlib/src/Data/Container/Indexed.agdai
/usr/share/Agda-stdlib/src/Data/Container/Indexed/Combinator.agda
/usr/share/Agda-stdlib/src/Data/Container/Indexed/Combinator.agdai
/usr/share/Agda-stdlib/src/Data/Container/Indexed/Core.agda
/usr/share/Agda-stdlib/src/Data/Container/Indexed/Core.agdai
/usr/share/Agda-stdlib/src/Data/Container/Indexed/FreeMonad.agda
/usr/share/Agda-stdlib/src/Data/Container/Indexed/FreeMonad.agdai
/usr/share/Agda-stdlib/src/Data/Empty/Irrelevant.agda
/usr/share/Agda-stdlib/src/Data/Empty/Irrelevant.agdai
/usr/share/Agda-stdlib/src/Data/Fin/Dec.agda
/usr/share/Agda-stdlib/src/Data/Fin/Dec.agdai
/usr/share/Agda-stdlib/src/Data/Fin/Properties.agda
/usr/share/Agda-stdlib/src/Data/Fin/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Fin/Subset.agda
/usr/share/Agda-stdlib/src/Data/Fin/Subset.agdai
/usr/share/Agda-stdlib/src/Data/Fin/Substitution.agda
/usr/share/Agda-stdlib/src/Data/Fin/Substitution.agdai
/usr/share/Agda-stdlib/src/Data/Fin/Subset/Properties.agda
/usr/share/Agda-stdlib/src/Data/Fin/Subset/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Fin/Substitution/Example.agda
/usr/share/Agda-stdlib/src/Data/Fin/Substitution/Example.agdai
/usr/share/Agda-stdlib/src/Data/Fin/Substitution/Lemmas.agda
/usr/share/Agda-stdlib/src/Data/Fin/Substitution/Lemmas.agdai
/usr/share/Agda-stdlib/src/Data/Fin/Substitution/List.agda
/usr/share/Agda-stdlib/src/Data/Fin/Substitution/List.agdai
/usr/share/Agda-stdlib/src/Data/Graph/Acyclic.agda
/usr/share/Agda-stdlib/src/Data/Graph/Acyclic.agdai
/usr/share/Agda-stdlib/src/Data/Integer/Base.agda
/usr/share/Agda-stdlib/src/Data/Integer/Base.agdai
/usr/share/Agda-stdlib/src/Data/Integer/Divisibility.agda
/usr/share/Agda-stdlib/src/Data/Integer/Divisibility.agdai
/usr/share/Agda-stdlib/src/Data/Integer/Properties.agda
/usr/share/Agda-stdlib/src/Data/Integer/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Integer/Addition/Properties.agda
/usr/share/Agda-stdlib/src/Data/Integer/Addition/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Integer/Multiplication/Properties.agda
/usr/share/Agda-stdlib/src/Data/Integer/Multiplication/Properties.agdai
/usr/share/Agda-stdlib/src/Data/List/All.agda
/usr/share/Agda-stdlib/src/Data/List/All.agdai
/usr/share/Agda-stdlib/src/Data/List/Any.agda
/usr/share/Agda-stdlib/src/Data/List/Any.agdai
/usr/share/Agda-stdlib/src/Data/List/Base.agda
/usr/share/Agda-stdlib/src/Data/List/Base.agdai
/usr/share/Agda-stdlib/src/Data/List/Categorical.agda
/usr/share/Agda-stdlib/src/Data/List/Categorical.agdai
/usr/share/Agda-stdlib/src/Data/List/Countdown.agda
/usr/share/Agda-stdlib/src/Data/List/Countdown.agdai
/usr/share/Agda-stdlib/src/Data/List/NonEmpty.agda
/usr/share/Agda-stdlib/src/Data/List/NonEmpty.agdai
/usr/share/Agda-stdlib/src/Data/List/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Properties.agdai
/usr/share/Agda-stdlib/src/Data/List/Reverse.agda
/usr/share/Agda-stdlib/src/Data/List/Reverse.agdai
/usr/share/Agda-stdlib/src/Data/List/All/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/All/Properties.agdai
/usr/share/Agda-stdlib/src/Data/List/Any/BagAndSetEquality.agda
/usr/share/Agda-stdlib/src/Data/List/Any/BagAndSetEquality.agdai
/usr/share/Agda-stdlib/src/Data/List/Any/Membership.agda
/usr/share/Agda-stdlib/src/Data/List/Any/Membership.agdai
/usr/share/Agda-stdlib/src/Data/List/Any/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Any/Properties.agdai
/usr/share/Agda-stdlib/src/Data/List/Any/Membership/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Any/Membership/Properties.agdai
/usr/share/Agda-stdlib/src/Data/List/Any/Membership/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Any/Membership/Propositional.agdai
/usr/share/Agda-stdlib/src/Data/List/Any/Membership/Propositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Any/Membership/Propositional/Properties.agdai
/usr/share/Agda-stdlib/src/Data/List/NonEmpty/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/NonEmpty/Properties.agdai
/usr/share/Agda-stdlib/src/Data/List/Relation/Pointwise.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Pointwise.agdai
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality/DecPropositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality/DecPropositional.agdai
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality/DecSetoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality/DecSetoid.agdai
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality/Propositional.agdai
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality/Setoid.agdai
/usr/share/Agda-stdlib/src/Data/List/Relation/Lex/Core.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Lex/Core.agdai
/usr/share/Agda-stdlib/src/Data/List/Relation/Lex/NonStrict.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Lex/NonStrict.agdai
/usr/share/Agda-stdlib/src/Data/List/Relation/Lex/Strict.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Lex/Strict.agdai
/usr/share/Agda-stdlib/src/Data/M/Indexed.agda
/usr/share/Agda-stdlib/src/Data/M/Indexed.agdai
/usr/share/Agda-stdlib/src/Data/Maybe/Base.agda
/usr/share/Agda-stdlib/src/Data/Maybe/Base.agdai
/usr/share/Agda-stdlib/src/Data/Nat/Base.agda
/usr/share/Agda-stdlib/src/Data/Nat/Base.agdai
/usr/share/Agda-stdlib/src/Data/Nat/Coprimality.agda
/usr/share/Agda-stdlib/src/Data/Nat/Coprimality.agdai
/usr/share/Agda-stdlib/src/Data/Nat/DivMod.agda
/usr/share/Agda-stdlib/src/Data/Nat/DivMod.agdai
/usr/share/Agda-stdlib/src/Data/Nat/Divisibility.agda
/usr/share/Agda-stdlib/src/Data/Nat/Divisibility.agdai
/usr/share/Agda-stdlib/src/Data/Nat/GCD.agda
/usr/share/Agda-stdlib/src/Data/Nat/GCD.agdai
/usr/share/Agda-stdlib/src/Data/Nat/GeneralisedArithmetic.agda
/usr/share/Agda-stdlib/src/Data/Nat/GeneralisedArithmetic.agdai
/usr/share/Agda-stdlib/src/Data/Nat/InfinitelyOften.agda
/usr/share/Agda-stdlib/src/Data/Nat/InfinitelyOften.agdai
/usr/share/Agda-stdlib/src/Data/Nat/LCM.agda
/usr/share/Agda-stdlib/src/Data/Nat/LCM.agdai
/usr/share/Agda-stdlib/src/Data/Nat/Primality.agda
/usr/share/Agda-stdlib/src/Data/Nat/Primality.agdai
/usr/share/Agda-stdlib/src/Data/Nat/Properties.agda
/usr/share/Agda-stdlib/src/Data/Nat/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Nat/Show.agda
/usr/share/Agda-stdlib/src/Data/Nat/Show.agdai
/usr/share/Agda-stdlib/src/Data/Nat/GCD/Lemmas.agda
/usr/share/Agda-stdlib/src/Data/Nat/GCD/Lemmas.agdai
/usr/share/Agda-stdlib/src/Data/Nat/Properties/Simple.agda
/usr/share/Agda-stdlib/src/Data/Nat/Properties/Simple.agdai
/usr/share/Agda-stdlib/src/Data/Product/N-ary.agda
/usr/share/Agda-stdlib/src/Data/Product/N-ary.agdai
/usr/share/Agda-stdlib/src/Data/Product/Properties.agda
/usr/share/Agda-stdlib/src/Data/Product/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Product/Relation/
/usr/share/Agda-stdlib/src/Data/Product/Relation/Lex/NonStrict.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Lex/NonStrict.agdai
/usr/share/Agda-stdlib/src/Data/Product/Relation/Lex/Strict.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Lex/Strict.agdai
/usr/share/Agda-stdlib/src/Data/Product/Relation/Pointwise/Dependent.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Pointwise/Dependent.agdai
/usr/share/Agda-stdlib/src/Data/Product/Relation/Pointwise/NonDependent.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Pointwise/NonDependent.agdai
/usr/share/Agda-stdlib/src/Data/Rational/Properties.agda
/usr/share/Agda-stdlib/src/Data/Rational/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Sign/Properties.agda
/usr/share/Agda-stdlib/src/Data/Sign/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Star/BoundedVec.agda
/usr/share/Agda-stdlib/src/Data/Star/BoundedVec.agdai
/usr/share/Agda-stdlib/src/Data/Star/Decoration.agda
/usr/share/Agda-stdlib/src/Data/Star/Decoration.agdai
/usr/share/Agda-stdlib/src/Data/Star/Environment.agda
/usr/share/Agda-stdlib/src/Data/Star/Environment.agdai
/usr/share/Agda-stdlib/src/Data/Star/Fin.agda
/usr/share/Agda-stdlib/src/Data/Star/Fin.agdai
/usr/share/Agda-stdlib/src/Data/Star/List.agda
/usr/share/Agda-stdlib/src/Data/Star/List.agdai
/usr/share/Agda-stdlib/src/Data/Star/Nat.agda
/usr/share/Agda-stdlib/src/Data/Star/Nat.agdai
/usr/share/Agda-stdlib/src/Data/Star/Pointer.agda
/usr/share/Agda-stdlib/src/Data/Star/Pointer.agdai
/usr/share/Agda-stdlib/src/Data/Star/Properties.agda
/usr/share/Agda-stdlib/src/Data/Star/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Star/Vec.agda
/usr/share/Agda-stdlib/src/Data/Star/Vec.agdai
/usr/share/Agda-stdlib/src/Data/String/Base.agda
/usr/share/Agda-stdlib/src/Data/String/Base.agdai
/usr/share/Agda-stdlib/src/Data/Sum/Properties.agda
/usr/share/Agda-stdlib/src/Data/Sum/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Sum/Relation/Core.agda
/usr/share/Agda-stdlib/src/Data/Sum/Relation/Core.agdai
/usr/share/Agda-stdlib/src/Data/Sum/Relation/LeftOrder.agda
/usr/share/Agda-stdlib/src/Data/Sum/Relation/LeftOrder.agdai
/usr/share/Agda-stdlib/src/Data/Sum/Relation/Pointwise.agda
/usr/share/Agda-stdlib/src/Data/Sum/Relation/Pointwise.agdai
/usr/share/Agda-stdlib/src/Data/Table/Base.agda
/usr/share/Agda-stdlib/src/Data/Table/Base.agdai
/usr/share/Agda-stdlib/src/Data/Table/Properties.agda
/usr/share/Agda-stdlib/src/Data/Table/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Table/Relation/Equality.agda
/usr/share/Agda-stdlib/src/Data/Table/Relation/Equality.agdai
/usr/share/Agda-stdlib/src/Data/Unit/Base.agda
/usr/share/Agda-stdlib/src/Data/Unit/Base.agdai
/usr/share/Agda-stdlib/src/Data/Unit/NonEta.agda
/usr/share/Agda-stdlib/src/Data/Unit/NonEta.agdai
/usr/share/Agda-stdlib/src/Data/Vec/All.agda
/usr/share/Agda-stdlib/src/Data/Vec/All.agdai
/usr/share/Agda-stdlib/src/Data/Vec/Categorical.agda
/usr/share/Agda-stdlib/src/Data/Vec/Categorical.agdai
/usr/share/Agda-stdlib/src/Data/Vec/N-ary.agda
/usr/share/Agda-stdlib/src/Data/Vec/N-ary.agdai
/usr/share/Agda-stdlib/src/Data/Vec/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Vec/All/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/All/Properties.agdai
/usr/share/Agda-stdlib/src/Data/Vec/Relation/
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality/DecPropositional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality/DecPropositional.agdai
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality/DecSetoid.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality/DecSetoid.agdai
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality/Propositional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality/Propositional.agdai
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality/Setoid.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality/Setoid.agdai
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Pointwise/Extensional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Pointwise/Extensional.agdai
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Pointwise/Inductive.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Pointwise/Inductive.agdai
/usr/share/Agda-stdlib/src/Data/W/Indexed.agda
/usr/share/Agda-stdlib/src/Data/W/Indexed.agdai
/usr/share/Agda-stdlib/src/Foreign/Haskell.agda
/usr/share/Agda-stdlib/src/Foreign/Haskell.agdai
/usr/share/Agda-stdlib/src/Function/Bijection.agda
/usr/share/Agda-stdlib/src/Function/Bijection.agdai
/usr/share/Agda-stdlib/src/Function/Equality.agda
/usr/share/Agda-stdlib/src/Function/Equality.agdai
/usr/share/Agda-stdlib/src/Function/Equivalence.agda
/usr/share/Agda-stdlib/src/Function/Equivalence.agdai
/usr/share/Agda-stdlib/src/Function/Injection.agda
/usr/share/Agda-stdlib/src/Function/Injection.agdai
/usr/share/Agda-stdlib/src/Function/Inverse.agda
/usr/share/Agda-stdlib/src/Function/Inverse.agdai
/usr/share/Agda-stdlib/src/Function/LeftInverse.agda
/usr/share/Agda-stdlib/src/Function/LeftInverse.agdai
/usr/share/Agda-stdlib/src/Function/Related.agda
/usr/share/Agda-stdlib/src/Function/Related.agdai
/usr/share/Agda-stdlib/src/Function/Surjection.agda
/usr/share/Agda-stdlib/src/Function/Surjection.agdai
/usr/share/Agda-stdlib/src/Function/Related/TypeIsomorphisms.agda
/usr/share/Agda-stdlib/src/Function/Related/TypeIsomorphisms.agdai
/usr/share/Agda-stdlib/src/IO/Primitive.agda
/usr/share/Agda-stdlib/src/IO/Primitive.agdai
/usr/share/Agda-stdlib/src/Induction/Lexicographic.agda
/usr/share/Agda-stdlib/src/Induction/Lexicographic.agdai
/usr/share/Agda-stdlib/src/Induction/Nat.agda
/usr/share/Agda-stdlib/src/Induction/Nat.agdai
/usr/share/Agda-stdlib/src/Induction/WellFounded.agda
/usr/share/Agda-stdlib/src/Induction/WellFounded.agdai
/usr/share/Agda-stdlib/src/Relation/Binary.agda
/usr/share/Agda-stdlib/src/Relation/Binary.agdai
/usr/share/Agda-stdlib/src/Relation/Nullary.agda
/usr/share/Agda-stdlib/src/Relation/Nullary.agdai
/usr/share/Agda-stdlib/src/Relation/Unary.agda
/usr/share/Agda-stdlib/src/Relation/Unary.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Consequences.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Consequences.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Core.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Core.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/EqReasoning.agda
/usr/share/Agda-stdlib/src/Relation/Binary/EqReasoning.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/EquivalenceClosure.agda
/usr/share/Agda-stdlib/src/Relation/Binary/EquivalenceClosure.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Flip.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Flip.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality.agda
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/InducedPreorders.agda
/usr/share/Agda-stdlib/src/Relation/Binary/InducedPreorders.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Lattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Lattice.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/NonStrictToStrict.agda
/usr/share/Agda-stdlib/src/Relation/Binary/NonStrictToStrict.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/On.agda
/usr/share/Agda-stdlib/src/Relation/Binary/On.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/OrderMorphism.agda
/usr/share/Agda-stdlib/src/Relation/Binary/OrderMorphism.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/PartialOrderReasoning.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PartialOrderReasoning.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/PreorderReasoning.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PreorderReasoning.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Reflection.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Reflection.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/SetoidReasoning.agda
/usr/share/Agda-stdlib/src/Relation/Binary/SetoidReasoning.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Simple.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Simple.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/StrictPartialOrderReasoning.agda
/usr/share/Agda-stdlib/src/Relation/Binary/StrictPartialOrderReasoning.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/StrictToNonStrict.agda
/usr/share/Agda-stdlib/src/Relation/Binary/StrictToNonStrict.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Sum.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Sum.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/SymmetricClosure.agda
/usr/share/Agda-stdlib/src/Relation/Binary/SymmetricClosure.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Consequences/Core.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Consequences/Core.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Core.agda
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Core.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Quotients.agda
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Quotients.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Core.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Core.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/List/NonStrictLex.agda
/usr/share/Agda-stdlib/src/Relation/Binary/List/NonStrictLex.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/List/Pointwise.agda
/usr/share/Agda-stdlib/src/Relation/Binary/List/Pointwise.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/List/StrictLex.agda
/usr/share/Agda-stdlib/src/Relation/Binary/List/StrictLex.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Product/NonStrictLex.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Product/NonStrictLex.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Product/Pointwise.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Product/Pointwise.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Product/StrictLex.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Product/StrictLex.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/BoundedJoinSemilattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/BoundedJoinSemilattice.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/BoundedMeetSemilattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/BoundedMeetSemilattice.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/DecTotalOrder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/DecTotalOrder.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/JoinSemilattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/JoinSemilattice.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/Lattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/Lattice.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/MeetSemilattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/MeetSemilattice.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/Poset.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/Poset.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/Preorder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/Preorder.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/StrictPartialOrder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/StrictPartialOrder.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/StrictTotalOrder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/StrictTotalOrder.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/TotalOrder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/TotalOrder.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality/Core.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality/Core.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality/TrustMe.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality/TrustMe.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Sigma/Pointwise.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Sigma/Pointwise.agdai
/usr/share/Agda-stdlib/src/Relation/Binary/Vec/Pointwise.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Vec/Pointwise.agdai
/usr/share/Agda-stdlib/src/Relation/Nullary/Decidable.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Decidable.agdai
/usr/share/Agda-stdlib/src/Relation/Nullary/Implication.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Implication.agdai
/usr/share/Agda-stdlib/src/Relation/Nullary/Negation.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Negation.agdai
/usr/share/Agda-stdlib/src/Relation/Nullary/Product.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Product.agdai
/usr/share/Agda-stdlib/src/Relation/Nullary/Sum.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Sum.agdai
/usr/share/Agda-stdlib/src/Relation/Nullary/Universe.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Universe.agdai
/usr/share/Agda-stdlib/src/Relation/Unary/PredicateTransformer.agda
/usr/share/Agda-stdlib/src/Relation/Unary/PredicateTransformer.agdai
/usr/share/doc/Agda-stdlib/CHANGELOG.md
/usr/share/doc/Agda-stdlib/Everything.agda
/usr/share/doc/Agda-stdlib/README.agda
/usr/share/doc/Agda-stdlib/README.agdai
/usr/share/doc/Agda-stdlib/README.md
/usr/share/doc/Agda-stdlib/README/AVL.agda
/usr/share/doc/Agda-stdlib/README/AVL.agdai
/usr/share/doc/Agda-stdlib/README/Case.agda
/usr/share/doc/Agda-stdlib/README/Case.agdai
/usr/share/doc/Agda-stdlib/README/Integer.agda
/usr/share/doc/Agda-stdlib/README/Integer.agdai
/usr/share/doc/Agda-stdlib/README/Nat.agda
/usr/share/doc/Agda-stdlib/README/Nat.agdai
/usr/share/doc/Agda-stdlib/README/Record.agda
/usr/share/doc/Agda-stdlib/README/Record.agdai
/usr/share/doc/Agda-stdlib/README/Container/FreeMonad.agda
/usr/share/doc/Agda-stdlib/README/Container/FreeMonad.agdai
/usr/share/licenses/Agda-stdlib/LICENCE

Changelog

2018-08-28 - Jens Petersen <petersen@redhat.com> - 0.15-4
- keep README*.agdai
- require ghc-Agda
2018-08-22 - Jens Petersen <petersen@redhat.com> - 0.15-3
- install library files correctly under src/
2018-07-12 - Fedora Release Engineering <releng@fedoraproject.org> - 0.15-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-01 - Jens Petersen <petersen@redhat.com> - 0.15-1
- update to 0.15 for Agda-2.5.3
2018-02-07 - Fedora Release Engineering <releng@fedoraproject.org> - 0.13-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-08-02 - Fedora Release Engineering <releng@fedoraproject.org> - 0.13-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-26 - Fedora Release Engineering <releng@fedoraproject.org> - 0.13-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-03-12 - Jens Petersen <petersen@redhat.com> - 0.13-1
- update to 0.13
- install standard-library.agda-lib package file
2017-02-10 - Fedora Release Engineering <releng@fedoraproject.org> - 0.11-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2016-10-24 - Jens Petersen <petersen@redhat.com> - 0.11-3
- update to 0.11

See Also

Package Description
Agda-stdlib-docs-0.15-4.fc28.noarch.rpm Agda standard libraries documentation
ArpON-3.0-10.fc28.i686.rpm ARP handler inspection
BackupPC-4.3.0-1.fc28.i686.rpm High-performance backup system
BackupPC-XS-0.58-1.fc28.i686.rpm Implementation of various BackupPC functions in a perl-callable module
CGSI-gSOAP-1.3.11-1.fc28.i686.rpm GSI plugin for gSOAP
CGSI-gSOAP-devel-1.3.11-1.fc28.i686.rpm GSI plugin for gSOAP - development files
CImg-devel-2.4.5-1.fc28.i686.rpm Development files for CImg
COPASI-4.24.197-1.fc28.i686.rpm Biochemical network simulator
COPASI-data-4.24.197-1.fc28.noarch.rpm COPASI data files
COPASI-doc-4.24.197-1.fc28.noarch.rpm COPASI HTML documentation and examples
COPASI-gui-4.24.197-1.fc28.i686.rpm The COPASI graphical user interface
COPASI-sharp-4.24.197-1.fc28.i686.rpm COPASI Mono Bindings
Cadence-1.0.0-0.3.20180827git4a5f5b4.fc28.i686.rpm A set of tools useful for audio production
Carla-2.0.0-0.8.20181225git2f3a442.fc28.i686.rpm Audio plugin host
Carla-devel-2.0.0-0.8.20181225git2f3a442.fc28.i686.rpm Header files to access Carla's API
Advertisement
Advertisement