[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#605487: marked as done (ITP: aac-tactics -- Coq tactics for reasoning modulo AC)

Your message dated Fri, 11 Feb 2011 17:17:07 +0000
with message-id <E1PnwcF-0006zJ-D6@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 owner@bugs.debian.org
immediately.)


-- 
605487: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=605487
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <steph@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 605487@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@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 ftpmaster@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-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-----

--- End Message ---
Reply to: