Accepted minisat+ 1.0-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 19 Dec 2016 08:06:16 +0100
Source: minisat+
Binary: minisat+
Architecture: source
Version: 1.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
minisat+ - solver for pseudo-Boolean constraints
Changes:
minisat+ (1.0-3) unstable; urgency=medium
.
* debian/copyright: machine-readable format 1.0
* Standards-version 3.9.8 (no change)
* Debhelper compatibility level 10:
- bump debian/compat
- bump build-dependency on debhelper
* Vcs-{Git,Browser}: secure URI
* patch spelling: fix typo in help text
* add as-installed package test
Checksums-Sha1:
fbc3ba2d0f7656478a43843493f3af714bba2c93 1984 minisat+_1.0-3.dsc
3a21f7e92d7f493525c2e5570556d6a4ef73ec33 4124 minisat+_1.0-3.debian.tar.xz
Checksums-Sha256:
dba32c15278312aa1beb3cd542c34904972b227ea2d36291ffe4b326574ef18b 1984 minisat+_1.0-3.dsc
733bc1615f749e9882ec3f0ce73069c97b4236ef363fc1c9c795a2b5f25ffd12 4124 minisat+_1.0-3.debian.tar.xz
Files:
75aaff48cfebdfc8e929e0a1e7d52129 1984 science extra minisat+_1.0-3.dsc
fe4b7bd8da9fb3ce345d2212e2c98eee 4124 science extra minisat+_1.0-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlhYMSwACgkQdFxHZtTK
zf8J9hAAkw7s/hkcoNUCEwBD2udVGxsmah9RJ2qjQ26fmqbL9tukSJykMcSN9lGV
fD3OeFefqnKNomeUSkWCyiFD70PQALw0Z28wkCYjJvqU2yjibt1ftcJHnE3HChi8
sHN5eBDUo1rWN/xJ9X36wTOOHKxkP4H3XKYyG5Sx7udTWPEttbWYhRHnTGs1hlwF
YUM/yA4QECvCjYZQTwEn1HiD+KpqWxe153Np7U7xTTuMrlw9zZdsVnSqad8emkP7
qHDQUgcci859+E9Eeq37XBrh6tKKtwcqr7TQB57pzrXoupHla/Nkcv8YQx1UBY6J
pzxvfQR065oiCj/yKR4F0fLmajjvws6jGnGxMs5pF7pClblqBjx/2Qxn5GsCiCPP
nK+88O8krMR6dxzJGS83vAXQcQ9oUI7ooCUghRedQeXZBz3rdE32jyylx4KRA0hr
HhoNzxFAygvrp0PpQ3HlrEygk+4EselqUUQVEgy3CS6sSctMG93+74z8VtweRGYW
+uvcBh0QWdrFM5I4wdYJ9RID3FmZrqFLYWvujc4H6UNPHGD64vyWuoljGFITZl+a
JJ8BOu0AZoKjGQm020FBPySyswzOoOhvDl8Tb+ENoA3r8nl0duhgkC9oul8GD56t
krJCFvOHsUgXPTCuRJqsy3LrM6lSm24wBWV/q4Mpld3q4yByn1k=
=5bhS
-----END PGP SIGNATURE-----