Accepted alt-ergo 0.95.2-1b1 (source)

Jon Severinsson jon at severinsson.net
Sat Feb 1 17:17:03 EST 2014


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 01 Feb 2014 18:00:00 +0100
Source: alt-ergo
Binary: alt-ergo libalt-ergo-ocaml-dev
Architecture: source
Version: 0.95.2-1b1
Distribution: staging
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jon Severinsson <jon at severinsson.net>
Description: 
 alt-ergo   - Automatic theorem prover dedicated to program verification
 libalt-ergo-ocaml-dev - Theorem prover dedicated to program verification - libraries
Changes: 
 alt-ergo (0.95.2-1b1) staging; urgency=low
 .
   * No-change rebuild against updated ocaml libraries.
Checksums-Sha1: 
 1dd13b8c0bc508d2e4217eb4fb54ab3f266a8005 2242 alt-ergo_0.95.2-1b1.dsc
 6555c40ba9d5690e98093c1ed2b53090e6f35ef2 233778 alt-ergo_0.95.2.orig.tar.gz
 92aefeeaf083a30abc680bcf3979d7ce3920268f 12107 alt-ergo_0.95.2-1b1.debian.tar.gz
Checksums-Sha256: 
 b1364c00714fd1b40866cdb5de3c080cc64edef74137cd596bc547408ccb18a6 2242 alt-ergo_0.95.2-1b1.dsc
 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac 233778 alt-ergo_0.95.2.orig.tar.gz
 88bba73fe8edf9efafdb9ff9947a9af191b2c7714476e3c70bacfaa5f69b54ec 12107 alt-ergo_0.95.2-1b1.debian.tar.gz
Files: 
 8224713162800af2049bfd46ac9ea08d 2242 math optional alt-ergo_0.95.2-1b1.dsc
 ab9c160f7ecb26aa2479f9169db9b869 233778 math optional alt-ergo_0.95.2.orig.tar.gz
 ed56fce8b95e840ff9c8a9aadbd87b2a 12107 math optional alt-ergo_0.95.2-1b1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJS7W4AAAoJEIxPDyvAFXjJcFQP/1S21cLXRFfqpiBotE+2/JZL
GUc37ydQpBzJ3+lZxKigIdP/jL7rXMqK4kGoKYvo5gOqg/HE2efO67+lzB+Q61bj
c+QbsrzTm+xQkBbVo+420xcea7Drsiu5aVVfstv6kE0KbHHZJ3AF/LMPe0tezRdx
4HdIDJ0Aa25moMdiqBpySQ8BHrG6R1AEp8QmKRdE2Rgu0NYajgzR/MeGO4NmHxjr
ucYJ0T3d3+ZS6zRWAS5fgSIH/Qtv6++Ex4hsLOwJ1B/gePYW0CGLm5A4yS48XIfz
C7rBuEBMxsiUD7AVKYR4JWDjb5v+Pyg3nssuAHkZrsPbW7RhDjgHgOly2cwya1m1
7fLoqdXJRRIMRwAqClQo9bl8mW5uQnWgiRY6+zMLwrktmAXvkBcFsRJgggzwba4F
JYhcH2teu7SL7XImfxSVd2ye7P0Db5JbKloh+CrmGiy9GWgyeK9w5Tc+oiDfc1hg
6DAELAV4lrlgm2+2WqHLZBOzbbgKJrT3thzjG5BXdEzETTXH8tJ9w+PBFxauFxwv
5wYHndGPs3qP85RjDw1AgV4p3NUXINORbTZL6eNe0P9gr6M/Y/wh6ONZKNQmm4ab
h5ylWM5kTayI0fcHwGAfYYyjTT5FZ1pJXwo9TVHeC7krYviClHsm54himUKxKy6G
W1wuSGC81RWn3VkxSB1r
=ZZem
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list