gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/puresat

Pure Haskell SAT-solver

Screenshots

  • puresat-0.1
    ~amd64
    exe doc hscolour hoogle profile test

    View      Download      Browse     License: BSD   
    Overlay: haskell

Runtime Dependencies

puresat-0.1


>=dev-haskell/parsec-3.1.16.1:=[profile?
]

<dev-haskell/parsec-3.2:=[profile?
]

>=dev-haskell/primitive-0.9.0.0:=[profile?
]

<dev-haskell/primitive-0.10:=[profile?
]
>=dev-lang/ghc-9.6.5:=

exe?
      ( >=dev-haskell/optparse-applicative-0.18.1.0:=[profile?
] <dev-haskell/optparse-applicative-0.19:=[profile?
] )


dev-lang/ghc:=[profile?
]