Your message dated Wed, 03 Oct 2012 00:32:40 +0000
with message-id <[email protected]>
and subject line Bug#643641: fixed in swi-prolog 6.2.2-5
has caused the Debian Bug report #643641,
regarding swi-prolog: pldoc not available
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 [email protected]
immediately.)
--
643641: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=643641
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: swi-prolog
Version: 5.10.4-2+b1
Severity: normal
pldoc is not integrated in swi-prolog package.
pldoc is delivered with upstream code, this missing tool prevents
from generating the prolog documentation on Debian system.
-- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.32-5-amd64 (SMP w/1 CPU core)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages swi-prolog depends on:
ii swi-prolog-nox 5.10.4-2+b1 ISO/Edinburgh-style Prolog interpr
ii swi-prolog-x 5.10.4-2+b1 User interface library for SWI-Pro
swi-prolog recommends no packages.
Versions of packages swi-prolog suggests:
pn prolog-el <none> (no description available)
ii swi-prolog-doc 5.6.59-1 Documentation for SWI-Prolog inter
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: swi-prolog
Source-Version: 6.2.2-5
We believe that the bug you reported is fixed in the latest version of
swi-prolog, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Євгеній Мещеряков <[email protected]> (supplier of updated swi-prolog 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 03 Oct 2012 01:51:29 +0200
Source: swi-prolog
Binary: swi-prolog swi-prolog-nox swi-prolog-x swi-prolog-java swi-prolog-odbc
Architecture: source amd64
Version: 6.2.2-5
Distribution: experimental
Urgency: low
Maintainer: Євгеній Мещеряков <[email protected]>
Changed-By: Євгеній Мещеряков <[email protected]>
Description:
swi-prolog - ISO/Edinburgh-style Prolog interpreter
swi-prolog-java - Bidirectional interface between SWI-Prolog and Java
swi-prolog-nox - ISO/Edinburgh-style Prolog interpreter (without X support)
swi-prolog-odbc - ODBC library for SWI-Prolog
swi-prolog-x - User interface library for SWI-Prolog (with X support)
Closes: 640242 643641
Changes:
swi-prolog (6.2.2-5) experimental; urgency=low
.
* Install plunit in swi-prolog-nox
* Install pldoc in swi-prolog-nox (closes: #643641)
* Add symlink /usr/lib/swi-prolog/prolog.rc pointing to
/usr/lib/swi-prolog/swipl.rc and /usr/lib/swi-prolog/xpce.rc
pointing to /usr/lib/swi-prolog/xpce/pl/xpce.rc. This should fix
running the prolog executable with different names (closes: #640242)
* Do not use chrpath during build and do not build-depend on it, this is
not required anymore
* Use dh_lintian to install lintian overrides
* Replace segstack-alignment.diff with patch from upstream
* Re-add xpce manpages to swi-prolog-x
* Build-depend on libarchive-dev and install package 'archive' into
swi-prolog-nox
* Remove references to various swi-prolog-* packages that don't longer exist
in Debian and to swiprolog binary
Checksums-Sha1:
18bd4e424aebee73ecd0440fc31add890e78094f 1760 swi-prolog_6.2.2-5.dsc
0e3580dc49bba0bf49d93659b1906f5742c2fce5 17561 swi-prolog_6.2.2-5.debian.tar.gz
bf82b46394dad4c25c7a1e91bef3190f69a742be 13164 swi-prolog_6.2.2-5_amd64.deb
eac28914dfc03a7226b0c5310ebf2006ccdcc811 2634054
swi-prolog-nox_6.2.2-5_amd64.deb
dcf18ed68fc232cc3960f85049a65391ff226127 2174038 swi-prolog-x_6.2.2-5_amd64.deb
8a6826fae095f1bc2d0923cb2ad073bf99261df6 486468
swi-prolog-java_6.2.2-5_amd64.deb
28bf3383c8c07ec8a1d2e283a73422c025ba4fdf 37322
swi-prolog-odbc_6.2.2-5_amd64.deb
Checksums-Sha256:
64aaaa4b6c8b1560a88e3435e05c1d54ebdd7947582617badfb631f8df7ef6fd 1760
swi-prolog_6.2.2-5.dsc
c120ccb72e310428b1ea7e82c8313e60543adc682746684a6f58a18a7ef0ad5f 17561
swi-prolog_6.2.2-5.debian.tar.gz
4a4236b098b8bdaca064a15ddc64f94acf991b60a12b5ecd033137fc15e914c4 13164
swi-prolog_6.2.2-5_amd64.deb
bd69a588da9fe8ab9ee32b98611c3956e69930004ca74c64f9446a252034e11d 2634054
swi-prolog-nox_6.2.2-5_amd64.deb
4c5c90e0fbff92cc530c1e736a8a17d556b515ef7d965ed92073167d680352fb 2174038
swi-prolog-x_6.2.2-5_amd64.deb
fca9e1489686c148664b23f70972638d0eafd26edcc80d2b6ce5e99d9c3fba74 486468
swi-prolog-java_6.2.2-5_amd64.deb
01864efe5d63c38942745f81c1874312ae228250e580700db59c7055577e76e5 37322
swi-prolog-odbc_6.2.2-5_amd64.deb
Files:
45c648aefca740bb5184d99e77694548 1760 interpreters optional
swi-prolog_6.2.2-5.dsc
e9c8f8b8e6caced08bfe112df5340718 17561 interpreters optional
swi-prolog_6.2.2-5.debian.tar.gz
83503795bbbd48988fdc055d5f3aea86 13164 interpreters optional
swi-prolog_6.2.2-5_amd64.deb
ea3fde8f570e8fdb2e5fe4b23d373bd6 2634054 interpreters optional
swi-prolog-nox_6.2.2-5_amd64.deb
adb5e456b5e903dd56d896fe08f564c2 2174038 interpreters optional
swi-prolog-x_6.2.2-5_amd64.deb
bee86d93cea1fa4cc69d0c1737839d71 486468 interpreters optional
swi-prolog-java_6.2.2-5_amd64.deb
6bec24e06fe3b5de8bc39ea66119775a 37322 interpreters optional
swi-prolog-odbc_6.2.2-5_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlBrgkwACgkQKaC6+zmozOI0+QCdECu0t9J9lpz9yH/JKBZAdNCy
phQAnjmnR6WHh84HUK7mX+7i/IhVU7Dr
=wVnE
-----END PGP SIGNATURE-----
--- End Message ---
