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 amd64 all
Version: 0.2.1-1~5
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~5) UNRELEASED; urgency=low
 .
   * New upstream release
     - remove patch (applied upstream)
Checksums-Sha1: 
 e516186e711a29dfbd508d3d53537e89754066e5 1189 aac-tactics_0.2.1-1~5.dsc
 5ec61bfd7216f47938e97403a8ca45aa43031064 73997 aac-tactics_0.2.1.orig.tar.gz
 9a49eec53767c845a4ce0c66513735fdd20da678 2455 aac-tactics_0.2.1-1~5.debian.tar.gz
 3271ac1687b40caadd878c194bb02cfb96db7bbc 142034 libaac-tactics-ocaml_0.2.1-1~5_amd64.deb
 e7b97121954cb904585f89dd4995a51baeafb7c9 129516 libaac-tactics-ocaml-dev_0.2.1-1~5_amd64.deb
 80bafe050131a98371b171c0329174404e42747e 310812 libaac-tactics-coq_0.2.1-1~5_all.deb
Checksums-Sha256: 
 c16ce3dcc11d9c68098a160b8affdab835bc258617bdd94bd81b60f1cbb7bddd 1189 aac-tactics_0.2.1-1~5.dsc
 c1dffe6e870e2737ae6964ace23d9d07e01bd921410d86323d1a34643ec0fe0a 73997 aac-tactics_0.2.1.orig.tar.gz
 d19c3b6bad90b15538dd951746732db73c68e20b20fdbb650ff36f823fd81a3b 2455 aac-tactics_0.2.1-1~5.debian.tar.gz
 067ca6f3928b0238eb04078c438dbbabd4183e7ee2cadb9a937aea591dd59a90 142034 libaac-tactics-ocaml_0.2.1-1~5_amd64.deb
 5972b5a262375155e09d4d8766ee8ab76f0383a5bb0158d42540002e3e7ec7ec 129516 libaac-tactics-ocaml-dev_0.2.1-1~5_amd64.deb
 1bbac3faa5d1e9a5e31b0358419a0f07c9589ed6de745115f276b5f92879afee 310812 libaac-tactics-coq_0.2.1-1~5_all.deb
Files: 
 a9f8637e879a7cb8f0e347c13f58aea7 1189 math optional aac-tactics_0.2.1-1~5.dsc
 134cb3962a861ac8caf338c8d58cf387 73997 math optional aac-tactics_0.2.1.orig.tar.gz
 9d30ae915db600645d4ef6d4b9e0aa31 2455 math optional aac-tactics_0.2.1-1~5.debian.tar.gz
 e075e4178de7f1d60230289d5600f874 142034 ocaml optional libaac-tactics-ocaml_0.2.1-1~5_amd64.deb
 eb3e878d771b659be73bdf1b66deba46 129516 ocaml optional libaac-tactics-ocaml-dev_0.2.1-1~5_amd64.deb
 fe0db598e21e7325ed4c2df8f09ce968 310812 math optional libaac-tactics-coq_0.2.1-1~5_all.deb