Gentoo Packages

Search

Install

Install this package:

emerge -a dev-haskell/minisat

Package Information

Description:

This package provides an Minisat Haskell bundle aka a Haskell bundle of the Minisat SAT solver.

Homepage:

https://hackage.haskell.org/package/minisat

License:

BSD

Versions

Metadata

Description

• This package provides an Minisat Haskell bundle aka a Haskell bundle of the Minisat SAT solver.

Maintainers

• Vladimir Pavljuchenkov (spiderx@spiderx.dp.ua) - Type: person
• Proxy Maintainers (proxy-maint@gentoo.org) - Type: project

Upstream

• Remote IDs:
  • hackage: minisat
  • github: jbransen/minisat-bundle

<pkgmetadata>
	<maintainer type="person">
		<email>spiderx@spiderx.dp.ua</email>
		<name>Vladimir Pavljuchenkov</name>
	</maintainer>
	<maintainer type="project">
		<email>proxy-maint@gentoo.org</email>
		<name>Proxy Maintainers</name>
	</maintainer>
	<longdescription lang="en">
	This package provides an Minisat Haskell bundle aka
	a Haskell bundle of the Minisat SAT solver.
	</longdescription>
	<upstream>
		<remote-id type="hackage">minisat</remote-id>
		<remote-id type="github">jbransen/minisat-bundle</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Error] Manifest entry for unused DIST file 'minisat-0.1.4.tar.gz'
• [Error] Repository is missing a repo-name in metadata/layout.conf or profiles/repo_name
• [Notice] Package has only unstable keywords for arch(es): [ amd64, x86 ], all versions are unstable: [ 0.1.4 ]

Manifest