[ubuntu/lucid] alt-ergo 0.9-1build1 (Accepted)

[Ilya Barygin]

alt-ergo (0.9-1build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).

Date: Sun, 28 Feb 2010 20:02:36 +0300
Changed-By: Ilya Barygin <barygin at gmail.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/lucid/+source/alt-ergo/0.9-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 28 Feb 2010 20:02:36 +0300
Source: alt-ergo
Binary: alt-ergo
Architecture: source
Version: 0.9-1build1
Distribution: lucid
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Ilya Barygin <barygin at gmail.com>
Description: 
 alt-ergo   - Automatic theorem prover dedicated to program verification
Launchpad-Bugs-Fixed: 529408
Changes: 
 alt-ergo (0.9-1build1) lucid; urgency=low
 .
   * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
Checksums-Sha1: 
 f1728edae3e61602a04637d685da55dd89ebc85b 1635 alt-ergo_0.9-1build1.dsc
 130840444f2ed74c8f3f087a3cae500c494c1b4b 9973 alt-ergo_0.9-1build1.diff.gz
Checksums-Sha256: 
 36384749df8ac131005d683cb6638d14589862d6eac139d36c4c5b73751a925f 1635 alt-ergo_0.9-1build1.dsc
 9a4c30e3c626833f3f84996e496c206f57668d5a3e350651d266bc6f3650325b 9973 alt-ergo_0.9-1build1.diff.gz
Files: 
 d9a2e1abb59d0596f6a6d3847f1d8ab7 1635 math optional alt-ergo_0.9-1build1.dsc
 7c047edb3bf2be5f53f55f3105ec3ab9 9973 math optional alt-ergo_0.9-1build1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQEcBAEBAgAGBQJLiqGtAAoJEP+gcEe5E+JxT3gIAJRKpMumAoIuWyy6E5HjSbp7
DfhByabLs1+APmInjsfL8TtbkzzF4hBAFVdeOeuh+eJTzci9TBl15npjgExHX5pu
+mXRTQzCNiPCb3a70LKAopi1YWpH8iLMoHF/rPv8oPRHG+949ZvBYmEWQekX3L4s
AdCCk6ShqargNQDqRlsyXso3roeg65a9hTcKIRKqusV1nY+aBpdz7rJUrJwIgNVV
I8n6OhgplFO2+2WMfO3Ldu+yMgTYlxCTJMro945/jrongbgVuSKoi8+JCqUAh1hQ
Edqli+d/T0dkGy9f0kmVtQqm7U2FnPiWWz2jfFig1q76upzRKvTrigTUMQjj0As=
=vr17
-----END PGP SIGNATURE-----