Accepted mona 1.4-15-1.1 (source amd64) into unstable
-----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-maintainers@lists.alioth.debian.org>
Changed-By: Matthias Klose <doko@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-----