Accepted aac-tactics 0.2.pl2-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 25 Dec 2011 16:54:20 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source amd64 all
Version: 0.2.pl2-4
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.2.pl2-4) unstable; urgency=low
.
* Rebuild with Coq 8.3pl3 (no source changes)
Checksums-Sha1:
7753941b1cd4fe1a8e3aba419f1c53a3e7a3fcb1 2218 aac-tactics_0.2.pl2-4.dsc
c63275c37fa6866a187b7bafd1ffc7f3aa986b0b 2657 aac-tactics_0.2.pl2-4.debian.tar.gz
10510977f5d9104a68387ec67167db738aecc4f5 144938 libaac-tactics-ocaml_0.2.pl2-4_amd64.deb
ba534315d060fd2f566e1d9644454e541d7a04e1 132730 libaac-tactics-ocaml-dev_0.2.pl2-4_amd64.deb
19a528731624fce805e9597a273db7141112e773 320140 libaac-tactics-coq_0.2.pl2-4_all.deb
Checksums-Sha256:
641fe76837c0dc5bef53fbd31a5711e9f13912ca46ae89e4c09eedfd9e9fc880 2218 aac-tactics_0.2.pl2-4.dsc
38201d65d68955af8c812ab330a71355fcf613950c69767252bb62a21ca025f3 2657 aac-tactics_0.2.pl2-4.debian.tar.gz
306886e49058fe01606cc374799274c5f6664aa1af5e1a84b88d0c5448964ec9 144938 libaac-tactics-ocaml_0.2.pl2-4_amd64.deb
436ef021db83522eadb1f005f77aaced3a8ee1e7f803baa95a36db67fbda6608 132730 libaac-tactics-ocaml-dev_0.2.pl2-4_amd64.deb
43baa877924ae71d1fb2205e1bb78151b3f813a31eb47b98f0b44768eeda4304 320140 libaac-tactics-coq_0.2.pl2-4_all.deb
Files:
651f1875b00f2122776f9a7539894f9e 2218 math optional aac-tactics_0.2.pl2-4.dsc
67ed80196f18b0897d1b28f57b5602b4 2657 math optional aac-tactics_0.2.pl2-4.debian.tar.gz
9827d3b52b16ac5ef6a6d264f7031b63 144938 ocaml optional libaac-tactics-ocaml_0.2.pl2-4_amd64.deb
2d19587ea8288901932901ce7bbba2b6 132730 ocaml optional libaac-tactics-ocaml-dev_0.2.pl2-4_amd64.deb
9ad085ec7f08ae1c251f9daa4322483e 320140 math optional libaac-tactics-coq_0.2.pl2-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJO90h+AAoJEHhT2k1JiBrTqm8P/RIyl+H8+yt/hIA/0bdvzs3Z
RGw2oREdiAJYSHPbQ/7vbYoWyotoWyeIRX5YN/3P428TGqTqoerLVsflLOSZ5u8s
CstIHn1dgoR292vDBFRNJKR3s+c5wYrimA63sGXd12R8tUj3SPO9gUJhKGTREldk
ijTlT1xWkk+NVEoxSEmKq/HBXFPagwYSGS8c8kN8lu0C/yGjyY4rXZ2jpkbvCxy6
At4q6b8vQGGfM8dsmjV6fkDnhzqL1WY8J3UrgXShf3e5AWs1V4aZbW1AAvzEO5ws
GgZ1vUB/4c5dbQVbjW7bVpUO0tMdhhGVtKXnG8yTMLyL3w6Jlc0P7Z/rWQhxNXKI
Wltlvxek1/itgImm1VOJbfs7k5UutQSfT5bQqcErIwR2+BpYV7WY31Xez+1lka0m
d4aLMVJLz9a8sfuOGt+EhDwu7IQNiJnBuLKuwIETVduKJ4nJVmjETxPAp9XmCJKr
fqqfs3JUVN9vrefy7Rqmm4RPY/Vsp+r9uH3AfnyciQtH0Vqo98snL3oFlm183xvX
KkXFN6oGdL11N1+pNcfJ+7HVfIJCrho8p5YM3GowSpEqYeVWG73wLabLhyUoWGuQ
SKTHxb+HJHQoiV6r19cGrc67CnOaXmiBSfXk832novFTbm2iyj3YgzlJ9kTDfUhs
B+5wzZ7yOLUkJ4CTGQ70
=pVGk
-----END PGP SIGNATURE-----
Accepted:
aac-tactics_0.2.pl2-4.debian.tar.gz
to main/a/aac-tactics/aac-tactics_0.2.pl2-4.debian.tar.gz
aac-tactics_0.2.pl2-4.dsc
to main/a/aac-tactics/aac-tactics_0.2.pl2-4.dsc
libaac-tactics-coq_0.2.pl2-4_all.deb
to main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-4_all.deb
libaac-tactics-ocaml-dev_0.2.pl2-4_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.2.pl2-4_amd64.deb
libaac-tactics-ocaml_0.2.pl2-4_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml_0.2.pl2-4_amd64.deb
Reply to: