Accepted alt-ergo 0.93-1 (source amd64)
-----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