-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 08 Jul 2015 15:57:00 +0200 Source: mona Binary: mona Architecture: source amd64 Version: 1.4-15-1.1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintain...@lists.alioth.debian.org> Changed-By: Matthias Klose <d...@debian.org> Description: mona - theorem prover based on automata Closes: 778011 Changes: mona (1.4-15-1.1) unstable; urgency=medium . * Non-maintainer upload. * Build with -fgnu89-inline. Closes: #778011. Checksums-Sha1: 789cfdf1e241f2a457cd1853b4317fd811d05d3b 1962 mona_1.4-15-1.1.dsc c47224eb9ae653e6506ffd335a38ad469892fc47 6252 mona_1.4-15-1.1.debian.tar.xz 9320ea1685fa4aa7df81bd661606e99981e80737 399562 mona_1.4-15-1.1_amd64.deb Checksums-Sha256: faf330af3a075625df61e83038fece2137300d3edcd03709e4fd7fe09d86a9f7 1962 mona_1.4-15-1.1.dsc ac5c046e2b84e8e2d7704617deb1ff47d4c8bd98472fa778ea0d9c7c8d36a816 6252 mona_1.4-15-1.1.debian.tar.xz f9fbe68861516298b2c831ef69f749d2bb61a6345869b7399cb9c78b947bbb9b 399562 mona_1.4-15-1.1_amd64.deb Files: 8da93d1100d5ab95f30fd6219864368f 1962 science extra mona_1.4-15-1.1.dsc dd0881defcb0b8bd46e19bdcac5de29c 6252 science extra mona_1.4-15-1.1.debian.tar.xz 432f9677e0da3dd99ae3b4266e1814ff 399562 science extra mona_1.4-15-1.1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVnS0tAAoJEL1+qmB3j6b10EQP/35tJWQx4iuhCx2D+7Hv1Hvd 9cNw9+UMZU7jOPOfy4HkMuTxc5CGnnnpzHj/iXE3tD+erbqgAPxx3z+LD7XVVThL g0XY0iTliCzgfATNuPHjKnHxFNnNO0h1xDRPTrJUNeTf+R09qlabR/SbZ5Y7jD59 LtgCQYAFdDEQ0OoZx7VcfrSDzt9cHDWgLcx/n5u39fIx0wLloEUD2E7MmO1tyqXh Bm0UDXmbClie8CwAiYnBODwEt634u7laPb+o6krUHLuVn+c0bH4qoaaNjUgdp9GB ZajBgI8Apw2f4Zd3bxW+89q8/5hfcGmwhXyLLIWgHHHGiURlDZ0Ecwmr3LKoOylb oACj93hF1woCk6977EDOIuFeXoOptBK9qEXdjhMi1rI55cCxASfg9kJcjF3ckH9L CwbU8q6UjtvFvYj0oIpRM695aopmoZ/aTJUuHDDIjJs1hGcP2jq1N64AJx/u3Ih0 qQ9LqvmPan8ULQwp5XqKhgvt9QhjTFaSISYlN/B7IJNpJb4LMqB4WaLAGe6ZXevy +NjCt6eS+ZhrNsJUVTHPUI0XMT6xX8AV60zmDsFHzssx0u8O96CAJqVHDcGvD+x4 oi9wj+HtZsOeRd+ZtQHiiniQpmjgSuGZZdXaWXKd0O5Xt7lrkauTgxNBxHFiM4tO wwDuIYkU8bj91XweqeVv =xdcB -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/e1zcrtv-0004f0...@franck.debian.org
