Agda-stdlib-0.9-3.fc24.i686.rpm


Advertisement

Description

Agda-stdlib - Agda standard libraries

Distribution: Fedora 25
Repository: Fedora i386
Package name: Agda-stdlib
Package version: 0.9
Package release: 3.fc24
Package architecture: i686
Package type: rpm
Installed size: 14.11 MB
Download size: 11.12 MB
Official Mirror: dl.fedoraproject.org
Agda standard libraries

Alternatives

Provides

  • Agda-stdlib = 0.9-3.fc24
  • Agda-stdlib(x86-32) = 0.9-3.fc24
  • ghc(agda-lib-ffi-0.0.2-047796a62c710313276f9b0327826770)
  • ghc-devel(agda-lib-ffi-0.0.2-047796a62c710313276f9b0327826770)
  • libHSagda-lib-ffi-0.0.2-ghc7.8.4.so

Obsoletes

  • ghc-agda-lib-ffi < 0.0.2-6
  • ghc-agda-lib-ffi-devel < 0.0.2-6

    Download

    Install Howto

    Install the Agda-stdlib rpm package:

    # dnf install Agda-stdlib

    Files

    • /usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2-ghc7.8.4.so
    • /usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2.a
    • /usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2_p.a
    • /usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.dyn_hi
    • /usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.hi
    • /usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.p_hi
    • /usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.dyn_hi
    • /usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.hi
    • /usr/lib/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.p_hi
    • /usr/lib/ghc-7.8.4/package.conf.d/agda-lib-ffi-0.0.2.conf
    • /usr/share/Agda-stdlib/Algebra.agda
    • /usr/share/Agda-stdlib/Algebra.agdai
    • /usr/share/Agda-stdlib/Coinduction.agda
    • /usr/share/Agda-stdlib/Coinduction.agdai
    • /usr/share/Agda-stdlib/Everything.agda
    • /usr/share/Agda-stdlib/Everything.agdai
    • /usr/share/Agda-stdlib/Function.agda
    • /usr/share/Agda-stdlib/Function.agdai
    • /usr/share/Agda-stdlib/IO.agda
    • /usr/share/Agda-stdlib/IO.agdai
    • /usr/share/Agda-stdlib/Induction.agda
    • /usr/share/Agda-stdlib/Induction.agdai
    • /usr/share/Agda-stdlib/Irrelevance.agda
    • /usr/share/Agda-stdlib/Irrelevance.agdai
    • /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/Size.agda
    • /usr/share/Agda-stdlib/Size.agdai
    • /usr/share/Agda-stdlib/Universe.agda
    • /usr/share/Agda-stdlib/Universe.agdai
    • /usr/share/Agda-stdlib/Algebra/FunctionProperties.agda
    • /usr/share/Agda-stdlib/Algebra/FunctionProperties.agdai
    • /usr/share/Agda-stdlib/Algebra/Monoid-solver.agda
    • /usr/share/Agda-stdlib/Algebra/Monoid-solver.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/RingSolver.agda
    • /usr/share/Agda-stdlib/Algebra/RingSolver.agdai
    • /usr/share/Agda-stdlib/Algebra/Structures.agda
    • /usr/share/Agda-stdlib/Algebra/Structures.agdai
    • /usr/share/Agda-stdlib/Algebra/FunctionProperties/Core.agda
    • /usr/share/Agda-stdlib/Algebra/FunctionProperties/Core.agdai
    • /usr/share/Agda-stdlib/Algebra/Properties/AbelianGroup.agda
    • /usr/share/Agda-stdlib/Algebra/Properties/AbelianGroup.agdai
    • /usr/share/Agda-stdlib/Algebra/Properties/BooleanAlgebra.agda
    • /usr/share/Agda-stdlib/Algebra/Properties/BooleanAlgebra.agdai
    • /usr/share/Agda-stdlib/Algebra/Properties/DistributiveLattice.agda
    • /usr/share/Agda-stdlib/Algebra/Properties/DistributiveLattice.agdai
    • /usr/share/Agda-stdlib/Algebra/Properties/Group.agda
    • /usr/share/Agda-stdlib/Algebra/Properties/Group.agdai
    • /usr/share/Agda-stdlib/Algebra/Properties/Lattice.agda
    • /usr/share/Agda-stdlib/Algebra/Properties/Lattice.agdai
    • /usr/share/Agda-stdlib/Algebra/Properties/Ring.agda
    • /usr/share/Agda-stdlib/Algebra/Properties/Ring.agdai
    • /usr/share/Agda-stdlib/Algebra/Properties/BooleanAlgebra/Expression.agda
    • /usr/share/Agda-stdlib/Algebra/Properties/BooleanAlgebra/Expression.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/Category/Applicative.agda
    • /usr/share/Agda-stdlib/Category/Applicative.agdai
    • /usr/share/Agda-stdlib/Category/Functor.agda
    • /usr/share/Agda-stdlib/Category/Functor.agdai
    • /usr/share/Agda-stdlib/Category/Monad.agda
    • /usr/share/Agda-stdlib/Category/Monad.agdai
    • /usr/share/Agda-stdlib/Category/Applicative/Indexed.agda
    • /usr/share/Agda-stdlib/Category/Applicative/Indexed.agdai
    • /usr/share/Agda-stdlib/Category/Applicative/Predicate.agda
    • /usr/share/Agda-stdlib/Category/Applicative/Predicate.agdai
    • /usr/share/Agda-stdlib/Category/Functor/Predicate.agda
    • /usr/share/Agda-stdlib/Category/Functor/Predicate.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.agda
    • /usr/share/Agda-stdlib/Category/Monad/Partiality.agdai
    • /usr/share/Agda-stdlib/Category/Monad/Predicate.agda
    • /usr/share/Agda-stdlib/Category/Monad/Predicate.agdai
    • /usr/share/Agda-stdlib/Category/Monad/State.agda
    • /usr/share/Agda-stdlib/Category/Monad/State.agdai
    • /usr/share/Agda-stdlib/Category/Monad/Partiality/All.agda
    • /usr/share/Agda-stdlib/Category/Monad/Partiality/All.agdai
    • /usr/share/Agda-stdlib/Data/AVL.agda
    • /usr/share/Agda-stdlib/Data/AVL.agdai
    • /usr/share/Agda-stdlib/Data/Bin.agda
    • /usr/share/Agda-stdlib/Data/Bin.agdai
    • /usr/share/Agda-stdlib/Data/Bool.agda
    • /usr/share/Agda-stdlib/Data/Bool.agdai
    • /usr/share/Agda-stdlib/Data/BoundedVec.agda
    • /usr/share/Agda-stdlib/Data/BoundedVec.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.agda
    • /usr/share/Agda-stdlib/Data/Container.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.agda
    • /usr/share/Agda-stdlib/Data/Fin.agdai
    • /usr/share/Agda-stdlib/Data/Float.agda
    • /usr/share/Agda-stdlib/Data/Float.agdai
    • /usr/share/Agda-stdlib/Data/Integer.agda
    • /usr/share/Agda-stdlib/Data/Integer.agdai
    • /usr/share/Agda-stdlib/Data/List.agda
    • /usr/share/Agda-stdlib/Data/List.agdai
    • /usr/share/Agda-stdlib/Data/M.agda
    • /usr/share/Agda-stdlib/Data/M.agdai
    • /usr/share/Agda-stdlib/Data/Maybe.agda
    • /usr/share/Agda-stdlib/Data/Maybe.agdai
    • /usr/share/Agda-stdlib/Data/Nat.agda
    • /usr/share/Agda-stdlib/Data/Nat.agdai
    • /usr/share/Agda-stdlib/Data/Plus.agda
    • /usr/share/Agda-stdlib/Data/Plus.agdai
    • /usr/share/Agda-stdlib/Data/Product.agda
    • /usr/share/Agda-stdlib/Data/Product.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.agda
    • /usr/share/Agda-stdlib/Data/Sign.agdai
    • /usr/share/Agda-stdlib/Data/Star.agda
    • /usr/share/Agda-stdlib/Data/Star.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.agda
    • /usr/share/Agda-stdlib/Data/Unit.agdai
    • /usr/share/Agda-stdlib/Data/Vec.agda
    • /usr/share/Agda-stdlib/Data/Vec.agdai
    • /usr/share/Agda-stdlib/Data/W.agda
    • /usr/share/Agda-stdlib/Data/W.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/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/Inefficient.agda
    • /usr/share/Agda-stdlib/Data/BoundedVec/Inefficient.agdai
    • /usr/share/Agda-stdlib/Data/Char/Core.agda
    • /usr/share/Agda-stdlib/Data/Char/Core.agdai
    • /usr/share/Agda-stdlib/Data/Colist/Infinite-merge.agda
    • /usr/share/Agda-stdlib/Data/Colist/Infinite-merge.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/Container/FreeMonad.agda
    • /usr/share/Agda-stdlib/Data/Container/FreeMonad.agdai
    • /usr/share/Agda-stdlib/Data/Container/Indexed.agda
    • /usr/share/Agda-stdlib/Data/Container/Indexed.agdai
    • /usr/share/Agda-stdlib/Data/Container/Indexed/Combinator.agda
    • /usr/share/Agda-stdlib/Data/Container/Indexed/Combinator.agdai
    • /usr/share/Agda-stdlib/Data/Container/Indexed/Core.agda
    • /usr/share/Agda-stdlib/Data/Container/Indexed/Core.agdai
    • /usr/share/Agda-stdlib/Data/Container/Indexed/FreeMonad.agda
    • /usr/share/Agda-stdlib/Data/Container/Indexed/FreeMonad.agdai
    • /usr/share/Agda-stdlib/Data/Fin/Dec.agda
    • /usr/share/Agda-stdlib/Data/Fin/Dec.agdai
    • /usr/share/Agda-stdlib/Data/Fin/Properties.agda
    • /usr/share/Agda-stdlib/Data/Fin/Properties.agdai
    • /usr/share/Agda-stdlib/Data/Fin/Subset.agda
    • /usr/share/Agda-stdlib/Data/Fin/Subset.agdai
    • /usr/share/Agda-stdlib/Data/Fin/Substitution.agda
    • /usr/share/Agda-stdlib/Data/Fin/Substitution.agdai
    • /usr/share/Agda-stdlib/Data/Fin/Subset/Properties.agda
    • /usr/share/Agda-stdlib/Data/Fin/Subset/Properties.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/Acyclic.agda
    • /usr/share/Agda-stdlib/Data/Graph/Acyclic.agdai
    • /usr/share/Agda-stdlib/Data/Integer/Divisibility.agda
    • /usr/share/Agda-stdlib/Data/Integer/Divisibility.agdai
    • /usr/share/Agda-stdlib/Data/Integer/Properties.agda
    • /usr/share/Agda-stdlib/Data/Integer/Properties.agdai
    • /usr/share/Agda-stdlib/Data/Integer/Addition/Properties.agda
    • /usr/share/Agda-stdlib/Data/Integer/Addition/Properties.agdai
    • /usr/share/Agda-stdlib/Data/Integer/Multiplication/Properties.agda
    • /usr/share/Agda-stdlib/Data/Integer/Multiplication/Properties.agdai
    • /usr/share/Agda-stdlib/Data/List/All.agda
    • /usr/share/Agda-stdlib/Data/List/All.agdai
    • /usr/share/Agda-stdlib/Data/List/Any.agda
    • /usr/share/Agda-stdlib/Data/List/Any.agdai
    • /usr/share/Agda-stdlib/Data/List/Countdown.agda
    • /usr/share/Agda-stdlib/Data/List/Countdown.agdai
    • /usr/share/Agda-stdlib/Data/List/NonEmpty.agda
    • /usr/share/Agda-stdlib/Data/List/NonEmpty.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/List/All/Properties.agda
    • /usr/share/Agda-stdlib/Data/List/All/Properties.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/NonEmpty/Properties.agda
    • /usr/share/Agda-stdlib/Data/List/NonEmpty/Properties.agdai
    • /usr/share/Agda-stdlib/Data/M/Indexed.agda
    • /usr/share/Agda-stdlib/Data/M/Indexed.agdai
    • /usr/share/Agda-stdlib/Data/Maybe/Core.agda
    • /usr/share/Agda-stdlib/Data/Maybe/Core.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.agda
    • /usr/share/Agda-stdlib/Data/Nat/GCD.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/Nat/GCD/Lemmas.agda
    • /usr/share/Agda-stdlib/Data/Nat/GCD/Lemmas.agdai
    • /usr/share/Agda-stdlib/Data/Nat/Properties/Simple.agda
    • /usr/share/Agda-stdlib/Data/Nat/Properties/Simple.agdai
    • /usr/share/Agda-stdlib/Data/Product/N-ary.agda
    • /usr/share/Agda-stdlib/Data/Product/N-ary.agdai
    • /usr/share/Agda-stdlib/Data/Sign/Properties.agda
    • /usr/share/Agda-stdlib/Data/Sign/Properties.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/String/Core.agda
    • /usr/share/Agda-stdlib/Data/String/Core.agdai
    • /usr/share/Agda-stdlib/Data/Unit/Core.agda
    • /usr/share/Agda-stdlib/Data/Unit/Core.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/Indexed.agda
    • /usr/share/Agda-stdlib/Data/W/Indexed.agdai
    • /usr/share/Agda-stdlib/Foreign/Haskell.agda
    • /usr/share/Agda-stdlib/Foreign/Haskell.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.agda
    • /usr/share/Agda-stdlib/Function/Related.agdai
    • /usr/share/Agda-stdlib/Function/Surjection.agda
    • /usr/share/Agda-stdlib/Function/Surjection.agdai
    • /usr/share/Agda-stdlib/Function/Related/TypeIsomorphisms.agda
    • /usr/share/Agda-stdlib/Function/Related/TypeIsomorphisms.agdai
    • /usr/share/Agda-stdlib/IO/Primitive.agda
    • /usr/share/Agda-stdlib/IO/Primitive.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/Relation/Binary.agda
    • /usr/share/Agda-stdlib/Relation/Binary.agdai
    • /usr/share/Agda-stdlib/Relation/Nullary.agda
    • /usr/share/Agda-stdlib/Relation/Nullary.agdai
    • /usr/share/Agda-stdlib/Relation/Unary.agda
    • /usr/share/Agda-stdlib/Relation/Unary.agdai
    • /usr/share/Agda-stdlib/Relation/Binary/Consequences.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Consequences.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.agda
    • /usr/share/Agda-stdlib/Relation/Binary/HeterogeneousEquality.agdai
    • /usr/share/Agda-stdlib/Relation/Binary/Indexed.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Indexed.agdai
    • /usr/share/Agda-stdlib/Relation/Binary/InducedPreorders.agda
    • /usr/share/Agda-stdlib/Relation/Binary/InducedPreorders.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/PropositionalEquality.agda
    • /usr/share/Agda-stdlib/Relation/Binary/PropositionalEquality.agdai
    • /usr/share/Agda-stdlib/Relation/Binary/Reflection.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Reflection.agdai
    • /usr/share/Agda-stdlib/Relation/Binary/SetoidReasoning.agda
    • /usr/share/Agda-stdlib/Relation/Binary/SetoidReasoning.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/Consequences/Core.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Consequences/Core.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/Core.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Indexed/Core.agdai
    • /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/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/Properties/DecTotalOrder.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Properties/DecTotalOrder.agdai
    • /usr/share/Agda-stdlib/Relation/Binary/Properties/Poset.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Properties/Poset.agdai
    • /usr/share/Agda-stdlib/Relation/Binary/Properties/Preorder.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Properties/Preorder.agdai
    • /usr/share/Agda-stdlib/Relation/Binary/Properties/StrictPartialOrder.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Properties/StrictPartialOrder.agdai
    • /usr/share/Agda-stdlib/Relation/Binary/Properties/StrictTotalOrder.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Properties/StrictTotalOrder.agdai
    • /usr/share/Agda-stdlib/Relation/Binary/Properties/TotalOrder.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Properties/TotalOrder.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/Sigma/Pointwise.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Sigma/Pointwise.agdai
    • /usr/share/Agda-stdlib/Relation/Binary/Vec/Pointwise.agda
    • /usr/share/Agda-stdlib/Relation/Binary/Vec/Pointwise.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/PredicateTransformer.agda
    • /usr/share/Agda-stdlib/Relation/Unary/PredicateTransformer.agdai
    • /usr/share/doc/Agda-stdlib/CHANGELOG
    • /usr/share/doc/Agda-stdlib/LICENCE
    • /usr/share/doc/Agda-stdlib/README.agda
    • /usr/share/doc/Agda-stdlib/README.md
    • /usr/share/doc/Agda-stdlib/README/AVL.agda
    • /usr/share/doc/Agda-stdlib/README/Case.agda
    • /usr/share/doc/Agda-stdlib/README/Integer.agda
    • /usr/share/doc/Agda-stdlib/README/Nat.agda
    • /usr/share/doc/Agda-stdlib/README/Record.agda
    • /usr/share/doc/Agda-stdlib/README/Container/FreeMonad.agda
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/Data-FFI.html
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/IO-FFI.html
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/agda-lib-ffi.haddock
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/agda-lib-ffi.txt
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/doc-index.html
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/frames.html
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/haddock-util.js
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/hslogo-16.png
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/index-frames.html
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/index.html
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/mini_Data-FFI.html
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/mini_IO-FFI.html
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/minus.gif
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/ocean.css
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/plus.gif
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/synopsis.png
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/src/Data-FFI.html
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/src/IO-FFI.html
    • /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/src/hscolour.css

    Changelog

    2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 0.9-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

    2015-06-16 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

    2015-04-16 - Jens Petersen <petersen@redhat.com> - 0.9-1 - update to 0.9 - include ffi lib in main package

    2014-08-15 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

    2014-06-06 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

    2014-02-05 - Jens Petersen <petersen@redhat.com> - 0.7-3 - no ghc-rpm-macros-extra on F19

    2014-02-03 - Jens Petersen <petersen@redhat.com> - 0.7-2 - only build on arch's where Agda builds

    2013-06-25 - Jens Petersen <petersen@redhat.com> - 0.7-1 - update to 0.7 with agda-lib-ffi-0.0.2 - use ghc-rpm-macros-extra - add ffi_ver macro for agda-lib-ffi version

    2012-07-12 - Jens Petersen <petersen@redhat.com> - 0.6-4 - move stdlib files to datadir - subpackage html docs

    2012-07-11 - Jens Petersen <petersen@redhat.com> - 0.6-3 - subpackage agda-lib-ffi for MAlonzo backend

    Advertisement
    Advertisement