-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 01 May 2011 19:22:52 +0200 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source amd64 all Version: 0.2.pl2-2 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-2) unstable; urgency=low . * Upload to unstable Checksums-Sha1: 7cdf3a43bf89719d7ecd93a0b495d3f22a5277d9 2075 aac-tactics_0.2.pl2-2.dsc 0dcda5420e2fd7827816c179b91b905b97a5d3f5 2528 aac-tactics_0.2.pl2-2.debian.tar.gz 467bf216d56b59d9fc7821d1e7514accd015d811 144638 libaac-tactics-ocaml_0.2.pl2-2_amd64.deb 719b708631dbe66ade21c05eab8a8d2050697d7e 135338 libaac-tactics-ocaml-dev_0.2.pl2-2_amd64.deb 5d114b2f644c94c57e1452f94b0ce8d1a5333e1d 310400 libaac-tactics-coq_0.2.pl2-2_all.deb Checksums-Sha256: 1cff088507cf25ed38f7106a0788a1bebbe58ecfbd45090c0e8f2c0e251857a8 2075 aac-tactics_0.2.pl2-2.dsc cd2f455f4a7742be47a1320a4cf73e0c80c9c6a8397196b24a6a3b064a867629 2528 aac-tactics_0.2.pl2-2.debian.tar.gz aaf042a5895d16342d539a6c3a0da79c2cafd6845bb31f9b6c42b8b5d2363281 144638 libaac-tactics-ocaml_0.2.pl2-2_amd64.deb 5f6a77e34946543bd81f587bca15b28f5d10dd2fcff38abc9e9e5b526ecaa125 135338 libaac-tactics-ocaml-dev_0.2.pl2-2_amd64.deb fe50da83a27bb77083231528b2976f1fdfdbe5191f0713396548ee907185b6a9 310400 libaac-tactics-coq_0.2.pl2-2_all.deb Files: aaca1d1db8eab07c17f0fd7b33f449a4 2075 math optional aac-tactics_0.2.pl2-2.dsc 557d78738a6290aef8b2009802c5c01d 2528 math optional aac-tactics_0.2.pl2-2.debian.tar.gz d0ac09dc8e76d240b34859a8918351c4 144638 ocaml optional libaac-tactics-ocaml_0.2.pl2-2_amd64.deb 5bc72c4a562c18767844fe36de4c126b 135338 ocaml optional libaac-tactics-ocaml-dev_0.2.pl2-2_amd64.deb 33bca7db280513cf1817b138940927e7 310400 math optional libaac-tactics-coq_0.2.pl2-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJNvZiXAAoJEHhT2k1JiBrT/L8QAJjvCtWb0tqnkpj26eSBuMKi 6SqAeAUqkh0Es4mZB32LEs/j7IFF0WnUqTI54P4FXTmD/U9QgKV1fAvaXaK+th3p CqmPdRkxXcds8nZp8yvweNnig9JBC9gMxg7uF2NfFM+bLMrf7lJcgWLIhQsepG77 JfH1QOxRp7snbNGjcnH6yUJfpbufOYPWpyXqkbXRAYRTIq9plBamoZitDqccRxrK btNlR3PIBttSGLWNZqX1O0hFuigY97FC8btQf0X2PL6fNCoKoQkw2fk8pEsVtwoo ExZPZhN+FNxGyeMl+8usJnDqO8hNTUiiGhbvAG9Jdh4skzX0U0S6z61oC1UBCF2G Nq85bteRDly2lgQylV+dNRH8tl0wo/Ox2ZVdm+wBRJcPTx/toLePXsL+zFNpv5YF OV0NM+VcVIiH4f6trMgc9angPr5ZScTMHOTbjPmdiDX/1CBmX/IGnOvFjzgUG1HC tJt5izEomrTf/ZgYOzCYCsoPjgt48EsXpPt6swNvn9xCA+YF0IGvzZ1/uQ7Zzlzx XOquWqJbSO35qf5EoVrSyPjQCQ20WEB2VjHLXKgkzJlTW+4Jzizck6dSivJavmSY hVkb2Wu4Tqn/RowqyouofZNIF9EVZ82Ub6k4uQaJCnOWE718x6tu0J66mAh+pBxy wyYpgAgdHQpZjwDuZMhc =ygDM -----END PGP SIGNATURE----- Accepted: aac-tactics_0.2.pl2-2.debian.tar.gz to main/a/aac-tactics/aac-tactics_0.2.pl2-2.debian.tar.gz aac-tactics_0.2.pl2-2.dsc to main/a/aac-tactics/aac-tactics_0.2.pl2-2.dsc libaac-tactics-coq_0.2.pl2-2_all.deb to main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-2_all.deb libaac-tactics-ocaml-dev_0.2.pl2-2_amd64.deb to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.2.pl2-2_amd64.deb libaac-tactics-ocaml_0.2.pl2-2_amd64.deb to main/a/aac-tactics/libaac-tactics-ocaml_0.2.pl2-2_amd64.deb