-----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
