Back to minisat+ PTS page

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-----