-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 09 May 2013 13:26:38 +0200 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source amd64 all Version: 0.3.pl1-1 Distribution: unstable 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.3.pl1-1) unstable; urgency=low . * New upstream release * Use format version 1.0 in debian/copyright * Bump Standards-Version to 3.9.4 * Upload to unstable Checksums-Sha1: 0d3bd29f933b3b8559c6b0376ff548ee1917c876 2225 aac-tactics_0.3.pl1-1.dsc 8dfd4ef0c55c40dd52ecf37087e82d51672761ea 74167 aac-tactics_0.3.pl1.orig.tar.gz 208b6b3ac633e39b80d33683087b83f10ff32235 3034 aac-tactics_0.3.pl1-1.debian.tar.gz e086d4a0bce8858b0d3eb0f7989f2947aef2dc7f 142678 libaac-tactics-ocaml_0.3.pl1-1_amd64.deb 0cda10c9802c7469bfab66723c1fb404085cd5e4 61380 libaac-tactics-ocaml-dev_0.3.pl1-1_amd64.deb 52660ac69871fa80d4397fec69ea0f234f140759 296238 libaac-tactics-coq_0.3.pl1-1_all.deb Checksums-Sha256: 7bbbbb8a52291a7beefe204d8b9491e1b1e8d0cb11bfd812c56a50ef8cdc60f9 2225 aac-tactics_0.3.pl1-1.dsc 13e36c59ad7cbcfc90aa132fc073767ecf22cc2801250f42f98341da3723eeb0 74167 aac-tactics_0.3.pl1.orig.tar.gz 991f4ab9287c93b0f7abe44b48ead10d53e4f55a1428f152d443d40b60d05bc4 3034 aac-tactics_0.3.pl1-1.debian.tar.gz 32d9dccf4eba98d51b5931b8f54cbd67d724c9e4ba7c62ab43caa682edb0273e 142678 libaac-tactics-ocaml_0.3.pl1-1_amd64.deb 84e4f5db3e706fe5b4f3b7d212c6b87b01c5c347ec4e36eb9f411a064c1ceca4 61380 libaac-tactics-ocaml-dev_0.3.pl1-1_amd64.deb 98e580872ded90185ce0d5e5d4f3cd96d65a0a7d6f97f22cbddab703edcc4666 296238 libaac-tactics-coq_0.3.pl1-1_all.deb Files: 229ef92bc1e7ea77ae1278b643039362 2225 math optional aac-tactics_0.3.pl1-1.dsc 9939416b8bbc36fb2def27539bca3244 74167 math optional aac-tactics_0.3.pl1.orig.tar.gz 72d36c48c9ccf9fb6f5b88f1f000f4b4 3034 math optional aac-tactics_0.3.pl1-1.debian.tar.gz 9c7fca877871acb54410b7d7fea7759c 142678 ocaml optional libaac-tactics-ocaml_0.3.pl1-1_amd64.deb cd963be41627e8dca0aa258a0bcef1e2 61380 ocaml optional libaac-tactics-ocaml-dev_0.3.pl1-1_amd64.deb 073ec029215fc3130775d03b33efeeb1 296238 math optional libaac-tactics-coq_0.3.pl1-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRi4kMAAoJEHhT2k1JiBrTFVIP/1dEA10CuDe12fOV7Cp+ZmfD hxfAIF1rlM6PJ7ijfOXwRvtaVsv/1zG26PREWkcY34RFGNWSstPiUIeJ2UEUJKib 0FjwJB6RYqh+lH/pK0im/G5LBslDUPea50idpXIP979XvgSfI0LPeKmL2QSTHCwQ pSnOKOMXZzX9EbS36r/I6sEnWV4nCgQQfKmWH5BqfCM6ng8rpPb7roie08uFuJQg optXQp8EOakgw1pquJzuJHE/QKht2Nghk+FwkR5Y0YSzYPajerNwZt5uyDVp8om4 HErDdFqgaBjNyF9P6rjRFztV+H0x6QQoaDGoqHeqShMMX4WthOVPCj3FUK4XgZxc NlImdanGjgfD4xOqCGlNJyRpeUi848pBohGLEae2htqyCg+bVE7l4/Sx9+JIY6Ij vh8yC9Y2/pv0cWRwR8AJIjMnl18rD7Q59AAw1TG9lVsklzGhW5qyR7aRShws3MRe 7SrQeKPFXqo0i8ipAdQhNlKwM4XW7YDLhdaW2DgbTjlS/vI2YCbCwtL475nEQXPK Td/lqkQV+wEG1aEP7OPFgHqPay8v8lCC/hSuo6cHV/Fmu7oYEh4Riu70Hc1q+xGm 13q7vBupQRppYVv9z3mBW0gkf0Za3GZYeSF/kAHVKAEebnzZlWBBkXQKDE0jPUXs rRgDDKW+/A9dTxp31tjK =ItUk -----END PGP SIGNATURE-----
