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

Bug#1019692: marked as done (ITP: mathcomp-abel -- Abel-Galois and Abel-Ruffini theorems for Mathematical Components)

Your message dated Sun, 02 Oct 2022 16:00:11 +0000
with message-id <E1of1Nz-00FyE5-8F@fasolo.debian.org>
and subject line Bug#1019692: fixed in mathcomp-abel 1.2.1-1
has caused the Debian Bug report #1019692,
regarding ITP: mathcomp-abel -- Abel-Galois and Abel-Ruffini theorems for Mathematical Components
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.)


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

* Package name    : mathcomp-abel
  Version         : 1.2.1
  Upstream Author : Sophie Bernard, Cyril Cohen, Assia Mahboubi,
Pierre-Yves Strub
* URL             : https://github.com/math-comp/Abel
* License         : CeCILL-B
  Programming Lang: Coq
  Description     : Abel-Galois and Abel-Ruffini theorems for
Mathematical Components
 This package provides proofs of the Abel-Galois (solvability by
 radicals and solvability of the Galois group) and of the Abel-Ruffini
 theorem (general unsolvability of the quintic equations) using the
 Mathematical Components library.
 .
 The Mathematical Components library is a coherent repository of
 general-purpose formalized mathematical theories for the
 Coq proof assistant.


I plan to support it within the Debian Ocaml Maintainers team,
alongside the other Coq-related packages we have.

Cheers,

J.Puydt

--- End Message ---
--- Begin Message --- 
Source: mathcomp-abel
Source-Version: 1.2.1-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
mathcomp-abel, 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 1019692@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 mathcomp-abel 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: Tue, 13 Sep 2022 16:20:31 +0200
Source: mathcomp-abel
Binary: libcoq-mathcomp-abel
Architecture: source amd64
Version: 1.2.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-abel - Abel-Galois and Abel-Ruffini theorems for Mathematical Components
Closes: 1019692
Changes:
 mathcomp-abel (1.2.1-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1019692)
Checksums-Sha1:
 8219a8b6bb62ec2ff79223109c14a1c3ada826bd 2231 mathcomp-abel_1.2.1-1.dsc
 d7b29f10941f133ed4b3862a944a9d420e70b672 74012 mathcomp-abel_1.2.1.orig.tar.gz
 740caacf9b317f9a88d5d03ca57636a8b9b63cdb 8356 mathcomp-abel_1.2.1-1.debian.tar.xz
 371bbccb80af943434c78854a89b93dab45ff5ee 1278608 libcoq-mathcomp-abel_1.2.1-1_amd64.deb
 6e9d08a98c94f60bdafefd0524bbcd413f79dfaf 7380 mathcomp-abel_1.2.1-1_amd64.buildinfo
Checksums-Sha256:
 991382a14317ce23db3a6b39e73ff7911864b4bdc7ac36b438d8b3fbb054747e 2231 mathcomp-abel_1.2.1-1.dsc
 1f626cff3115794d7753cf2a7a15373579f2ef5d895e8ee5423e4dedae1b2167 74012 mathcomp-abel_1.2.1.orig.tar.gz
 5fa214060f32b0af1a67528a50d603aae0da02c66b452eac87f54e85a7363836 8356 mathcomp-abel_1.2.1-1.debian.tar.xz
 725a4a5a533b9530dec1c1b6ea54c45fac06b2ff45a6c96ea1baaa8add9202f9 1278608 libcoq-mathcomp-abel_1.2.1-1_amd64.deb
 e60fa4e4f198104dfe67daa13d6d10a2e44e9f1eddce4052497f0d84ab875437 7380 mathcomp-abel_1.2.1-1_amd64.buildinfo
Files:
 2d407fcf97a7e7b4cf4e3d6c1f0d01ca 2231 ocaml optional mathcomp-abel_1.2.1-1.dsc
 69fab55b3bcdca2a8d6a21420bccaa44 74012 ocaml optional mathcomp-abel_1.2.1.orig.tar.gz
 25e116bf6c947acda3baa8c70d13017d 8356 ocaml optional mathcomp-abel_1.2.1-1.debian.tar.xz
 83190b6538295f6b104adb8a139181f1 1278608 ocaml optional libcoq-mathcomp-abel_1.2.1-1_amd64.deb
 16efa662e0815ab57235f53f30b6d3b1 7380 ocaml optional mathcomp-abel_1.2.1-1_amd64.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMgkmUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRMYcQAKQVTtKL+aWHvdhyIkmUqIFs9g0QcccX
dx5njscFEjRhwGrjLYmsoYlFNA71ba7r3XzTJOC+2lR/KKSe4ByGFD1u4ORr9Clg
JuHVA+K81DCVUa4aWAdzwQhecTgBT6cVfrFBjHFMFAILj+I6z9sPo+d5xpCwP8oB
cJY2oWSw3uUWGCfor5oxlm+cyV74l47HrnmAcTJRjG3G181FNrR/YkgoUy3VW0oG
1xBVVnkosW/Y/K+o+8uBtv1UL9WhJkCSNE63lILfrrwSai/A/7hmW3WNN0zHkTxe
iEptsSo5P0gHfskUDVoZ/OF5DksPl/fx7ykmhGaZuXud0szvzxK5OyVyyq2gh4Aw
ITwfITDMNpVqunKVF02gdFtw17VNo4YnsRk6Pv5oVJrJ3AAIvT6Iiv023z9WhCA/
B5F2AD8gxiI6c/eBMbcUBbDOxRPoEqfIE2K/BzRlnqY75XVDCSMq58mBbvH2x+dM
Ge56d8SF8eJ6xuggVVb4/7ijxQuIHnHiID/Z4sxOhbj+N0w0HeTCPeMeuRIWX7yd
pON4xE4NAQb0vjRaZbfIGQim7hgt+ypFRZmywmR/AdQkvN3hQ4gd1unK/ihLicUG
koRY2ejb/vbTQuznURxtIDsclgG+uXWeC5noepV0NvG0ysAy4YORfRvbUNjZ7e+W
6HWTd9MSWihV
=+YcL
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: