Bug#740761: marked as done (ITP: ruby-axiom-types -- Ruby module for abstract types for logic programming)
Your message dated Fri, 14 Mar 2014 16:00:07 +0000
with message-id <E1WOUWl-0003eI-Nc@franck.debian.org>
and subject line Bug#740761: fixed in ruby-axiom-types 0.1.0-1
has caused the Debian Bug report #740761,
regarding ITP: ruby-axiom-types -- Ruby module for abstract types for logic programming
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.)
--
740761: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=740761
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Jonas Genannt <jonas.genannt@capi2name.de>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
* Package name : ruby-axiom-types
Version : 0.1.0
Upstream Author : Dan Kubb <dan.kubb@gmail.com>
* URL : https://github.com/dkubb/axiom-types
* License : MIT
Programming Lang: Ruby
Description : Ruby module for abstract types for logic programming
Define types with optional constraints for use within axiom and other libraries.
Abstract types for logic programming
For gitlab, maintained by Ruby PKG Group
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJTFihuAAoJEPBM7/YBbP/QsEEP/1EHGyI1yiGBJc0VOPi7V0Xl
xDg0rasgKBVH0X+rks6Werpk9+rT4cszNjNAm130smgRnHWGWJa2ft7IUqcAnps7
1rSYRdaRg23zTY6bfjh7BV9PkTr1kqkGUZF7Vsy8I/t4xyu5d8Cov5IhglZ9sggj
hytsyEnCQH4uTpl86uD4O3qOKESp616lGoYYuZKzCfSk0YrSeQ+5Mpwqq23soWs+
MUTTq2SEisIhJaqtraPgylPDLSHrUbYOZI0PYH75XKb2zvrhNRhMYBITWwE3sVl7
eg91hsnXES/l/0JyRKtZLrKoQhKYyOY7L8Twb5DOya0JjvieoxaCsuVCu8JIWz6I
qFWv+Z0Fz4tnpAyAX/7Yqgt0eFAWUYwDTBUJ+8Kf4FQ4DdLjFha669eQFM7Q15Wt
wclUSMxexGkVK8x9XOB+Zq7+fq9S3rMMMHWS/2EV84580GtO6aZ/PwUifPi7pmfN
bAisf0PuwKGz1zccJqJvSrNd075cua2rUEW3s5Jq+8hcCmtCl2kPgjL5njpZ/ydG
QF/vXY4oEimewmt/ibbObmocdB5zLXsR5yyybgrgIMDqAlvJg8lLUAh1UwfPUcJS
4EC0JhU3W5TCJBCVybMTB4QdQ+jh4SDvkGGiG2iZf90pcbMuMGwNVSeb28wtQEGR
f5jIGm4gl7K0wLGlxpjP
=1dDO
-----END PGP SIGNATURE-----
--- End Message ---
--- Begin Message ---
Source: ruby-axiom-types
Source-Version: 0.1.0-1
We believe that the bug you reported is fixed in the latest version of
ruby-axiom-types, which is due to be installed in the Debian FTP archive.
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 740761@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Jonas Genannt <jonas.genannt@capi2name.de> (supplier of updated ruby-axiom-types 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@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 12 Mar 2014 18:19:28 +0100
Source: ruby-axiom-types
Binary: ruby-axiom-types
Architecture: source all
Version: 0.1.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Ruby Extras Maintainers <pkg-ruby-extras-maintainers@lists.alioth.debian.org>
Changed-By: Jonas Genannt <jonas.genannt@capi2name.de>
Description:
ruby-axiom-types - Ruby module for abstract types for logic programming
Closes: 740761
Changes:
ruby-axiom-types (0.1.0-1) unstable; urgency=medium
.
* Initial release (Closes: #740761)
Checksums-Sha1:
ca30257d957546ee5d6100871f4f3855c0af5da0 2147 ruby-axiom-types_0.1.0-1.dsc
1fb51a10ec4f52d9ef9fdbd39eaf4ed92ab706dd 21275 ruby-axiom-types_0.1.0.orig.tar.gz
18f0df252b40f93669f641cbd14b81a0dab38c84 3336 ruby-axiom-types_0.1.0-1.debian.tar.xz
a996a2306777695b7e93b3d29e6374a536c63576 9858 ruby-axiom-types_0.1.0-1_all.deb
Checksums-Sha256:
6a14a7fe0f2cbede6730dae78a3452f9275c76c1f2d750827ac6f0e85b73875e 2147 ruby-axiom-types_0.1.0-1.dsc
35ac471aa2e4ae822815b5423e45c6a9f198f645bbe37a2b8e3c72891351df16 21275 ruby-axiom-types_0.1.0.orig.tar.gz
86d6dc38b85f176f85c8ec5353209315f7948a7eb6c8cd1a0881ac895fa9dc6a 3336 ruby-axiom-types_0.1.0-1.debian.tar.xz
481753609b0ab27a5b2ce49d14c89313ba6cdca978064cd651d6302fcd46df68 9858 ruby-axiom-types_0.1.0-1_all.deb
Files:
e62295713f174c3af6aa9c46a5b35a49 2147 ruby optional ruby-axiom-types_0.1.0-1.dsc
68a5d4d70ae5adc9b717a335279e956d 21275 ruby optional ruby-axiom-types_0.1.0.orig.tar.gz
a37cac2afe8c70195ce452db0278df07 3336 ruby optional ruby-axiom-types_0.1.0-1.debian.tar.xz
e0a4fafc7f8aa5258506ed3e14b9b6fe 9858 ruby optional ruby-axiom-types_0.1.0-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJTIM3xAAoJEKkHZFuPn48JTIQP/jqyqNfRNWpR/YUzMbaiY8i8
xuEm4YSdVJGdubzVzw16bRlingjsUBwF4A/jQaVqrXqB5h5l1aT4ylluvQPFDfkJ
8fpabFGCdo1PF15GfOJn3HvUDS5b84vhGr99uYy19/gvLNu4QSMLF91QFTCE7GSG
bp+nazyJFfJc8FQVC2VdX+Of6ZxQSK4AhUduOcHTBsFiofMXo39RoEx31McmUpOi
qCFBUDb8LPGcwzKh5d3cYeb/WLpz86U/BE3ucXTtxnDtCK39fqtNcKY0ANd9AFmA
6aRSEv9Pcu2q5ypuGgo/YEKXcup0JwE1C67GkP81EFvcADEy08hVRAYAUZ/LIv/c
+w1gYroVtsZgmkZ3o+8nZxsKYX2rnvwLBmLtFPD7e2rDjcTKkzZCKp+Q9HOna+JK
qL5K/GhaRuGvpWprO1q4RgPd0F+vXQ/d/WqtloHm4HKtlndpFsnCNdAdDlRAT+VT
3uckMtgbC/GFw33OmN/Fo7ByN3CwqmmY2VHiz2Dn96k+p0ga2p3caHki6kzk/7Ba
4w2xBL59R6uMlpGMvoLP5iwLgG+el/jE1ftirLrvhezMmV0QE2WkuUXu1e+pS7WQ
493kV5hN5sfdOgrxInE7KemWHDKMs1DqjeVzl/BAiWdBjsBX+9kreC21dT4LeIoY
+Neb9WG7GyIb3iTj7TYM
=uYWs
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: