Accepted why 2.36-5 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 27 Dec 2016 13:13:18 +0100
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.36-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy-coq - Why library for Coq
why - Software verification tool for C and Java
Changes:
why (2.36-5) unstable; urgency=medium
.
* debian/rules: set FRAMADIR
Checksums-Sha1:
9b2c523027a6dd5bcbb0817531ca3a028275010d 2264 why_2.36-5.dsc
a1ed033338ece6428d2d81a3b4d5db85b07facee 11560 why_2.36-5.debian.tar.xz
Checksums-Sha256:
02741d892a99f82d363e50b9b8ad40a4c97a530ff8793970dad92a5c38489764 2264 why_2.36-5.dsc
fb1b2c2e6013b1f2843b799b869619ee73367af1a891e0038a701e0cc0c9742d 11560 why_2.36-5.debian.tar.xz
Files:
e91040377c37be354c73b19293d0586f 2264 math optional why_2.36-5.dsc
0bcbfa6892f52e67f6b0c3d2dabf78a1 11560 math optional why_2.36-5.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlhiW2gACgkQdFxHZtTK
zf9OCg/+MTSFgZouNkgeq6zKBV8eGGF0/q3vqk7yhMvt+qGzCi7Hv0wWbKsIay5a
COjcZQq0no8WdpA32ab5Az+TTp75bBXnyYboZxMbh+vpG1vD7Hbyzy2GaNK7LUTD
XGnhN4wX/dfySnKlVYCh0kY8z+FA6fZqappabyHUgMx9O7H8dgJXz85Mcd7sJNWV
s5niwvxveAJ19cB8bHTAzFrwI9M8XfHwPzHdcMzHWzLGznY6RX5OQvHAhhDn8gcr
b/dVccR9Xc8tGLLK8VIUUuk7J3xKOaJcTWqKHOONgAMiIWodK82XUaqLMFGVwZaC
OsCdN5dfpLKONOoNuppySeCEnF175oK5wApfYr3xZv4sQa75fbvs47x11dXjDq6h
x4RAt1kXsVRLmnrTWyKzy3QxJF+94XUpXG5zsg7zGhzP8duo7n3sHI/5t3lDZlcd
qiUQKGMafxGlgW2KOgOiTpTisemAmOAQj2FiQemkaHLbq8aJotApvUgaSDmwj2HN
5enAqul0hk6T8EvidHXMVnuwr5rC5zCclgaehKSazzns2J0MWs/m8qIPlN+tuQIE
1hA6J0lUqaYFbswqDs5dSobPef5QcgDoznaZvoje37o21evZJVsVvs4IflI4f/vW
eRIVmICN+zXhXhzmhThb9KDYsfrU+Da7BMAYwTzckgfCefG2E3U=
=lYlk
-----END PGP SIGNATURE-----