Bug#741345: marked as done (ITP: mathematical-components -- Mathematical Components library for the Coq proof system)
Your message dated Mon, 17 Mar 2014 17:00:09 +0000
with message-id <E1WPatV-0002FU-91@franck.debian.org>
and subject line Bug#741345: fixed in mathcomp 1.5-1
has caused the Debian Bug report #741345,
regarding ITP: mathematical-components -- Mathematical Components library for the Coq proof system
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.)
--
741345: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741345
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Enrico Tassi <gareuselesinge@debian.org>
* Package name : mathematical-components
Version : 1.4.0
Upstream Author : Mathematical Components team
* URL : http://www.msr-inria.fr/projects/mathematical-components/
* License : BSD
Programming Lang: Coq
Description : Mathematical Components library for the Coq proof system
>From version 1.5, the ssreflect source package was split in two by the
aupstrem:
- ssreflect (OCaml plugin for Coq, plus a small set of Coq files)
- mathcomp (the rest of the Coq files)
While the former is in debian, the latter is not (yet).
--- End Message ---
--- Begin Message ---
Source: mathcomp
Source-Version: 1.5-1
We believe that the bug you reported is fixed in the latest version of
mathcomp, 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 741345@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Enrico Tassi <gareuselesinge@debian.org> (supplier of updated mathcomp 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: Tue, 11 Mar 2014 14:30:20 +0100
Source: mathcomp
Binary: libmathcomp-coq
Architecture: source all
Version: 1.5-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@debian.org>
Description:
libmathcomp-coq - Mathematical Components library for Coq (theories)
Closes: 741345
Changes:
mathcomp (1.5-1) unstable; urgency=medium
.
* Fix copyright file (I'm the packager, even if I've copied much from
the ssreflect package Stephane made).
* Initial package (Closes: #741345)
Checksums-Sha1:
315f9248c1646d5ab7e21b6fe2cb692125f4e05d 1994 mathcomp_1.5-1.dsc
4601d61092fc3ebd7279c7c3efb53de5ec2c9912 1043834 mathcomp_1.5.orig.tar.gz
d6985705ee90665197a9a036d3ca8b6d7b7337a1 9384 mathcomp_1.5-1.debian.tar.xz
c50f1cb97708d2074be3d68544fc50b93458e9f6 22733628 libmathcomp-coq_1.5-1_all.deb
Checksums-Sha256:
c067d8666c2e8fc52ff35de62adcb1f90abdf99f5c22e183576d96823d723e08 1994 mathcomp_1.5-1.dsc
55ad520996541dd2d76c2ed24d7b74b64091158d586fd43ccd74a110f9d62789 1043834 mathcomp_1.5.orig.tar.gz
5e9f3c02558660a25637fd5ff4ca0ab0b64c830b373fc9308af52734d666c9ac 9384 mathcomp_1.5-1.debian.tar.xz
ac39ee283e3ff8186e9b8979e8f235b542fdf0dfc38f8149b468e5529cadbb46 22733628 libmathcomp-coq_1.5-1_all.deb
Files:
be678915ef0dcf0130cc146428f2f3b6 1994 math optional mathcomp_1.5-1.dsc
f6f24df228569f0095d710063a633709 1043834 math optional mathcomp_1.5.orig.tar.gz
30c8418180b0d9ec56b0d93257340a98 9384 math optional mathcomp_1.5-1.debian.tar.xz
877a81b75ff1b3773760416b08cd6b3e 22733628 math optional libmathcomp-coq_1.5-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJTIjAdAAoJECUFM8yim3ZPLfcP/RlkEjggb38b51HP6PaWisXa
OluLRiiHMhdP/GWjd0WjaY3p1jFD2SNPXewJOEvovA1ETf//mpUBpo+HacHCcp5w
wB9b/lndh3MKQMUo/BL+B5Qp7bo7wSyTrN3H5TMk6iRKkwz+3qQ2aWHM2UkznZv7
rLxLWlmi9FYGYvm8XO3mSJFpNPeD8XCgKKszy/hMSIlLGioCRZQKP9KUwMKg+EL5
xrSS20Jnonuke8OpGns40zDi6WOuuK2h/Zlt/NnJiU4CRy4UZRhN1OgwlNFAjuNS
zuaCpqTZ12q9FyuIZBWz9X1nrRKrh7vN9MM+j2PD4RIVAaxapy9My8fE99JYC6SL
soL1YaOqCLaKsAL/OyEtUo3Sdf80xL0IIDlfrOfbUSN44YbNGBGaAMoIG6q3OhLf
1mkPO3KSNXfWLk1LV+MVeC7wqjKA3tZKVAhNnNdS0fAxIfeoz+IvupGwKprjXycZ
nmHDrouP17AxnnR0LtltP++nsLh96KSaZelPmkcSr0h74GnBKN5rttmKV5KXEdX0
1Scjf4Pd0XCKQ0wZT+ihROewhCXPQT6u9HHFXuCUFXwP65WvofupCJjlxkl6GJwP
tLolx9x0Ge/9geuQa2OkbaBgK2G0n3IeSB6DzImeczBLVi5F/zxsUlnMHzBVQmWV
vPY919QTI1wmC6khnUdt
=Lycp
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: