[ubuntu/precise] why 2.29+dfsg-4build1 (Accepted)

[Colin Watson]

why (2.29+dfsg-4build1) precise; urgency=low

  * Rebuild for OCaml 3.12.1.

Date: Sat, 19 Nov 2011 18:41:44 +0000
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/precise/+source/why/2.29+dfsg-4build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 19 Nov 2011 18:41:44 +0000
Source: why
Binary: why why-examples libwhy-coq
Architecture: source
Version: 2.29+dfsg-4build1
Distribution: precise
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        - A software verification tool
 why-examples - Examples of programs certified with Why
Changes: 
 why (2.29+dfsg-4build1) precise; urgency=low
 .
   * Rebuild for OCaml 3.12.1.
Checksums-Sha1: 
 a72162d85fbbd2fb14ab997d24b9c563ff4af5d1 2377 why_2.29+dfsg-4build1.dsc
 a308102106366611d81f12aaa374c7e21d2a4061 9461 why_2.29+dfsg-4build1.debian.tar.gz
Checksums-Sha256: 
 73ce8ad1daecbcbb46a24c080e252b4a530725c7bfcb55b9c128b7ad0fc2c756 2377 why_2.29+dfsg-4build1.dsc
 d9db83bf5e7aa32aa55502bfc9513c1a9197736519cdbfd91865310d002b662c 9461 why_2.29+dfsg-4build1.debian.tar.gz
Files: 
 255d153c3745b655cdb71bf47458213e 2377 math optional why_2.29+dfsg-4build1.dsc
 5514400a7139c5294fbbeb5491df0d4e 9461 math optional why_2.29+dfsg-4build1.debian.tar.gz

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

iQIVAwUBTsf4cTk1h9l9hlALAQjUxhAAl/B0WtgZsRZO+bdKNzIpz4XRzLwcIx4Z
xHFgaU1+jT+juOGOcm0zDyfrEvAZQq1RLd4wNoXrMv2m9tskXWjUyGS74/CFZW4Y
4ZrY0GL/DGuvM7Jm1EkEn9UG8iXP5sAtw+DA0AcDiLPrZOo2HgxWN3EZU7VH+OH8
JBBuq7itmp4OtK4vBIp8cvtM2W3SZLJWDi/2DLdr9kQRSEZJZKYR09ccyspp5c+4
15zR4FANj1xcLu6/HZGkJowdMNTkjJ+6ssWx3RxkEIEy/HjoLGvP/+2NXv6ysFFb
tyHIz4J95B4IIzMk0vZIC2oPYnAssWh0xr1jlZ2UMwo7SEylkXS5SdkQ41H+D7Ga
G/eI2KbrWJZMM4Mn2GmusmQDs7+UZxjDAM98zhnA/mmAMjoUqmznQyVIi8J7hjTT
h7hv+TuOxw5yO6vtcHlIsCIHIa0UT6Ff8r/9l8ZS4TpZC7dPKpYuK3i3HuX7dnUM
Puw+KQIMzLEI10rDbcYQImfm/73BnmNcwNhD755FFkkrEnz2T+b0OBFP9PHoYbME
p+HSa0GxduvGKrrr/xbOqN+yy3ETcjtfUpM2zISiG/8GXUZzcOeCWaUY0WJSYnNj
rxFueg10r5HTXO/VzWfg1s7oTs9iX8udQtt7l+H1jkyuETErX2bAK3RE76On1v4B
RNFttUHaZ9M=
=0gSp
-----END PGP SIGNATURE-----