Accepted aac-tactics 0.3.pl1-1 (source amd64 all)
-----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-----