Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

Agda-stdlib-docs-0.13-3.fc27 RPM for noarch

From Fedora 28 for ppc64le / a

Name: Agda-stdlib-docs Distribution: Fedora Project
Version: 0.13 Vendor: Fedora Project
Release: 3.fc27 Build date: Wed Aug 2 19:08:18 2017
Group: Development/Libraries Build host: buildvm-26.phx2.fedoraproject.org
Size: 23383271 Source RPM: Agda-stdlib-0.13-3.fc27.src.rpm
Packager: Fedora Project
Url: http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
Summary: Agda standard libraries documentation
This package provides the html documentation for the stdlibs
generated by the Agda compiler program.

Provides

Requires

License

MIT

Changelog

* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 0.13-1
  - update to 0.13
  - install standard-library.agda-lib package file
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.11-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Mon Oct 24 2016 Jens Petersen <petersen@redhat.com> - 0.11-3
  - update to 0.11
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 0.9-1
  - update to 0.9
  - include ffi lib in main package
* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Fri Jun 06 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Wed Feb 05 2014 Jens Petersen <petersen@redhat.com> - 0.7-3
  - no ghc-rpm-macros-extra on F19
* Mon Feb 03 2014 Jens Petersen <petersen@redhat.com> - 0.7-2
  - only build on arch's where Agda builds
* Tue Jun 25 2013 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
* Thu Jul 12 2012 Jens Petersen <petersen@redhat.com> - 0.6-4
  - move stdlib files to datadir
  - subpackage html docs
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-3
  - subpackage agda-lib-ffi for MAlonzo backend
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-2
  - fix the manifest to include the libraries
  - add html
  - turn off debuginfo
  - remove README interface files
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-1
  - update to 0.6
* Sat Jun 04 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org>
  - initial packaging for Fedora automatically generated by cabal2spec-0.23

Files

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


Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jul 10 05:33:38 2019