Format: 1.8
Date: Wed, 01 Dec 2010 13:36:22 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source i386 all
Version: 0.2.1-1
Distribution: UNRELEASED
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
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.2.1-1) UNRELEASED; urgency=low
 .
   * New upstream release
     - remove patch (applied upstream)
Checksums-Sha1: 
 c0b0312b4bdd6e15f592d1555631d31ecd9a0cc2 1181 aac-tactics_0.2.1-1.dsc
 5ec61bfd7216f47938e97403a8ca45aa43031064 73997 aac-tactics_0.2.1.orig.tar.gz
 243d9421a1895f510ef5693c5c2785dce838a349 2452 aac-tactics_0.2.1-1.debian.tar.gz
 f16dd1b540b9f91b68a066005573f3024d0b6d79 124314 libaac-tactics-ocaml_0.2.1-1_i386.deb
 580208838c3da18c4b0a8507ec5cf8e2ac524bd5 131304 libaac-tactics-ocaml-dev_0.2.1-1_i386.deb
 a12f17887705e05ce09b6ea695b584faab048caf 310638 libaac-tactics-coq_0.2.1-1_all.deb
Checksums-Sha256: 
 4fc2285aee30fb8ee846808f413cf0e5b3e80f7b9131dc3dc5070b1953bc5d11 1181 aac-tactics_0.2.1-1.dsc
 c1dffe6e870e2737ae6964ace23d9d07e01bd921410d86323d1a34643ec0fe0a 73997 aac-tactics_0.2.1.orig.tar.gz
 c5808fd4068c555811f3e25103986e67b5703eaf632a7ac70884c99f52fcd8f6 2452 aac-tactics_0.2.1-1.debian.tar.gz
 e84988eca61f32e8f429e17121ba1cdd728b2f078ae56c656aba8c72d869ed5f 124314 libaac-tactics-ocaml_0.2.1-1_i386.deb
 fa82b1deae9dd70b960dcd7ff04d0329f76452b73ca049f2aab0ada995dd6f44 131304 libaac-tactics-ocaml-dev_0.2.1-1_i386.deb
 d485f0bf1bd3b2848827ca2a2b2007a57ec1886573858f9aebb4da8311f86fa6 310638 libaac-tactics-coq_0.2.1-1_all.deb
Files: 
 82d914c360e2a849c6a24a6bd8bc99af 1181 math optional aac-tactics_0.2.1-1.dsc
 134cb3962a861ac8caf338c8d58cf387 73997 math optional aac-tactics_0.2.1.orig.tar.gz
 0b6a59cad3a92fc07b76bb576ae8798a 2452 math optional aac-tactics_0.2.1-1.debian.tar.gz
 5b4ed827750a9092f75d9b4aadfdcb81 124314 ocaml optional libaac-tactics-ocaml_0.2.1-1_i386.deb
 4394e538f01bad76f642a67cda341d41 131304 ocaml optional libaac-tactics-ocaml-dev_0.2.1-1_i386.deb
 262ccf12b0d3ae6bbe8b67708b7f671f 310638 math optional libaac-tactics-coq_0.2.1-1_all.deb