-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 15 Apr 2011 23:31:11 +0200 Source: alt-ergo Binary: alt-ergo Architecture: source amd64 Version: 0.93-1 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-1) unstable; urgency=low . * New upstream release. * Update copyright file. * Add liblablgtk2-gnome-ocaml-dev and liblablgtksourceview2-ocaml-dev to Build-Depends (needed by altgr-ergo). Checksums-Sha1: 79463c7a07206494927d5221f8910d1272f441f7 1719 alt-ergo_0.93-1.dsc b1ac27fab7812590e5e2fd3ee5d795b599429577 178783 alt-ergo_0.93.orig.tar.gz 8771381e60dfa6836bce2d121f9f80783a5f692e 10957 alt-ergo_0.93-1.diff.gz 4b7e125726b1ceffe12318ce28602f0a93d61c65 1889608 alt-ergo_0.93-1_amd64.deb Checksums-Sha256: 58c72966b59dd7ab343ce9bf5235a2c257b73596952acc03e45fb061c62c1612 1719 alt-ergo_0.93-1.dsc 2c457a6d6bed82ae8219d33e7988e3196da74420d96efa15c4eeddffd6130d80 178783 alt-ergo_0.93.orig.tar.gz beb94b0ea38d824188775cd2cebaa0b35593941d152fb7b19e1a920fc6624a88 10957 alt-ergo_0.93-1.diff.gz ce6bf7bc31d1d24543a90e97b91dcc1668ee6ea7a7f2a79bb5cf4dab7626b3c7 1889608 alt-ergo_0.93-1_amd64.deb Files: 5d3b15f3133afd4d69d43eb10d7a9c4e 1719 math optional alt-ergo_0.93-1.dsc b58fdf53faf4c7b294a38c64176be2f3 178783 math optional alt-ergo_0.93.orig.tar.gz 11224921119e73a7e91cd823eee3b4b0 10957 math optional alt-ergo_0.93-1.diff.gz 3305b410430dff54d1a210c11cd70169 1889608 math optional alt-ergo_0.93-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQEcBAEBCAAGBQJNqLv4AAoJEDe1GR0FRlJoGQQH/Rlf3n+waI2lyvyUftitSDsb 54Zk2TVVOybts7jrAyzdl+5w7aRg+mxES4kim4yszI829VEMdqPW15W5nCJChLjl Qki0BUFm5D/fbdkn3j1AQoe9IqDYdN447fkASFn+DXlPTyg46zvgdK05wIyftCQv 1RtuwC3tyV16yLu+RRaZ9/Xtq+RxQGMwRIKBd6zsqdaiKF/zS+L/FFGQzY4aEnJb ZIHd6gyknRQXlfjjfCP7YrnpuHVPzH51aezUWH1LcvCGtldBEynDgPU3dTp0gNo7 np8HlnDwdW7V0bZ3wrlRWbclqV7BlFTOoR59DSwpEPNhOzBilVFl+tH55SGzSvM= =n0Na -----END PGP SIGNATURE----- Accepted: alt-ergo_0.93-1.diff.gz to main/a/alt-ergo/alt-ergo_0.93-1.diff.gz alt-ergo_0.93-1.dsc to main/a/alt-ergo/alt-ergo_0.93-1.dsc alt-ergo_0.93-1_amd64.deb to main/a/alt-ergo/alt-ergo_0.93-1_amd64.deb alt-ergo_0.93.orig.tar.gz to main/a/alt-ergo/alt-ergo_0.93.orig.tar.gz