# ChangeLog for dev-haskell/minisat
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/dev-haskell/minisat/ChangeLog,v 1.1 2015/08/01 11:51:23 slyfox Exp $

*minisat-0.1.2 (01 Aug 2015)

  01 Aug 2015; Sergei Trofimovich <slyfox@gentoo.org> +metadata.xml,
  +minisat-0.1.2.ebuild:
  A Haskell bundle of the Minisat SAT solver, a depend for new dev-
  haskell/uuagc-0.9.52.1.