homepage: ''
changelog-type: ''
hash: 45ec1223e0dc0a1f442f947a5b0f57c3cc31d0446c73ffc59ecd571aab2d6d2b
test-bench-deps: {}
maintainer: strake888@gmail.com
synopsis: Finite totally-ordered sets
changelog: ''
basic-deps:
  alg: ! '>=0.2.5 && <0.3'
  foldable1: ! '>=0.1 && <0.2'
  peano: -any
  base: ! '>=4.7 && <5'
  universe-base: ! '>=1.0 && <1.1'
  natural-induction: ! '>=0.2 && <0.3'
all-versions:
- 0.1.0.0
- 0.1.1.0
- 0.2.0.0
- 0.2.1.0
- 0.2.2.0
- 0.2.3.0
- 0.2.4.0
- 0.2.5.0
- 0.2.5.1
- 0.2.6.0
- 0.2.6.1
author: M Farkas-Dyck
latest: 0.2.6.1
description-type: haddock
description: ''
license-name: BSD-3-Clause

homepage: ''
changelog-type: ''
hash: bdda65c58b6fa4a72674cd117c8aa1a5d109bab0a696e84448ff4e69bf091a3e
test-bench-deps: {}
maintainer: strake888@gmail.com
synopsis: Finite totally-ordered sets
changelog: ''
basic-deps:
  alg: ! '>=0.2.5 && <0.3'
  foldable1: ! '>=0.1 && <0.2'
  peano: -any
  base: ! '>=4.7 && <5'
  universe-base: ! '>=1.0 && <1.1'
  natural-induction: ! '>=0.2 && <0.3'
all-versions:
- 0.1.0.0
- 0.1.1.0
- 0.2.0.0
- 0.2.1.0
- 0.2.2.0
- 0.2.3.0
- 0.2.4.0
- 0.2.5.0
- 0.2.5.1
- 0.2.6.0
- 0.2.6.1
- 0.2.7.0
author: M Farkas-Dyck
latest: 0.2.7.0
description-type: haddock
description: ''
license-name: BSD-3-Clause

Update from Hackage at 2018-12-27T05:52:06Z
Update from Hackage at 2018-12-27T05:52:06Z
