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

Bug#1014991: marked as done (ITP: coq-relation-algebra -- relation algebra for Coq)

Your message dated Sat, 01 Oct 2022 23:00:11 +0000
with message-id <E1oelSt-00C3Ys-Rg@fasolo.debian.org>
and subject line Bug#1014991: fixed in coq-relation-algebra 1.7.8-1
has caused the Debian Bug report #1014991,
regarding ITP: coq-relation-algebra -- relation algebra for Coq
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.)


-- 
1014991: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014991
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>, jpuydt@debian.org

* Package name    : coq-relation-algebra
  Version         : 1.7.7
  Upstream Author : Damien Pous et al
* URL             : http://perso.ens-lyon.fr/damien.pous/ra
* License         : see below
  Programming Lang: Coq
  Description     : relation algebra for Coq
 This package provides a library on relation algebras, that
 is those admitting heterogeneous binary relations as a model,
 ranging from partially ordered monoid to residuated Kleen
 allegories and Kleene algebras with tests.
 .
 Coq is a proof assistant for higher-order logic.

I plan to maintain it within the Debian OCaml Maintainers team, along with the
rest of the Coq-related packages.

The question of license is because the source code is contradictory ; GPL-3?
LGPL-3? LGPL-3+? In any case, it will be DFSG-compatible, and I have asked
upstream to clarify:
  https://github.com/damien-pous/relation-algebra/issues/34

Cheers,

J.Puydt

--- End Message ---
--- Begin Message --- 
Source: coq-relation-algebra
Source-Version: 1.7.8-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-relation-algebra, 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 1014991@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated coq-relation-algebra 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: SHA512

Format: 1.8
Date: Sun, 11 Sep 2022 14:30:52 +0200
Source: coq-relation-algebra
Binary: libcoq-relation-algebra libcoq-relation-algebra-dbgsym
Architecture: source amd64
Version: 1.7.8-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-relation-algebra - relation algebra for Coq
Closes: 1014991
Changes:
 coq-relation-algebra (1.7.8-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1014991)
Checksums-Sha1:
 9d5099374a95cfce7796283a04a5fd339a3caf28 2229 coq-relation-algebra_1.7.8-1.dsc
 11cba1bb51641de6b336ff5f1e18852d59551650 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 4e817a85bd6926ad2924c6b624f0b525e0218420 1596 coq-relation-algebra_1.7.8-1.debian.tar.xz
 c92a1c8891d4da05db62eb9a088dab3ddbeb4079 7855 coq-relation-algebra_1.7.8-1_amd64.buildinfo
 a5d55a3ed8382d0f114a41cf772285690e97d0f0 13644 libcoq-relation-algebra-dbgsym_1.7.8-1_amd64.deb
 37196765913a3a7aa44b5c305809df9e03e4c5ee 2036412 libcoq-relation-algebra_1.7.8-1_amd64.deb
Checksums-Sha256:
 dd6d6cafc21731766254fc0e271235ea796f1b23dfab62e10959e7a5f07896a9 2229 coq-relation-algebra_1.7.8-1.dsc
 4125b11912f5d9cabc98b87487ae632f150682021108ecf7ee0b5e343387025b 196590 coq-relation-algebra_1.7.8.orig.tar.gz
 eb5480b2e808fdefc8d8f12702baeaf175f54a4fbb3a31be7364b8b87f59caaa 1596 coq-relation-algebra_1.7.8-1.debian.tar.xz
 0f23fe7546f3dfe19aee81a42571e2f36f683f2330ea0a100944cfda66bceb9b 7855 coq-relation-algebra_1.7.8-1_amd64.buildinfo
 8edef9126e9c81926a5e0b9647ba46cbd274715e2ad5cad84f572450b82743f8 13644 libcoq-relation-algebra-dbgsym_1.7.8-1_amd64.deb
 594c66e744774cde3215d23428e0fd46d258c282e5c63075258c933c0571b4a4 2036412 libcoq-relation-algebra_1.7.8-1_amd64.deb
Files:
 e6c75f3106434285f64dea0255505bc0 2229 ocaml optional coq-relation-algebra_1.7.8-1.dsc
 5978961b75a58dc5dcd2458c69f3b57c 196590 ocaml optional coq-relation-algebra_1.7.8.orig.tar.gz
 a7726d8273c49e201ecc11e22c11a6d9 1596 ocaml optional coq-relation-algebra_1.7.8-1.debian.tar.xz
 b6ad967a166566adfa366b5ce3dbe7a7 7855 ocaml optional coq-relation-algebra_1.7.8-1_amd64.buildinfo
 dc34c44aac81364d3a3d122fed0508ca 13644 debug optional libcoq-relation-algebra-dbgsym_1.7.8-1_amd64.deb
 aaca069bbf6b3e041471bf7c7f711a71 2036412 ocaml optional libcoq-relation-algebra_1.7.8-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMtvg0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+LMP/AilGXbZyEzFFK0jX7ZM4If9j/IFvZ49
BQiigidmSP0eDYA6KIbugR5Cvu4wZtNC0NN3tqQYQlF/47Oj0Yhs6fzDx0lrUmo+
e4EFDC0V6NgNqhg7V5DYSvNVXLMZm1I53qMSuWO0Uh6DGb5SWQ/XQNIrmlo9mU+i
TO4yKdJuu1bwfHpMtmlh0oJndS//SsnzYZGnRelnGBDZ7j/S/VsQ2h2HqikoWAw5
KwzDZ/BbM75794UQ4ce6D+R/avt/A/usIt5BkCbPzopCR1OfCO1OX55w2nca0jkS
Ws9dHNY6q6Jo2KSh8Pg4v8Lfn0ToYzECMv/LDv0mD5zHx5eO3Mi1rDA80JWwREWU
1KxjWkZ6udJ8/OfbfKgVwbXKwsMCX5vOniQEgx70hBeD9OhZGFuoOqhsP5y/yrom
kM2m0w30Cl9NRI4jOIII5EHDNnXBOMfMnXpHwU/9m5SWoleb6//q7lxdGE/4EiDI
Q1b0NIRbFMwK72WCm2Rknx2TOOw0dEuovPvfqzL061hx6IhPEDBpjRbWX9EQp4Oq
YAfbulm8gBgJ9qWWeUgjgmdJOV3jcdzaPSoOmJ7JGWfd1vWWA0NavhOocq+y99HW
rTfRZ0//ybrbjr+iXyS68Q2rXz/q18PTytZCrrXM6Tu+L3WSgW2RXpxXhMM36cVu
EcUmAxKeWAAN
=+Kza
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: