Your message dated Fri, 11 Feb 2011 17:17:07 +0000
with message-id <e1pnwcf-0006zj...@franck.debian.org>
and subject line Bug#605487: fixed in aac-tactics 0.1-r13244-1
has caused the Debian Bug report #605487,
regarding ITP: aac-tactics -- Coq tactics for reasoning modulo AC
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
605487: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=605487
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <st...@glondu.net>
* Package name : aac-tactics
Version : 0.1
Upstream Author : Thomas Braibant, Damien Pous
* URL : http://sardes.inrialpes.fr/~braibant/aac_tactics/
* License : LGPL-3+
Programming Lang: OCaml, Coq
Description : Coq tactics for reasoning modulo AC
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.
--- End Message ---
--- Begin Message ---
Source: aac-tactics
Source-Version: 0.1-r13244-1
We believe that the bug you reported is fixed in the latest version of
aac-tactics, which is due to be installed in the Debian FTP archive:
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
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 605...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glo...@debian.org> (supplier of updated aac-tactics package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@debian.org)
-----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-ma...@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@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-----
--- End Message ---
