-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 16 Apr 2011 00:47:04 +0200 Source: alt-ergo Binary: alt-ergo Architecture: source amd64 Version: 0.93-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Mehdi Dogguy <mehdi@debian.org> Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (0.93-2) unstable; urgency=low . * Add patch to fix FTBFS on bytecode architectures. - 0004-Add-rules-and-targets-for-gui.byte.patch Checksums-Sha1: 5d9da948f3e75afe84c5fb078600ef5e39d5bc06 1719 alt-ergo_0.93-2.dsc 48cab8b8c4804766ad844e163f082b7488d4ca22 11487 alt-ergo_0.93-2.diff.gz 2f9f92c09465261b7fecf02933f10358b99b9b5f 1889762 alt-ergo_0.93-2_amd64.deb Checksums-Sha256: c1f32e9dcb20af231e7ac02006459b9c30da2c96a34d3e8df21a9487926c5a50 1719 alt-ergo_0.93-2.dsc 2be812de9fbb3a54d4dad898e6b746b7bb319bf53683f1bae42039f2cfaf50aa 11487 alt-ergo_0.93-2.diff.gz e528936d2cb1bbd73c63a51c5633d91adbfc0a1a3bac4bfc28361564f5158b03 1889762 alt-ergo_0.93-2_amd64.deb Files: 9f945a365ccc9a25cba1dc3d7c5f60c6 1719 math optional alt-ergo_0.93-2.dsc 8fd15b44cf4da5bbaacf344657d58dd3 11487 math optional alt-ergo_0.93-2.diff.gz 7c1e091d5161c53eeae217b00185e89e 1889762 math optional alt-ergo_0.93-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQEcBAEBCAAGBQJNqM8xAAoJEDe1GR0FRlJokvQH/2P/xOuMuYTyKHB+DhaQtMDA ZwUY3XJElmWzcvw+ApZu5MrXkd/R56nQ+gW5Jy0uWRTYav6COn7MBToJ8H9YwSGv 9qINOCH2A/45gC4DY6kdVVxAj9Q/3fEt+o+wXVV9QjIV+A3/WeGLk8QVfy2NNsGZ LACvMypTT2wpZeNbImE2twuBh8Cf2KhfxtAsq5P1CMKQLxToKHrChLZDTyebZ2sr YQmjZuoC8iLi8vF3gDQGGDsbOHYfGsImTrCw0XorLZoBmeqBHUSA79vrESR1KA+7 0GQgwBQ7hTBbmF98gKon6lX2s8VUMFZ1QcZ3zAaVjFMd/gjem2SpLeHyy2dfquE= =CmVy -----END PGP SIGNATURE----- Accepted: alt-ergo_0.93-2.diff.gz to main/a/alt-ergo/alt-ergo_0.93-2.diff.gz alt-ergo_0.93-2.dsc to main/a/alt-ergo/alt-ergo_0.93-2.dsc alt-ergo_0.93-2_amd64.deb to main/a/alt-ergo/alt-ergo_0.93-2_amd64.deb