[ubuntu/karmic] alt-ergo 0.8-1build1 (Accepted)

[Michael Bienia]

alt-ergo (0.8-1build1) karmic; urgency=low

  * Rebuild with OCaml 3.11.1 on armel (lp: #421084)

Date: Tue, 01 Sep 2009 09:44:02 +0200
Changed-By: Michael Bienia <geser at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Michael Bienia <michael at bienia.de>
https://launchpad.net/ubuntu/karmic/+source/alt-ergo/0.8-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160

Format: 1.8
Date: Tue, 01 Sep 2009 09:44:02 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: source
Version: 0.8-1build1
Distribution: karmic
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Michael Bienia <geser at ubuntu.com>
Description: 
 alt-ergo   - Automatic theorem prover dedicated to program verification
Changes: 
 alt-ergo (0.8-1build1) karmic; urgency=low
 .
   * Rebuild with OCaml 3.11.1 on armel (lp: #421084)
Checksums-Sha1: 
 dfe2cfd51ce84d32b5e439a2d6429fcc59fb8dd7 1466 alt-ergo_0.8-1build1.dsc
 7061fc57859960114a4a4b8824ab5274ab35d990 9897 alt-ergo_0.8-1build1.diff.gz
Checksums-Sha256: 
 87d3454b6a93536c68b219cc4c53c22a774f160c356cac4d4fd206458f6e34c7 1466 alt-ergo_0.8-1build1.dsc
 944e9e91293fcc92e5b167ab96574c739566ce58c6411c00a4df6a1b081471c0 9897 alt-ergo_0.8-1build1.diff.gz
Files: 
 037ae61e73f203571cd5be5cd54bf1da 1466 math optional alt-ergo_0.8-1build1.dsc
 8366b545e5ecab45cedc3a09d8770b48 9897 math optional alt-ergo_0.8-1build1.diff.gz
Launchpad-Bugs-Fixed: 421084

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.12 (GNU/Linux)

iJwEAQEDAAYFAkqc0UQACgkQo8/XfXduguqcewP+M5o6J6egBt9Tr1QSaFqTdWA4
acJ3JkOLyaas8nTC+Mx5EWHHDnVZ+oM/OIetQjCbpZFOt+2wAwarxO8qa5aS+Rxp
j/Kh0fzPLPFLVgAxLDPg4S/1cfVcwjaLcB9VeIjS2U6flg/6Y4G8INgZsFpwITlJ
SEHwAKKITIqEKG7x9+Q=
=oQ3z
-----END PGP SIGNATURE-----