-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 14 May 2012 14:11:48 +0200 Source: alt-ergo Binary: alt-ergo Architecture: source amd64 Version: 0.94-2 Distribution: unstable Urgency: high Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: alt-ergo - Automatic theorem prover dedicated to program verification Closes: 669539 Changes: alt-ergo (0.94-2) unstable; urgency=high . * Add autoconf to Build-Depends to resolve an FTBFS (Closes: #669539). * Setting urgency to "high" to fix the RC bug. Checksums-Sha1: 179168af7c373c00c25d60bf67503690d22240dd 1770 alt-ergo_0.94-2.dsc 00f14018208f4f83d2d6f674b2dddf0ac050cd24 13077 alt-ergo_0.94-2.diff.gz 27ea4077f95ec22dd71412d52460fcbbf42f3127 2444692 alt-ergo_0.94-2_amd64.deb Checksums-Sha256: 9e713b360cd1fcea0080c17edb7a0f5fedf9e4cf9d34284cdfa997cf5852e88a 1770 alt-ergo_0.94-2.dsc 03605d327d77a760740538933188899f8373db6c454a053cf04a27996a69a2f2 13077 alt-ergo_0.94-2.diff.gz c76a004dbe6f7a33ca14b8823b7c2ed622b8e4783afdaa050f2eac7bcbec63c8 2444692 alt-ergo_0.94-2_amd64.deb Files: bd336e7906352c33c183b2381b34e98e 1770 math optional alt-ergo_0.94-2.dsc 1f9f240a6aa97e4e47e7313aada922a9 13077 math optional alt-ergo_0.94-2.diff.gz fa91dae6b02d1449ad70e61c1fb19fdb 2444692 math optional alt-ergo_0.94-2_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQEcBAEBAgAGBQJPsPmUAAoJEDe1GR0FRlJoG48H/2mxNsxeUwcZ1t2rfemQMSSy +hU1Dfn3ZkZdVfN8/JytfOhrul3UodPYjcb49i4VI9abXNjNRktAxyvSjo5al/6A kLOgS7vHc8HUfTBppDXLQg0stYiqjZnhYi+SA9H6trlVbVkzLUu3AXd/GsCYS1wq q1wxCVmLlJM5QkEwENOJcUeOsQKuobng9Rz2ONzT+DaeT+S/5q/C9zvM8ZR1iBDu k1sTRPxkEM5upSGBCenrJC/a1JnWdG71vnasOFSwlm00Q3Nu6f7WW60SS9Ccpytr 6m/v7AlzscVM6WVulYIJzTdr5/OkgEQZ/3FB4mEhN6gR2In0n+UhJ2sN6y6FuEI= =1jdo -----END PGP SIGNATURE----- Accepted: alt-ergo_0.94-2.diff.gz to main/a/alt-ergo/alt-ergo_0.94-2.diff.gz alt-ergo_0.94-2.dsc to main/a/alt-ergo/alt-ergo_0.94-2.dsc alt-ergo_0.94-2_amd64.deb to main/a/alt-ergo/alt-ergo_0.94-2_amd64.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1sturg-0002t7...@franck.debian.org