Format: 1.8
Date: Thu, 05 Dec 2013 07:56:39 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: arm64
Version: 0.4-1
Distribution: trusty-proposed
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@magic.buildd>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description: 
 libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories)
 libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin)
 libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files)
Changes: 
 aac-tactics (0.4-1) unstable; urgency=low
 .
   * New upstream release
Checksums-Sha1: 
 0f0177502273c11cf933a889377d0fbe5a42f52d 27220 libaac-tactics-ocaml_0.4-1_arm64.deb
 c4550643bb92ada019ade49005f8c8e20e648b4c 42514 libaac-tactics-ocaml-dev_0.4-1_arm64.deb
Checksums-Sha256: 
 a98dfce25c688103d2735c4ec578a82a3ee01f566c82e7b44d11ba556984edcc 27220 libaac-tactics-ocaml_0.4-1_arm64.deb
 5e02781fcf2d21c7bb6ad06fdd94fb0cbd6e26ecd4f864ae8e654a8aa43b02a7 42514 libaac-tactics-ocaml-dev_0.4-1_arm64.deb
Files: 
 6163ae18c9f0f0f82a2430e1a058bce5 27220 ocaml optional libaac-tactics-ocaml_0.4-1_arm64.deb
 a4371d9d9af2b2b9446af31c675a7ba2 42514 ocaml optional libaac-tactics-ocaml-dev_0.4-1_arm64.deb