Gentoo Packages

dev-python/pydelta-smt (pypi)

Search

Install

Install this package:

emerge -a dev-python/pydelta-smt

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask dev-python/pydelta-smt

Or alternatively:

emerge --autounmask-write -a dev-python/pydelta-smt

Package Information

Description:
Delta debugger for SMT-LIB files
Homepage:
https://github.com/nafur/pydelta
License:
MIT

Versions

Version EAPI Keywords Slot
0.4_pre59 8 ~amd64 ~x86 0
0.3 8 ~amd64 ~x86 0

Metadata

Maintainers

Raw Metadata XML 
<pkgmetadata>
	<maintainer type="person">
		<email>gentoo@houseofsuns.org</email>
		<name>Markus Walter</name>
	</maintainer>
</pkgmetadata>

Lint Warnings

Manifest

Type File Size Versions
DIST pydelta-smt-0.3.tar.gz 18248 bytes 0.3
DIST pydelta-smt-0.4.dev59.tar.gz 21555 bytes 0.4_pre59
Unmatched Entries
Type File Size
EBUILD pydelta-smt-0.3.ebuild 755 bytes
EBUILD pydelta-smt-0.4_pre59.ebuild 759 bytes
MISC metadata.xml 250 bytes