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