-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 30 Nov 2010 16:24:53 +0100 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source amd64 all Version: 0.1-r13244-1 Distribution: experimental 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) Closes: 605487 Changes: aac-tactics (0.1-r13244-1) experimental; urgency=low . * Initial release (Closes: #605487) Checksums-Sha1: eaf3732acf0a3410d9d2fa4e826cdf094137d1c5 2102 aac-tactics_0.1-r13244-1.dsc ee367109419d341ce2fd3585cfb0f0d44496e425 53617 aac-tactics_0.1-r13244.orig.tar.gz 111c1551fb10f9511ebe61360d33f7c7d2d91e6d 4006 aac-tactics_0.1-r13244-1.debian.tar.gz 620c452ba94703cddb991fbf8294d5db7d11f31c 93494 libaac-tactics-ocaml_0.1-r13244-1_amd64.deb 735fed89d33e43e99bc260daa7c04e8c537f36fa 88362 libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb c331d140f2eddbbf6227719be848381b055ce299 229568 libaac-tactics-coq_0.1-r13244-1_all.deb Checksums-Sha256: 19303f4d5314dba3a63468c73a6c0a6edd1109b7cccee02882e985dfee30d879 2102 aac-tactics_0.1-r13244-1.dsc a69a59ce23df55dbe033eff7167d6d8c0f6d3d0431b9c25d159d7731bca799cd 53617 aac-tactics_0.1-r13244.orig.tar.gz a604a2b4bd73e3f68e87857a2250da1399235d7f45acd130bad7d1fdc8db3e5e 4006 aac-tactics_0.1-r13244-1.debian.tar.gz ba736547a27cef5093a5f1bd722c61a45e2005cae1b17f1e74680ac405353a3d 93494 libaac-tactics-ocaml_0.1-r13244-1_amd64.deb b42498c8083f616026a057ca5032e4cf49fe9f0d666a400be95f1141db7f6f70 88362 libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb 29911ac69fed9ee2628774ff94aef2a02e023e0d818160de24398a01d2953ac3 229568 libaac-tactics-coq_0.1-r13244-1_all.deb Files: eb3092865405d98398c3499d158c7bda 2102 math optional aac-tactics_0.1-r13244-1.dsc a48c525bdb7da1e4ca68d73cbfba042d 53617 math optional aac-tactics_0.1-r13244.orig.tar.gz 3b5457379ff15eb7b9330f418fcaeaf1 4006 math optional aac-tactics_0.1-r13244-1.debian.tar.gz a6cd9863eeb5181cb4735941e4e1c2a9 93494 ocaml optional libaac-tactics-ocaml_0.1-r13244-1_amd64.deb 3ff1930cb210073dd9e52428f5d0cac3 88362 ocaml optional libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb b1caeaa41cbfbe849dce8a7c35e0de1b 229568 math optional libaac-tactics-coq_0.1-r13244-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJM9RjRAAoJEHhT2k1JiBrTEp0P/RuxPOmvfKvIJGmpLqSZa0sf Qjt1skrr6Qb583XXWX62Kso9i2+abXysputdGGIYsMVDC0fqFRCGYqXNZTZFnv73 svBl96G2figPRvgI81tioWvmSaU/aHhepRSIAFA0qHnmqQg4xlmXlQXIDxVjaVwg jVredTivZEYNjP5hfUV9oSwVMHgH63lyWgJFgk5xe4hDfSfRm5BGmTy86lsyiH5d bBtXJeXDFXpyDonVK9f8f6MrB5bkz11ZtdmcEwQDylQPoVnQfw6lrsTqq1MBkcCa EbY4/MEzkQLQB8t3uqAUt/VeW/cUkIledRYPPUN5zLFoqTDc4U99c5xtmoilyTWN P+6BepuBMPgaJkKebYZygiJFD9wCcdlqyYLFRMKdDiotrc7oGgzCRT9CJCn1L9AQ 4u9uncLBiZKxbQ804mIwRQfN3xo4lv3WMyRyXPy+XKvXMyJKiDhLjRB5dPLiF8JI nxJDExwr6/GOxXzLygAJfUaZIb8Y4bKiBx4B9aN4p4TgxJ9KV1VXGhltQd2dDjqQ dNSSC8EmssicmCU4YXsODer3ZOS6MTvoYqlYdQLCBtz0j9x7hz3R4TqkS9EeKa8D eUOI3t0L8TFFVzBgkRMSuipqGrERCR40xYi9TziicohYP5rPRvQoSM7qr5Kqx70w 1qFJR0fzJGWVPtOpvDbF =sum4 -----END PGP SIGNATURE----- Accepted: aac-tactics_0.1-r13244-1.debian.tar.gz to main/a/aac-tactics/aac-tactics_0.1-r13244-1.debian.tar.gz aac-tactics_0.1-r13244-1.dsc to main/a/aac-tactics/aac-tactics_0.1-r13244-1.dsc aac-tactics_0.1-r13244.orig.tar.gz to main/a/aac-tactics/aac-tactics_0.1-r13244.orig.tar.gz libaac-tactics-coq_0.1-r13244-1_all.deb to main/a/aac-tactics/libaac-tactics-coq_0.1-r13244-1_all.deb libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb libaac-tactics-ocaml_0.1-r13244-1_amd64.deb to main/a/aac-tactics/libaac-tactics-ocaml_0.1-r13244-1_amd64.deb
