Bug#916369: marked as done (libcoq-ocaml depends and build-depends on cruft packages.)
Your message dated Mon, 07 Jan 2019 04:35:07 +0000
with message-id <E1ggMd1-0000nx-31@fasolo.debian.org>
and subject line Bug#916369: fixed in coq 8.8.2-1
has caused the Debian Bug report #916369,
regarding libcoq-ocaml depends and build-depends on cruft packages.
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.)
--
916369: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=916369
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: libcoq-ocaml depends and build-depends on cruft packages.
- From: peter green <plugwash@p10link.net>
- Date: Thu, 13 Dec 2018 17:21:50 +0000
- Message-id: <e37a979d-a3fc-fa99-6502-49948ffc2fde@p10link.net>
Package: libcoq-ocaml
Version: 8.6-5
Severity: serious
libcoq-ocaml depends on liblablgtksourceview2-ocaml-<stuff> (where <stuff> is a string that varies between different architectures) which is a virtual package provided by liblablgtksourceview2-ocaml . Similarly libcoq-ocaml-dev depends on liblablgtksourceview2-ocaml-dev-<stuff> which is a virtual package provided by liblablgtksourceview2-ocaml-dev and the coq source package build-depends on liblablgtksourceview2-ocaml-dev.
liblablgtksourceview2-ocaml and liblablgtksourceview2-ocaml-dev have been dropped by the latest version of the lablgtk2 source package. See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=885677
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.8.2-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 916369@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Benjamin Barenblat <bbaren@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, 06 Jan 2019 23:07:04 -0500
Source: coq
Binary: coq coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64
Version: 8.8.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Benjamin Barenblat <bbaren@debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
libcoq-ocaml - runtime libraries for Coq
libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 902903 910840 916369
Changes:
coq (8.8.2-1) unstable; urgency=medium
.
* New upstream release (Closes: #910840)
* Add Benjamin Barenblat to uploaders
* Update debian/watch for upstream's transition to GitHub (Closes: #902903)
* Stop distributing CoqIDE (Closes: #916369)
* coqmktop(1) has been deleted; users should migrate to ocamlfind(1)
Checksums-Sha1:
f08025df216f4deff189348be02c59cc2a1da35e 2415 coq_8.8.2-1.dsc
2a3f39f36f10958401279e3cb3d6b9cc36d7c99c 5313133 coq_8.8.2.orig.tar.gz
5632fc5c46b46908409369452b2cd1563b26653d 62720 coq_8.8.2-1.debian.tar.xz
9dd150b909dd2289835813e1238e9b606f14f282 2133356 coq-dbgsym_8.8.2-1_amd64.deb
72e7597a096980ced55cd38dc2d0b2344099a9c6 752844 coq-theories-dbgsym_8.8.2-1_amd64.deb
6ee701f7ce918d4ebcc6a392278241ea6d4e9799 29352732 coq-theories_8.8.2-1_amd64.deb
325fe9284a56f30ad9ae601b40abac2e737da5d9 14827 coq_8.8.2-1_amd64.buildinfo
8e5c0173a470c5931747b645f3aea3a472fbea1e 17526784 coq_8.8.2-1_amd64.deb
0d4da521ba918468a576cdcbdc177c3d5df0815d 460032 libcoq-ocaml-dbgsym_8.8.2-1_amd64.deb
6fa6c79a12455480a1a9131e650333661a938ed0 13125616 libcoq-ocaml-dev_8.8.2-1_amd64.deb
7aded7646d7f708f063c7cd2e7f7979be54c9f38 4590400 libcoq-ocaml_8.8.2-1_amd64.deb
Checksums-Sha256:
f8967bddabc9fbbeaa5a2566edbfe0692c837a185178a4818e123cb240d27f38 2415 coq_8.8.2-1.dsc
7c0cff86fa2b2a377ec59c3d9ba5c9f5ec91edbe89962200f1a5168095f59e74 5313133 coq_8.8.2.orig.tar.gz
c32c3fe03f4699f37552ace53fa5fb2eebd4aeda226f03f003784dc84003df83 62720 coq_8.8.2-1.debian.tar.xz
796ea685417d886a0f0c7e881f29dc2221267e9d7434d01e6fc306466ee2b9ae 2133356 coq-dbgsym_8.8.2-1_amd64.deb
72ea2c77b6744b9bf44dff9afb29450cfad8ca65fe14f71038863ac3b7108698 752844 coq-theories-dbgsym_8.8.2-1_amd64.deb
9aebc1e5c9707e8600c2a309c3d223e6764357ef2c6752d75c9332d2cb887217 29352732 coq-theories_8.8.2-1_amd64.deb
c88987624b577a8360532ea86f5a5df91de1c3d31a9ae653f012eb57c7104e6d 14827 coq_8.8.2-1_amd64.buildinfo
c94dccb02774f36092d78e299f47126cf777af6157bfbd203adfba9590108026 17526784 coq_8.8.2-1_amd64.deb
d00d55ee22df696a9c0bfcb10da78ff4c43195bd0d4dc723354ec2bd0e07c08a 460032 libcoq-ocaml-dbgsym_8.8.2-1_amd64.deb
351567d2d1f566a7e508c6e4b1dc47d5438f5099df4a996a698221490b076600 13125616 libcoq-ocaml-dev_8.8.2-1_amd64.deb
af6fbc1d779cbba950d2fb84407eaa3a99faea5256af24f816789e1eca9554cd 4590400 libcoq-ocaml_8.8.2-1_amd64.deb
Files:
e66450e0f2043c9d0233c6ada448491e 2415 math optional coq_8.8.2-1.dsc
634651a7fc210f5e3f362bae0e5abb13 5313133 math optional coq_8.8.2.orig.tar.gz
d72114aa51a95d35150ae6bbf9a40378 62720 math optional coq_8.8.2-1.debian.tar.xz
7ee542c0bc61babbb44d7e16265a0609 2133356 debug optional coq-dbgsym_8.8.2-1_amd64.deb
9c42a801cab1e0157d93938e5ae285bb 752844 debug optional coq-theories-dbgsym_8.8.2-1_amd64.deb
f618dfffa2643d6222719b2bbe151538 29352732 math optional coq-theories_8.8.2-1_amd64.deb
a67045d24cd9fa9a430e442600b65ab6 14827 math optional coq_8.8.2-1_amd64.buildinfo
a5a2ab1af21c989c5c5a1b08192078ea 17526784 math optional coq_8.8.2-1_amd64.deb
2a25a65341b45aef163c7e16f2d19222 460032 debug optional libcoq-ocaml-dbgsym_8.8.2-1_amd64.deb
8e9bbba7bd736141e4e9f57af43eedd9 13125616 ocaml optional libcoq-ocaml-dev_8.8.2-1_amd64.deb
4b7ea2a6869b9320d07aa05793c7b37d 4590400 ocaml optional libcoq-ocaml_8.8.2-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEQbf+q7LkywHKVTMA5ZUVm53A7cMFAlwy1AgACgkQ5ZUVm53A
7cNDGg//a6g2/w19vYuo4Fc4VC3pM/diniL9ycZEw0B5Fwwuf7QuHN8805+32tze
BDK09hWUV0uxvOLXTJ0kOE2z0H8YBWfez/0piUNc+Cq9sugPOM1UnO+FXKZlPmdN
Zsyzg7Kdbor7oqeIV0hbrJ6ij2c+SEI5Z4yHr/tQcehsQBRs5MI9ptoiX5fbE6vI
xEhBK911kx1ItO8oRIex6s7ZuIz7VyfRVHnPtqV+q39DSUS0wfBpUjwIH5kpXang
RZsY2Spy9tDj+Y5qcRHUZ8k+hPGtiuI2rVVI1baMJM4F2gEpBhyaqzqRZuGKURTu
SrTvJewEhQ2oXZ3DG9BWhY53jPNDOD6KeSqj78zfmRPIp35FeGe6xQoGDz+zNPCs
mENH2EaDGeqs45H7z9EaP5b3yl7sTyCoUARjYH4a1qz1pyTABb7USlPpCK+4fXSg
jH1CcUL/DxrQOlnai1fCPVyaGlEIEwRHpMcJSsZqFSAnYnZDUKn6UJ6sO9qC0sBz
PaH/n5tdrpry1rh/54PfDUUCVJMN/tu5L0N05lxoAZcvtXGBtH6j6htZfowe9Xc6
3tHnqaE13fjnatW0GxcUkhNrv0ptxMOORRyXJtP53y4EkgVCWrv4noCV2GfgZL+K
VFa/VrHErFb7XndfJvPfjL3lfjxVVbYC3iX3R0gU4jOp48LrEEE=
=TeEU
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: