Accepted why 2.36-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 12 Oct 2016 21:33:30 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.36-2
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-2) unstable; urgency=medium
.
* dh invocation: use --no-parallel to fix FTBFS issues
* jessie manpage: fix synopsis
Checksums-Sha1:
d901cf9974add6d4ef3c524e9ee53c8e0e74b19b 2305 why_2.36-2.dsc
3aeef8ae3f2ab6a36e267272c2d5aebf643a6a2a 11320 why_2.36-2.debian.tar.xz
Checksums-Sha256:
5f6d1492001ca6d1a0d72599c17f00af0dddb9a2eabb92d96caebd858688a617 2305 why_2.36-2.dsc
fd6c6be5ba5a8e841c524f4857f755d0d35daf0360ae736e1b64b9da6e592078 11320 why_2.36-2.debian.tar.xz
Files:
f1c9a1682c1b3dcd356d498c75f6ddba 2305 math optional why_2.36-2.dsc
a2477f911021bd93f0c8f91cd7331ec9 11320 math optional why_2.36-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJX/pDCAAoJEHRcR2bUys3/Ks4QAKpL5JTfl6rU7BH+2H9fTmBD
HPsuGgDZUdD1YRirg2JBTCD/Jk9MqruMUBzDvzoqRoaqLBvHj7bRZlxedsie4U6v
V8sgRTHdYKyPpfkkgXpo+w48mtGBQU83HaflCqc5VCgLx16bLgijAr3ERJwC06xO
gzDEc2XRfZOgD81xXOJ6Lf0YQUTFEdnyTvcQwm29aloFmqwsApxXS30UupulLPlQ
1cQjgP7JylrmoGKjp7Waj+fTxvXps+8vhQeEEBYktwcu6NucCr3LOwZ/Ymvslc6G
12HA3CHGJZvGYjZ1iqI7KsVuvqIe1bxeZSfc2kUDXKTmTKg/8MnQwWJ++iDXAuTb
PA8KNfdM09iPX4PZoNMKbVpYi/m+qlxxJOWBW5OkeA7Jxrc+DHVNKXMJJNS9OpzG
mfbYENx5G+9zme9KCkN5JDA+lzKXlwB0LwHJxPhTIf8kSNz+SC5yu/f55XdSvd8a
PmSLucPaPak1GncbgMq31hbeP4aqM9iZZotT5drcONFgHuuSNvMWNy1mSVpb5Zvd
DKflsVR+T/uCRLpsrbawNDkStHeAkuNk/akoQUHZcoyTS4nt9BhVR5OlwSOMwFRO
WsxtcSCSP1Jl4FTykEClcHkJUUIamskLmYEFrLhIlxy7bbHRz6tKOJVjVlBi5ugR
PvpBN9d5fhOhH3vffJmF
=FumH
-----END PGP SIGNATURE-----