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 <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> Signed-By: Michael Bienia <[email protected]> https://launchpad.net/ubuntu/karmic/+source/alt-ergo/0.8-1build1
-----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 <[email protected]> Changed-By: Michael Bienia <[email protected]> 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-----
-- Karmic-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/karmic-changes
