Bug#680248: marked as done (coq: please update README.Debian)
Your message dated Sun, 19 Jan 2014 16:50:04 +0000
with message-id <E1W4vZU-00027a-Sn@franck.debian.org>
and subject line Bug#680248: fixed in coq 8.4pl3dfsg-1
has caused the Debian Bug report #680248,
regarding coq: please update README.Debian
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.)
--
680248: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=680248
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: coq: please update README.Debian
- From: Nobuhiro Ban <ban.nobuhiro@gmail.com>
- Date: Thu, 5 Jul 2012 00:51:16 +0900
- Message-id: <CADQnRq6Sh2RcJT7UcKWxHObGw5qy7Hw7tXp2JZFzS=j-kU1ndw@mail.gmail.com>
Package: coq
Version: 8.3.pl4+dfsg-2
Severity: minor
Dear Maintainer,
>coq (8.3.pl4+dfsg-1) unstable; urgency=low
(snip)
> * Replace proofgeneral-coq by proofgeneral in dependencies
Package dependencies are replaced, but README.Debian still suggests
proofgeneral-coq. Please update this file too.
>Coq frontends
>-------------
>For interactive use of coqtop, we suggest
> - a readline editor, such as ledit or rlwrap (or anything that provides the
> readline-editor virtual packages);
> - or the Proof-General (x)emacs mode, available in the proofgeneral-coq
> package.
Regards,
Nobuhiro
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.4pl3dfsg-1
We believe that the bug you reported is fixed in the latest version of
coq, 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 680248@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 coq 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, 19 Jan 2014 16:16:36 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.4pl3dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for Coq
libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 680248
Changes:
coq (8.4pl3dfsg-1) unstable; urgency=medium
.
* New upstream release
* Update README.Debian (Closes: #680248)
Checksums-Sha1:
0cf18ec18c573daa4d47dd24e29b231a85b51340 2356 coq_8.4pl3dfsg-1.dsc
1d56e9733b1c209697c5f340206b4ce7e6244795 3521338 coq_8.4pl3dfsg.orig.tar.gz
8f8e5f8cf70490e4949d291ed64115d6716f5065 15800 coq_8.4pl3dfsg-1.debian.tar.xz
68dd03fe0eb52ff2e3fcf7082de69501d72895fb 4078610 coq_8.4pl3dfsg-1_amd64.deb
144413e3e77048c4eac146f38a9326cc39f8afa5 795828 coqide_8.4pl3dfsg-1_amd64.deb
4a83d944d7e0b3b3f4a0733c35f18d0f7221227a 32108044 coq-theories_8.4pl3dfsg-1_all.deb
40d53154c5fb73b02ee27174c83a2eedaf495faf 1636466 libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
9313bb2e018f4b79be407a4a555507bba3c5c167 3771784 libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
Checksums-Sha256:
19f18d629d73ceb2c59721104f37268701807805e67447ba9a580096a44ffce8 2356 coq_8.4pl3dfsg-1.dsc
0321c3e60eb5fb65f9f4f093f07413444f57e57496e908e7654e5fefeda213cb 3521338 coq_8.4pl3dfsg.orig.tar.gz
38e0b2acddd47e929b535301e656a9c8041d37742a7dd86922dd43bfe2e6f8ce 15800 coq_8.4pl3dfsg-1.debian.tar.xz
0e8f0ac2adee9abf81416fb321b7054c5c074587e058dd8bc0f69321320d487c 4078610 coq_8.4pl3dfsg-1_amd64.deb
6baa552d88a95e36967c4db960a3fb35fc113bf98b06b4132f116eb91ca9c802 795828 coqide_8.4pl3dfsg-1_amd64.deb
753af44b69dbdfa0ce41ec041ecb49b0b3efd38ef3f232590d95ea75e7236820 32108044 coq-theories_8.4pl3dfsg-1_all.deb
9fb5c4b80d9251048fb10fc87859b7a40c086b8ea5c7bea5501a1f58fb84d0b8 1636466 libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
2478df379e8779a2d4803adb29150fa85e8e23d0a0ad4cd727229b44939c9a05 3771784 libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
Files:
1938a5e8a0ebbddacb25ccfdc86d0bbc 2356 math optional coq_8.4pl3dfsg-1.dsc
e26ec264daf5548268677ff1f18c7849 3521338 math optional coq_8.4pl3dfsg.orig.tar.gz
b6daa124eafc37668460e52df7b25113 15800 math optional coq_8.4pl3dfsg-1.debian.tar.xz
2c34091f01f0b9f3c61c845b58773251 4078610 math optional coq_8.4pl3dfsg-1_amd64.deb
f9b3bdb157c1df94572909edda89e3ef 795828 math optional coqide_8.4pl3dfsg-1_amd64.deb
8bfb11defacdb7dd7d59df3a15e27262 32108044 math optional coq-theories_8.4pl3dfsg-1_all.deb
4c3c6e7f9eff220059692186170fe79e 1636466 ocaml optional libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
feb7765f19fa0140ba173aacf762071b 3771784 ocaml optional libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJS2/3kAAoJEHhT2k1JiBrTvPsP/AqkBtSGfH4W1JJh7RcXqSIc
9CXB24n3a/0kugIq1e/VUF+1ovbulGPIh0SItU1zzr3LAU4BbAdH2eY+YH8Phxlj
PIkbTuLMPqEk1O8yysXmDqDC9Q44TkXA0aKEvjCS50TGY4At/nxbp9vFj4Y+LxjI
eDJ4F9/PMj/o25q+EOrqoc2j39i+194129NzmABLUDIxEB5i+jGHVr1t5dGkQmjv
DCkvBBxhiieAfHX3IVFAT2wgsVSULZddeK0pXiISroZpXQYmwPilc4szHH6Ak74y
xRNx7mh4NGkLPNrcMDxiFMmwOS9kdllg8xJPe3/nTwrTDct6DguOUZQJuCnJR2hN
sjSUadXbEEzBLE7XNYk8JV41/4ooYlBl4Jocfe2u6tWI3mc8Y+kiVIf5tl2/hLgV
BLnRd+KU6KY5zTDvVLXCzI0Qv1EhJLTMP1MSv9Z6fwhDy+E1OeelqMkHvISGGWiA
+uumTxRBiyDkHH8PeWIUnYHaYwHk817/orDX59huNhOV5cPIvPVk2c+j2MPtc0VQ
zwoqSjG+P5+gC+9eJrG8PRFu9UCn/eggg8YHHZ5C92V0UDm3mjFaCrlRSkU/e4tO
Nf+SIFQW/Ms2+DaijX/ehyEo9UWoQE2gMdqVagmK61i9eQEQid9W8B91Ceeqhty2
2ZWWqZXwMXc+A224houJ
=T0rg
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: