[ubuntu/saucy-proposed] why 2.30+dfsg-5build1 (Accepted)

[Colin Watson]

why (2.30+dfsg-5build1) saucy; urgency=low

  * Rebuild for new OCaml ABIs.

Date: Thu, 09 May 2013 15:11:24 +0100
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/saucy/+source/why/2.30+dfsg-5build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 09 May 2013 15:11:24 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source
Version: 2.30+dfsg-5build1
Distribution: saucy
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Description: 
 libwhy-coq - Why library for Coq
 why        - Software verification tool
 why-examples - Examples of programs certified with Why
Changes: 
 why (2.30+dfsg-5build1) saucy; urgency=low
 .
   * Rebuild for new OCaml ABIs.
Checksums-Sha1: 
 705186b0454ced546115abcde3870fbb8ef66734 2396 why_2.30+dfsg-5build1.dsc
 d843e94d20e2fd30f682719963318add2351c54e 11381 why_2.30+dfsg-5build1.debian.tar.gz
Checksums-Sha256: 
 35f8a4e940bbe1b4aa4bf4f14296d6ac7281574f3929c7c0351725df7bdad89d 2396 why_2.30+dfsg-5build1.dsc
 08621d2aa374c67bd4bda3fd77aad7693d9d6a3d1f08a7322ec8d295ebf1c37a 11381 why_2.30+dfsg-5build1.debian.tar.gz
Files: 
 d0520a21199a4e569d253e625c17666f 2396 math optional why_2.30+dfsg-5build1.dsc
 877f8e6d351eacebc36eb9588012f24e 11381 math optional why_2.30+dfsg-5build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Colin Watson <cjwatson at debian.org> -- Debian developer

iQIVAwUBUYuukjk1h9l9hlALAQggmg//dj3XbE4H3uPJ3Y3oljsR3GekcuA9II5p
DTeVRWRvvu47FllulTHPt73oq21qgaMq3XPwVUlw9a3qjnB7m9TFcCudalJlShqK
g8UWbxyS68jdQ/Q3klxL04YbyBN/3z9+nh4YzQ0QRefWLRwz0ZTF9oHepnt9iRW3
ZaQmSXav/ovyQK67XrZoWpCpmIzDNtKGbbP/gsvxmW6djaX9P0yz07MpFMDEi+xm
5LOwmJxEQyY/oX6y4Fq+m6xJpj/P0j5qYwAqBVIYgvLQkFrq16u/jSCpVFs5yfg7
TQ8NstyC2zzKJGRjXSu8PKbdJb6XMKaEaJnqfMwKDQm8EAW2LMhth4hytp6sU9ac
TrLnz5S+fEL5OYgxLVspIgzvwpXyq3Jz1PQDWmVbiekjgLnYIlaLoOUH7IgK6PgT
1x8t02u8L54/H93kllFiqw4mgLxzcLqRSTZNPG+E8iYdeCUrUdfYYPxPCyWhdpIz
dCC9sVZeYXeTmpGj6/C3FJNto8K1+ZFQM9BQGzp2se/a0zHezyS0Dh2R5WvXaMGf
FrGoUUENiXu+ko1X09HAR03RamIUDlYPDv7/CupCX/f6+W0r9CGe9BiXzx4i09yE
kUHGC/gs/t96iYNslficBJls+53jEijubTurEWX5duoZ67fxs+H5AIfsRwqHmzmT
eaQBTHvy0Xg=
=9wpA
-----END PGP SIGNATURE-----