Content of RPM Agda-stdlib-0.7-3.fc19.i686.rpm :
/usr/share/Agda-stdlib
/usr/share/Agda-stdlib/Algebra
/usr/share/Agda-stdlib/Algebra.agda
/usr/share/Agda-stdlib/Algebra.agdai
/usr/share/Agda-stdlib/Algebra/FunctionProperties
/usr/share/Agda-stdlib/Algebra/FunctionProperties.agda
/usr/share/Agda-stdlib/Algebra/FunctionProperties.agdai
/usr/share/Agda-stdlib/Algebra/FunctionProperties/Core.agda
/usr/share/Agda-stdlib/Algebra/FunctionProperties/Core.agdai
/usr/share/Agda-stdlib/Algebra/Morphism.agda
/usr/share/Agda-stdlib/Algebra/Morphism.agdai
/usr/share/Agda-stdlib/Algebra/Operations.agda
/usr/share/Agda-stdlib/Algebra/Operations.agdai
/usr/share/Agda-stdlib/Algebra/Props
/usr/share/Agda-stdlib/Algebra/Props/AbelianGroup.agda
/usr/share/Agda-stdlib/Algebra/Props/AbelianGroup.agdai
/usr/share/Agda-stdlib/Algebra/Props/BooleanAlgebra
/usr/share/Agda-stdlib/Algebra/Props/BooleanAlgebra.agda
/usr/share/Agda-stdlib/Algebra/Props/BooleanAlgebra.agdai
/usr/share/Agda-stdlib/Algebra/Props/BooleanAlgebra/Expression.agda
/usr/share/Agda-stdlib/Algebra/Props/BooleanAlgebra/Expression.agdai
/usr/share/Agda-stdlib/Algebra/Props/DistributiveLattice.agda
/usr/share/Agda-stdlib/Algebra/Props/DistributiveLattice.agdai
/usr/share/Agda-stdlib/Algebra/Props/Group.agda
/usr/share/Agda-stdlib/Algebra/Props/Group.agdai
/usr/share/Agda-stdlib/Algebra/Props/Lattice.agda
/usr/share/Agda-stdlib/Algebra/Props/Lattice.agdai
/usr/share/Agda-stdlib/Algebra/Props/Ring.agda
/usr/share/Agda-stdlib/Algebra/Props/Ring.agdai
/usr/share/Agda-stdlib/Algebra/RingSolver
/usr/share/Agda-stdlib/Algebra/RingSolver.agda
/usr/share/Agda-stdlib/Algebra/RingSolver.agdai
/usr/share/Agda-stdlib/Algebra/RingSolver/AlmostCommutativeRing.agda
/usr/share/Agda-stdlib/Algebra/RingSolver/AlmostCommutativeRing.agdai
/usr/share/Agda-stdlib/Algebra/RingSolver/Lemmas.agda
/usr/share/Agda-stdlib/Algebra/RingSolver/Lemmas.agdai
/usr/share/Agda-stdlib/Algebra/RingSolver/Natural-coefficients.agda
/usr/share/Agda-stdlib/Algebra/RingSolver/Natural-coefficients.agdai
/usr/share/Agda-stdlib/Algebra/RingSolver/Simple.agda
/usr/share/Agda-stdlib/Algebra/RingSolver/Simple.agdai
/usr/share/Agda-stdlib/Algebra/Structures.agda
/usr/share/Agda-stdlib/Algebra/Structures.agdai
/usr/share/Agda-stdlib/Category
/usr/share/Agda-stdlib/Category/Applicative
/usr/share/Agda-stdlib/Category/Applicative.agda
/usr/share/Agda-stdlib/Category/Applicative.agdai
/usr/share/Agda-stdlib/Category/Applicative/Indexed.agda
/usr/share/Agda-stdlib/Category/Applicative/Indexed.agdai
/usr/share/Agda-stdlib/Category/Functor.agda
/usr/share/Agda-stdlib/Category/Functor.agdai
/usr/share/Agda-stdlib/Category/Monad
/usr/share/Agda-stdlib/Category/Monad.agda
/usr/share/Agda-stdlib/Category/Monad.agdai
/usr/share/Agda-stdlib/Category/Monad/Continuation.agda
/usr/share/Agda-stdlib/Category/Monad/Continuation.agdai
/usr/share/Agda-stdlib/Category/Monad/Identity.agda
/usr/share/Agda-stdlib/Category/Monad/Identity.agdai
/usr/share/Agda-stdlib/Category/Monad/Indexed.agda
/usr/share/Agda-stdlib/Category/Monad/Indexed.agdai
/usr/share/Agda-stdlib/Category/Monad/Partiality
/usr/share/Agda-stdlib/Category/Monad/Partiality.agda
/usr/share/Agda-stdlib/Category/Monad/Partiality.agdai
/usr/share/Agda-stdlib/Category/Monad/Partiality/All.agda
/usr/share/Agda-stdlib/Category/Monad/Partiality/All.agdai
/usr/share/Agda-stdlib/Category/Monad/State.agda
/usr/share/Agda-stdlib/Category/Monad/State.agdai
/usr/share/Agda-stdlib/Coinduction.agda
/usr/share/Agda-stdlib/Coinduction.agdai
/usr/share/Agda-stdlib/Data
/usr/share/Agda-stdlib/Data/AVL
/usr/share/Agda-stdlib/Data/AVL.agda
/usr/share/Agda-stdlib/Data/AVL.agdai
/usr/share/Agda-stdlib/Data/AVL/IndexedMap.agda
/usr/share/Agda-stdlib/Data/AVL/IndexedMap.agdai
/usr/share/Agda-stdlib/Data/AVL/Sets.agda
/usr/share/Agda-stdlib/Data/AVL/Sets.agdai
/usr/share/Agda-stdlib/Data/Bin.agda
/usr/share/Agda-stdlib/Data/Bin.agdai
/usr/share/Agda-stdlib/Data/Bool
/usr/share/Agda-stdlib/Data/Bool.agda
/usr/share/Agda-stdlib/Data/Bool.agdai
/usr/share/Agda-stdlib/Data/Bool/Properties.agda
/usr/share/Agda-stdlib/Data/Bool/Properties.agdai
/usr/share/Agda-stdlib/Data/Bool/Show.agda
/usr/share/Agda-stdlib/Data/Bool/Show.agdai
/usr/share/Agda-stdlib/Data/BoundedVec
/usr/share/Agda-stdlib/Data/BoundedVec.agda
/usr/share/Agda-stdlib/Data/BoundedVec.agdai
/usr/share/Agda-stdlib/Data/BoundedVec/Inefficient.agda
/usr/share/Agda-stdlib/Data/BoundedVec/Inefficient.agdai
/usr/share/Agda-stdlib/Data/Char.agda
/usr/share/Agda-stdlib/Data/Char.agdai
/usr/share/Agda-stdlib/Data/Cofin.agda
/usr/share/Agda-stdlib/Data/Cofin.agdai
/usr/share/Agda-stdlib/Data/Colist.agda
/usr/share/Agda-stdlib/Data/Colist.agdai
/usr/share/Agda-stdlib/Data/Conat.agda
/usr/share/Agda-stdlib/Data/Conat.agdai
/usr/share/Agda-stdlib/Data/Container
/usr/share/Agda-stdlib/Data/Container.agda
/usr/share/Agda-stdlib/Data/Container.agdai
/usr/share/Agda-stdlib/Data/Container/Any.agda
/usr/share/Agda-stdlib/Data/Container/Any.agdai
/usr/share/Agda-stdlib/Data/Container/Combinator.agda
/usr/share/Agda-stdlib/Data/Container/Combinator.agdai
/usr/share/Agda-stdlib/Data/Covec.agda
/usr/share/Agda-stdlib/Data/Covec.agdai
/usr/share/Agda-stdlib/Data/DifferenceList.agda
/usr/share/Agda-stdlib/Data/DifferenceList.agdai
/usr/share/Agda-stdlib/Data/DifferenceNat.agda
/usr/share/Agda-stdlib/Data/DifferenceNat.agdai
/usr/share/Agda-stdlib/Data/DifferenceVec.agda
/usr/share/Agda-stdlib/Data/DifferenceVec.agdai
/usr/share/Agda-stdlib/Data/Digit.agda
/usr/share/Agda-stdlib/Data/Digit.agdai
/usr/share/Agda-stdlib/Data/Empty.agda
/usr/share/Agda-stdlib/Data/Empty.agdai
/usr/share/Agda-stdlib/Data/Fin
/usr/share/Agda-stdlib/Data/Fin.agda
/usr/share/Agda-stdlib/Data/Fin.agdai
/usr/share/Agda-stdlib/Data/Fin/Dec.agda
/usr/share/Agda-stdlib/Data/Fin/Dec.agdai
/usr/share/Agda-stdlib/Data/Fin/Props.agda
/usr/share/Agda-stdlib/Data/Fin/Props.agdai
/usr/share/Agda-stdlib/Data/Fin/Subset
/usr/share/Agda-stdlib/Data/Fin/Subset.agda
/usr/share/Agda-stdlib/Data/Fin/Subset.agdai
/usr/share/Agda-stdlib/Data/Fin/Subset/Props.agda
/usr/share/Agda-stdlib/Data/Fin/Subset/Props.agdai
/usr/share/Agda-stdlib/Data/Fin/Substitution
/usr/share/Agda-stdlib/Data/Fin/Substitution.agda
/usr/share/Agda-stdlib/Data/Fin/Substitution.agdai
/usr/share/Agda-stdlib/Data/Fin/Substitution/Example.agda
/usr/share/Agda-stdlib/Data/Fin/Substitution/Example.agdai
/usr/share/Agda-stdlib/Data/Fin/Substitution/Lemmas.agda
/usr/share/Agda-stdlib/Data/Fin/Substitution/Lemmas.agdai
/usr/share/Agda-stdlib/Data/Fin/Substitution/List.agda
/usr/share/Agda-stdlib/Data/Fin/Substitution/List.agdai
/usr/share/Agda-stdlib/Data/Graph
/usr/share/Agda-stdlib/Data/Graph/Acyclic.agda
/usr/share/Agda-stdlib/Data/Graph/Acyclic.agdai
/usr/share/Agda-stdlib/Data/Integer
/usr/share/Agda-stdlib/Data/Integer.agda
/usr/share/Agda-stdlib/Data/Integer.agdai
/usr/share/Agda-stdlib/Data/Integer/Addition
/usr/share/Agda-stdlib/Data/Integer/Addition/Properties.agda
/usr/share/Agda-stdlib/Data/Integer/Addition/Properties.agdai
/usr/share/Agda-stdlib/Data/Integer/Divisibility.agda
/usr/share/Agda-stdlib/Data/Integer/Divisibility.agdai
/usr/share/Agda-stdlib/Data/Integer/Multiplication
/usr/share/Agda-stdlib/Data/Integer/Multiplication/Properties.agda
/usr/share/Agda-stdlib/Data/Integer/Multiplication/Properties.agdai
/usr/share/Agda-stdlib/Data/Integer/Properties.agda
/usr/share/Agda-stdlib/Data/Integer/Properties.agdai
/usr/share/Agda-stdlib/Data/List
/usr/share/Agda-stdlib/Data/List.agda
/usr/share/Agda-stdlib/Data/List.agdai
/usr/share/Agda-stdlib/Data/List/All
/usr/share/Agda-stdlib/Data/List/All.agda
/usr/share/Agda-stdlib/Data/List/All.agdai
/usr/share/Agda-stdlib/Data/List/All/Properties.agda
/usr/share/Agda-stdlib/Data/List/All/Properties.agdai
/usr/share/Agda-stdlib/Data/List/Any
/usr/share/Agda-stdlib/Data/List/Any.agda
/usr/share/Agda-stdlib/Data/List/Any.agdai
/usr/share/Agda-stdlib/Data/List/Any/BagAndSetEquality.agda
/usr/share/Agda-stdlib/Data/List/Any/BagAndSetEquality.agdai
/usr/share/Agda-stdlib/Data/List/Any/Membership.agda
/usr/share/Agda-stdlib/Data/List/Any/Membership.agdai
/usr/share/Agda-stdlib/Data/List/Any/Properties.agda
/usr/share/Agda-stdlib/Data/List/Any/Properties.agdai
/usr/share/Agda-stdlib/Data/List/Countdown.agda
/usr/share/Agda-stdlib/Data/List/Countdown.agdai
/usr/share/Agda-stdlib/Data/List/NonEmpty
/usr/share/Agda-stdlib/Data/List/NonEmpty.agda
/usr/share/Agda-stdlib/Data/List/NonEmpty.agdai
/usr/share/Agda-stdlib/Data/List/NonEmpty/Properties.agda
/usr/share/Agda-stdlib/Data/List/NonEmpty/Properties.agdai
/usr/share/Agda-stdlib/Data/List/Properties.agda
/usr/share/Agda-stdlib/Data/List/Properties.agdai
/usr/share/Agda-stdlib/Data/List/Reverse.agda
/usr/share/Agda-stdlib/Data/List/Reverse.agdai
/usr/share/Agda-stdlib/Data/M.agda
/usr/share/Agda-stdlib/Data/M.agdai
/usr/share/Agda-stdlib/Data/Maybe
/usr/share/Agda-stdlib/Data/Maybe.agda
/usr/share/Agda-stdlib/Data/Maybe.agdai
/usr/share/Agda-stdlib/Data/Maybe/Core.agda
/usr/share/Agda-stdlib/Data/Maybe/Core.agdai
/usr/share/Agda-stdlib/Data/Nat
/usr/share/Agda-stdlib/Data/Nat.agda
/usr/share/Agda-stdlib/Data/Nat.agdai
/usr/share/Agda-stdlib/Data/Nat/Coprimality.agda
/usr/share/Agda-stdlib/Data/Nat/Coprimality.agdai
/usr/share/Agda-stdlib/Data/Nat/DivMod.agda
/usr/share/Agda-stdlib/Data/Nat/DivMod.agdai
/usr/share/Agda-stdlib/Data/Nat/Divisibility.agda
/usr/share/Agda-stdlib/Data/Nat/Divisibility.agdai
/usr/share/Agda-stdlib/Data/Nat/GCD
/usr/share/Agda-stdlib/Data/Nat/GCD.agda
/usr/share/Agda-stdlib/Data/Nat/GCD.agdai
/usr/share/Agda-stdlib/Data/Nat/GCD/Lemmas.agda
/usr/share/Agda-stdlib/Data/Nat/GCD/Lemmas.agdai
/usr/share/Agda-stdlib/Data/Nat/InfinitelyOften.agda
/usr/share/Agda-stdlib/Data/Nat/InfinitelyOften.agdai
/usr/share/Agda-stdlib/Data/Nat/LCM.agda
/usr/share/Agda-stdlib/Data/Nat/LCM.agdai
/usr/share/Agda-stdlib/Data/Nat/Primality.agda
/usr/share/Agda-stdlib/Data/Nat/Primality.agdai
/usr/share/Agda-stdlib/Data/Nat/Properties.agda
/usr/share/Agda-stdlib/Data/Nat/Properties.agdai
/usr/share/Agda-stdlib/Data/Nat/Show.agda
/usr/share/Agda-stdlib/Data/Nat/Show.agdai
/usr/share/Agda-stdlib/Data/Plus.agda
/usr/share/Agda-stdlib/Data/Plus.agdai
/usr/share/Agda-stdlib/Data/Product
/usr/share/Agda-stdlib/Data/Product.agda
/usr/share/Agda-stdlib/Data/Product.agdai
/usr/share/Agda-stdlib/Data/Product/N-ary.agda
/usr/share/Agda-stdlib/Data/Product/N-ary.agdai
/usr/share/Agda-stdlib/Data/Rational.agda
/usr/share/Agda-stdlib/Data/Rational.agdai
/usr/share/Agda-stdlib/Data/ReflexiveClosure.agda
/usr/share/Agda-stdlib/Data/ReflexiveClosure.agdai
/usr/share/Agda-stdlib/Data/Sign
/usr/share/Agda-stdlib/Data/Sign.agda
/usr/share/Agda-stdlib/Data/Sign.agdai
/usr/share/Agda-stdlib/Data/Sign/Properties.agda
/usr/share/Agda-stdlib/Data/Sign/Properties.agdai
/usr/share/Agda-stdlib/Data/Star
/usr/share/Agda-stdlib/Data/Star.agda
/usr/share/Agda-stdlib/Data/Star.agdai
/usr/share/Agda-stdlib/Data/Star/BoundedVec.agda
/usr/share/Agda-stdlib/Data/Star/BoundedVec.agdai
/usr/share/Agda-stdlib/Data/Star/Decoration.agda
/usr/share/Agda-stdlib/Data/Star/Decoration.agdai
/usr/share/Agda-stdlib/Data/Star/Environment.agda
/usr/share/Agda-stdlib/Data/Star/Environment.agdai
/usr/share/Agda-stdlib/Data/Star/Fin.agda
/usr/share/Agda-stdlib/Data/Star/Fin.agdai
/usr/share/Agda-stdlib/Data/Star/List.agda
/usr/share/Agda-stdlib/Data/Star/List.agdai
/usr/share/Agda-stdlib/Data/Star/Nat.agda
/usr/share/Agda-stdlib/Data/Star/Nat.agdai
/usr/share/Agda-stdlib/Data/Star/Pointer.agda
/usr/share/Agda-stdlib/Data/Star/Pointer.agdai
/usr/share/Agda-stdlib/Data/Star/Properties.agda
/usr/share/Agda-stdlib/Data/Star/Properties.agdai
/usr/share/Agda-stdlib/Data/Star/Vec.agda
/usr/share/Agda-stdlib/Data/Star/Vec.agdai
/usr/share/Agda-stdlib/Data/Stream.agda
/usr/share/Agda-stdlib/Data/Stream.agdai
/usr/share/Agda-stdlib/Data/String.agda
/usr/share/Agda-stdlib/Data/String.agdai
/usr/share/Agda-stdlib/Data/Sum.agda
/usr/share/Agda-stdlib/Data/Sum.agdai
/usr/share/Agda-stdlib/Data/Unit
/usr/share/Agda-stdlib/Data/Unit.agda
/usr/share/Agda-stdlib/Data/Unit.agdai
/usr/share/Agda-stdlib/Data/Unit/Core.agda
/usr/share/Agda-stdlib/Data/Unit/Core.agdai
/usr/share/Agda-stdlib/Data/Vec
/usr/share/Agda-stdlib/Data/Vec.agda
/usr/share/Agda-stdlib/Data/Vec.agdai
/usr/share/Agda-stdlib/Data/Vec/Equality.agda
/usr/share/Agda-stdlib/Data/Vec/Equality.agdai
/usr/share/Agda-stdlib/Data/Vec/N-ary.agda
/usr/share/Agda-stdlib/Data/Vec/N-ary.agdai
/usr/share/Agda-stdlib/Data/Vec/Properties.agda
/usr/share/Agda-stdlib/Data/Vec/Properties.agdai
/usr/share/Agda-stdlib/Data/W.agda
/usr/share/Agda-stdlib/Data/W.agdai
/usr/share/Agda-stdlib/Everything.agda
/usr/share/Agda-stdlib/Everything.agdai
/usr/share/Agda-stdlib/Foreign
/usr/share/Agda-stdlib/Foreign/Haskell.agda
/usr/share/Agda-stdlib/Foreign/Haskell.agdai
/usr/share/Agda-stdlib/Function
/usr/share/Agda-stdlib/Function.agda
/usr/share/Agda-stdlib/Function.agdai
/usr/share/Agda-stdlib/Function/Bijection.agda
/usr/share/Agda-stdlib/Function/Bijection.agdai
/usr/share/Agda-stdlib/Function/Equality.agda
/usr/share/Agda-stdlib/Function/Equality.agdai
/usr/share/Agda-stdlib/Function/Equivalence.agda
/usr/share/Agda-stdlib/Function/Equivalence.agdai
/usr/share/Agda-stdlib/Function/Injection.agda
/usr/share/Agda-stdlib/Function/Injection.agdai
/usr/share/Agda-stdlib/Function/Inverse.agda
/usr/share/Agda-stdlib/Function/Inverse.agdai
/usr/share/Agda-stdlib/Function/LeftInverse.agda
/usr/share/Agda-stdlib/Function/LeftInverse.agdai
/usr/share/Agda-stdlib/Function/Related
/usr/share/Agda-stdlib/Function/Related.agda
/usr/share/Agda-stdlib/Function/Related.agdai
/usr/share/Agda-stdlib/Function/Related/TypeIsomorphisms.agda
/usr/share/Agda-stdlib/Function/Related/TypeIsomorphisms.agdai
/usr/share/Agda-stdlib/Function/Surjection.agda
/usr/share/Agda-stdlib/Function/Surjection.agdai
/usr/share/Agda-stdlib/IO
/usr/share/Agda-stdlib/IO.agda
/usr/share/Agda-stdlib/IO.agdai
/usr/share/Agda-stdlib/IO/Primitive.agda
/usr/share/Agda-stdlib/IO/Primitive.agdai
/usr/share/Agda-stdlib/Induction
/usr/share/Agda-stdlib/Induction.agda
/usr/share/Agda-stdlib/Induction.agdai
/usr/share/Agda-stdlib/Induction/Lexicographic.agda
/usr/share/Agda-stdlib/Induction/Lexicographic.agdai
/usr/share/Agda-stdlib/Induction/Nat.agda
/usr/share/Agda-stdlib/Induction/Nat.agdai
/usr/share/Agda-stdlib/Induction/WellFounded.agda
/usr/share/Agda-stdlib/Induction/WellFounded.agdai
/usr/share/Agda-stdlib/Irrelevance.agda
/usr/share/Agda-stdlib/Irrelevance.agdai
/usr/share/Agda-stdlib/Level
/usr/share/Agda-stdlib/Level.agda
/usr/share/Agda-stdlib/Level.agdai
/usr/share/Agda-stdlib/Record.agda
/usr/share/Agda-stdlib/Record.agdai
/usr/share/Agda-stdlib/Reflection.agda
/usr/share/Agda-stdlib/Reflection.agdai
/usr/share/Agda-stdlib/Relation
/usr/share/Agda-stdlib/Relation/Binary
/usr/share/Agda-stdlib/Relation/Binary.agda
/usr/share/Agda-stdlib/Relation/Binary.agdai
/usr/share/Agda-stdlib/Relation/Binary/Consequences
/usr/share/Agda-stdlib/Relation/Binary/Consequences.agda
/usr/share/Agda-stdlib/Relation/Binary/Consequences.agdai
/usr/share/Agda-stdlib/Relation/Binary/Consequences/Core.agda
/usr/share/Agda-stdlib/Relation/Binary/Consequences/Core.agdai
/usr/share/Agda-stdlib/Relation/Binary/Core.agda
/usr/share/Agda-stdlib/Relation/Binary/Core.agdai
/usr/share/Agda-stdlib/Relation/Binary/EqReasoning.agda
/usr/share/Agda-stdlib/Relation/Binary/EqReasoning.agdai
/usr/share/Agda-stdlib/Relation/Binary/Flip.agda
/usr/share/Agda-stdlib/Relation/Binary/Flip.agdai
/usr/share/Agda-stdlib/Relation/Binary/HeterogeneousEquality
/usr/share/Agda-stdlib/Relation/Binary/HeterogeneousEquality.agda
/usr/share/Agda-stdlib/Relation/Binary/HeterogeneousEquality.agdai
/usr/share/Agda-stdlib/Relation/Binary/HeterogeneousEquality/Core.agda
/usr/share/Agda-stdlib/Relation/Binary/HeterogeneousEquality/Core.agdai
/usr/share/Agda-stdlib/Relation/Binary/Indexed
/usr/share/Agda-stdlib/Relation/Binary/Indexed.agda
/usr/share/Agda-stdlib/Relation/Binary/Indexed.agdai
/usr/share/Agda-stdlib/Relation/Binary/Indexed/Core.agda
/usr/share/Agda-stdlib/Relation/Binary/Indexed/Core.agdai
/usr/share/Agda-stdlib/Relation/Binary/InducedPreorders.agda
/usr/share/Agda-stdlib/Relation/Binary/InducedPreorders.agdai
/usr/share/Agda-stdlib/Relation/Binary/List
/usr/share/Agda-stdlib/Relation/Binary/List/NonStrictLex.agda
/usr/share/Agda-stdlib/Relation/Binary/List/NonStrictLex.agdai
/usr/share/Agda-stdlib/Relation/Binary/List/Pointwise.agda
/usr/share/Agda-stdlib/Relation/Binary/List/Pointwise.agdai
/usr/share/Agda-stdlib/Relation/Binary/List/StrictLex.agda
/usr/share/Agda-stdlib/Relation/Binary/List/StrictLex.agdai
/usr/share/Agda-stdlib/Relation/Binary/NonStrictToStrict.agda
/usr/share/Agda-stdlib/Relation/Binary/NonStrictToStrict.agdai
/usr/share/Agda-stdlib/Relation/Binary/On.agda
/usr/share/Agda-stdlib/Relation/Binary/On.agdai
/usr/share/Agda-stdlib/Relation/Binary/OrderMorphism.agda
/usr/share/Agda-stdlib/Relation/Binary/OrderMorphism.agdai
/usr/share/Agda-stdlib/Relation/Binary/PartialOrderReasoning.agda
/usr/share/Agda-stdlib/Relation/Binary/PartialOrderReasoning.agdai
/usr/share/Agda-stdlib/Relation/Binary/PreorderReasoning.agda
/usr/share/Agda-stdlib/Relation/Binary/PreorderReasoning.agdai
/usr/share/Agda-stdlib/Relation/Binary/Product
/usr/share/Agda-stdlib/Relation/Binary/Product/NonStrictLex.agda
/usr/share/Agda-stdlib/Relation/Binary/Product/NonStrictLex.agdai
/usr/share/Agda-stdlib/Relation/Binary/Product/Pointwise.agda
/usr/share/Agda-stdlib/Relation/Binary/Product/Pointwise.agdai
/usr/share/Agda-stdlib/Relation/Binary/Product/StrictLex.agda
/usr/share/Agda-stdlib/Relation/Binary/Product/StrictLex.agdai
/usr/share/Agda-stdlib/Relation/Binary/PropositionalEquality
/usr/share/Agda-stdlib/Relation/Binary/PropositionalEquality.agda
/usr/share/Agda-stdlib/Relation/Binary/PropositionalEquality.agdai
/usr/share/Agda-stdlib/Relation/Binary/PropositionalEquality/Core.agda
/usr/share/Agda-stdlib/Relation/Binary/PropositionalEquality/Core.agdai
/usr/share/Agda-stdlib/Relation/Binary/PropositionalEquality/TrustMe.agda
/usr/share/Agda-stdlib/Relation/Binary/PropositionalEquality/TrustMe.agdai
/usr/share/Agda-stdlib/Relation/Binary/Props
/usr/share/Agda-stdlib/Relation/Binary/Props/DecTotalOrder.agda
/usr/share/Agda-stdlib/Relation/Binary/Props/DecTotalOrder.agdai
/usr/share/Agda-stdlib/Relation/Binary/Props/Poset.agda
/usr/share/Agda-stdlib/Relation/Binary/Props/Poset.agdai
/usr/share/Agda-stdlib/Relation/Binary/Props/Preorder.agda
/usr/share/Agda-stdlib/Relation/Binary/Props/Preorder.agdai
/usr/share/Agda-stdlib/Relation/Binary/Props/StrictPartialOrder.agda
/usr/share/Agda-stdlib/Relation/Binary/Props/StrictPartialOrder.agdai
/usr/share/Agda-stdlib/Relation/Binary/Props/StrictTotalOrder.agda
/usr/share/Agda-stdlib/Relation/Binary/Props/StrictTotalOrder.agdai
/usr/share/Agda-stdlib/Relation/Binary/Props/TotalOrder.agda
/usr/share/Agda-stdlib/Relation/Binary/Props/TotalOrder.agdai
/usr/share/Agda-stdlib/Relation/Binary/Reflection.agda
/usr/share/Agda-stdlib/Relation/Binary/Reflection.agdai
/usr/share/Agda-stdlib/Relation/Binary/Sigma
/usr/share/Agda-stdlib/Relation/Binary/Sigma/Pointwise.agda
/usr/share/Agda-stdlib/Relation/Binary/Sigma/Pointwise.agdai
/usr/share/Agda-stdlib/Relation/Binary/Simple.agda
/usr/share/Agda-stdlib/Relation/Binary/Simple.agdai
/usr/share/Agda-stdlib/Relation/Binary/StrictPartialOrderReasoning.agda
/usr/share/Agda-stdlib/Relation/Binary/StrictPartialOrderReasoning.agdai
/usr/share/Agda-stdlib/Relation/Binary/StrictToNonStrict.agda
/usr/share/Agda-stdlib/Relation/Binary/StrictToNonStrict.agdai
/usr/share/Agda-stdlib/Relation/Binary/Sum.agda
/usr/share/Agda-stdlib/Relation/Binary/Sum.agdai
/usr/share/Agda-stdlib/Relation/Binary/Vec
/usr/share/Agda-stdlib/Relation/Binary/Vec/Pointwise.agda
/usr/share/Agda-stdlib/Relation/Binary/Vec/Pointwise.agdai
/usr/share/Agda-stdlib/Relation/Nullary
/usr/share/Agda-stdlib/Relation/Nullary.agda
/usr/share/Agda-stdlib/Relation/Nullary.agdai
/usr/share/Agda-stdlib/Relation/Nullary/Core.agda
/usr/share/Agda-stdlib/Relation/Nullary/Core.agdai
/usr/share/Agda-stdlib/Relation/Nullary/Decidable.agda
/usr/share/Agda-stdlib/Relation/Nullary/Decidable.agdai
/usr/share/Agda-stdlib/Relation/Nullary/Implication.agda
/usr/share/Agda-stdlib/Relation/Nullary/Implication.agdai
/usr/share/Agda-stdlib/Relation/Nullary/Negation.agda
/usr/share/Agda-stdlib/Relation/Nullary/Negation.agdai
/usr/share/Agda-stdlib/Relation/Nullary/Product.agda
/usr/share/Agda-stdlib/Relation/Nullary/Product.agdai
/usr/share/Agda-stdlib/Relation/Nullary/Sum.agda
/usr/share/Agda-stdlib/Relation/Nullary/Sum.agdai
/usr/share/Agda-stdlib/Relation/Nullary/Universe.agda
/usr/share/Agda-stdlib/Relation/Nullary/Universe.agdai
/usr/share/Agda-stdlib/Relation/Unary.agda
/usr/share/Agda-stdlib/Relation/Unary.agdai
/usr/share/Agda-stdlib/Size.agda
/usr/share/Agda-stdlib/Size.agdai
/usr/share/Agda-stdlib/Universe.agda
/usr/share/Agda-stdlib/Universe.agdai
/usr/share/doc/Agda-stdlib-0.7
/usr/share/doc/Agda-stdlib-0.7/LICENCE
/usr/share/doc/Agda-stdlib-0.7/README
/usr/share/doc/Agda-stdlib-0.7/README.agda
/usr/share/doc/Agda-stdlib-0.7/README/AVL.agda
/usr/share/doc/Agda-stdlib-0.7/README/Case.agda
/usr/share/doc/Agda-stdlib-0.7/README/Integer.agda
/usr/share/doc/Agda-stdlib-0.7/README/Nat.agda
/usr/share/doc/Agda-stdlib-0.7/README/Record.agda
/usr/share/doc/Agda-stdlib-0.7/release-notes