Format: 1.8
Date: Tue, 11 Oct 2011 19:12:10 +0200
Source: otter
Binary: otter mace2 formed
Architecture: arm64
Version: 3.3f-1.1
Distribution: yakkety
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@magic.buildd>
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:
 c63825757605f39a68653ad8646f21e624a71053 123308 formed_3.3f-1.1_arm64.deb
 cc39e8a5f516e03dd9f075445b945f304027e02f 336090 mace2_3.3f-1.1_arm64.deb
 a26cc7c607b117d3ea4b5d491b505df77afadfb4 692292 otter_3.3f-1.1_arm64.deb
Checksums-Sha256:
 d16cb7789cf6a7a724bbd26184edf4380d5a27ef7f139b21a54274ebf8f74da3 123308 formed_3.3f-1.1_arm64.deb
 ad7315442aa95a81044408ca1dd81d799529f8df11f95b8b65861c6c0d17fb92 336090 mace2_3.3f-1.1_arm64.deb
 ff3f0691923047aaeec95970315e2bf1937b21d475474ae74e5d30f311d187bc 692292 otter_3.3f-1.1_arm64.deb
Files:
 da4606ea1ae626ed8db7aabb761e8467 123308 math optional formed_3.3f-1.1_arm64.deb
 e98ac0f824286078dd05cfc0cc27897b 336090 math optional mace2_3.3f-1.1_arm64.deb
 9604ffb2235143b4382251374522f7bb 692292 math optional otter_3.3f-1.1_arm64.deb