Accepted otter 3.3f-1.1 (source amd64)
-----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