Format: 1.8
Date: Sun, 08 Jan 2012 16:05:08 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: armel
Version: 0.2.pl2-4build1
Distribution: precise
Urgency: low
Maintainer: Ubuntu/armel Build Daemon <buildd@adoxaceae.buildd>
Changed-By: Andreas Moog <amoog@ubuntu.com>
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.pl2-4build1) precise; urgency=low
 .
   * Rebuild with new Coq.
Checksums-Sha1: 
 69c7671e083b4771aa66bf095b4e70b66c72906e 33040 libaac-tactics-ocaml_0.2.pl2-4build1_armel.deb
 f1a42f2bf7f7207ae8f03f7f634623193563f0e8 144946 libaac-tactics-ocaml-dev_0.2.pl2-4build1_armel.deb
Checksums-Sha256: 
 658300a03f011fe8bb872d0c5360910daa4473e8ed21da59e88eb88fb27c4d08 33040 libaac-tactics-ocaml_0.2.pl2-4build1_armel.deb
 8f07eed4045e59e2b149da503782377f3e58e6e12961ca254ab070b2b4eb93fd 144946 libaac-tactics-ocaml-dev_0.2.pl2-4build1_armel.deb
Files: 
 adab2ee6e1b012e91b2aa0d1fd555f32 33040 ocaml optional libaac-tactics-ocaml_0.2.pl2-4build1_armel.deb
 28e51b418577f452eec0ec0bb126b0aa 144946 ocaml optional libaac-tactics-ocaml-dev_0.2.pl2-4build1_armel.deb