homepage: ''
changelog-type: ''
hash: 14cb003d90e5b4d2415ae19175dca58643b6523f0c6f9463a4c5c25d7477a4a1
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.6.0'
author: M Farkas-Dyck
latest: '0.2.6.0'
description-type: haddock
description: ''
license-name: BSD3

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: BSD3

Update from Hackage at 2018-12-12T19:56:56Z
Update from Hackage at 2018-12-12T19:56:56Z
