-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 11 Oct 2011 19:12:10 +0200 Source: otter Binary: otter mace2 formed Architecture: source amd64 Version: 3.3f-1.1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk> Changed-By: Bart Martens <bartm@debian.org> Description: formed - formula editor for first-order logic formulae mace2 - program that searches for finite models of first-order statements otter - resolution-style theorem prover Closes: 555879 Changes: otter (3.3f-1.1) unstable; urgency=low . * Non-maintainer upload. * source/formed/Makefile: Added -lX11 -lXt. Closes: #555879. * Fixed debhelper-but-no-misc-depends. * Fixed debian-rules-ignores-make-clean-error. Checksums-Sha1: 89a6be284d373d7b446d18d551a671335c0dac9a 1703 otter_3.3f-1.1.dsc 591feb6ca422f932b67e073058fed8a798611d5a 7248 otter_3.3f-1.1.diff.gz af55b7f320ec75d31cb9b939e5c801d21fa21ef6 785362 otter_3.3f-1.1_amd64.deb 938ce4d51df16402394d17099c2dee40c0ecb0ef 563846 mace2_3.3f-1.1_amd64.deb d97c65a90057d27c983883af9a1e96d7791d04b7 185652 formed_3.3f-1.1_amd64.deb Checksums-Sha256: 2e4130efb6c5dce04b3c21c79b4a673dedfea43feffb04c5ed9eea3314af33fb 1703 otter_3.3f-1.1.dsc 1ececab9c99a5356183bba32d6f8f22c21a5e1366ed0cff032bc830515c31478 7248 otter_3.3f-1.1.diff.gz e93557cc2bf8e895f483e3585776cca13c510b393c4f2ed8cba1d1dd8f8f18f1 785362 otter_3.3f-1.1_amd64.deb 4fb69d996665006ab2f4496ea11e8785019a2290c0801476472431981079adfd 563846 mace2_3.3f-1.1_amd64.deb e72481f0973f943ecfcd3dc1e5ff5094d4743127569a6a9d763cccd8b3106ecd 185652 formed_3.3f-1.1_amd64.deb Files: 42be2fcd39cb7b7291e4320fa9bae862 1703 math optional otter_3.3f-1.1.dsc ee42d1cd2f6d1a8bcde108c955d58582 7248 math optional otter_3.3f-1.1.diff.gz 2dbebfc4172b694a7ab3cd1b9f814f0c 785362 math optional otter_3.3f-1.1_amd64.deb 88b8afb30c1046ad1c1d7d53b88ecc2d 563846 math optional mace2_3.3f-1.1_amd64.deb 5b0746941911d3cbc6ff66d259547bff 185652 math optional formed_3.3f-1.1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCAAGBQJOlH3zAAoJEDNV9NY7WCHMnt4QAISi/fSY1f2LeSWxaLDUH0uI hIy7Brd8dDNvzOEs7M8mDmDCqza6OitmNixqo5lxCNarZ24W8y52hsY/rIBGBngR gPvp5p752VEryvs4oUaJyePeMZbUA9v+JmPuhxTMxqsog0BvSsF75DFtQpIlJPXW wfBZbrttF3UhIwOo6wQ1mERvyaFH7J2j706rzQ2OmqD7C4GDsQSyCIvXg0OdcRU+ U/HnwTo96fHl6QdwwDRIKYmcjfZ/EyGN/v9eTPkza6629rGFjbFmI9rlUsuOm3Eg icDDwfqKjELj5RS4/qw+LOnE0uHU5PyjE6KyLHrH6STMPx1aAm3/j/OAwdzrN558 h8qis/zzN8h2UOXEsJOioPcUwjBF9d4P7mGAGzyT+iRLC7COPVyAifjmMKI3PjLh PQ+43MTtnQtLl419OMJ9LQeX5TSuVyqObI2fWSgNB8ChZNrcy7sne2b0VIVIcRmV QdjYK0QqH5NGxYFYtjfdIdzHrDSLA6wDhCD0zbHP36JVhkxWLQVeQOCeYeTgfjVn sMEfkXxJcAQwlvDSC0QkyHlt0ePylMDRTRlH4ccN00xiFFJHDdU/+JxebV5gRLFT TfLuyf4ORGdDCAKvKKHHhL3QX3oFyduwwcYcxXK3BNWRbHVkHoO0Ey3H9K2EsZXa WGj1WYxX8U5x50IZ0Hxx =g4H/ -----END PGP SIGNATURE----- Accepted: formed_3.3f-1.1_amd64.deb to main/o/otter/formed_3.3f-1.1_amd64.deb mace2_3.3f-1.1_amd64.deb to main/o/otter/mace2_3.3f-1.1_amd64.deb otter_3.3f-1.1.diff.gz to main/o/otter/otter_3.3f-1.1.diff.gz otter_3.3f-1.1.dsc to main/o/otter/otter_3.3f-1.1.dsc otter_3.3f-1.1_amd64.deb to main/o/otter/otter_3.3f-1.1_amd64.deb
