Package: emacs21-common
Version: 21.4a-1
Severity: normal
The file /usr/share/emacs/21.4/etc/NEWS does not contain any news
items for version 21.4.
-- System Information:
Debian Release: 3.1
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (x86_64)
Kernel: Linux 2.6.9-7-
Frans Pop writes:
Date: Tue, 06 Mar 2007 01:17:51 +0100
Subject: Re: Bug#413587: installation-reports: installation report on nc6320
On Tuesday 06 March 2007 00:13, Hendrik Tews wrote:
> Comments/Problems:
> In the installer in the tasksel (or whatever that is) I did not
Package: emacs21
Version: 21.4a+1-3
Severity: critical
The spam email appended below causes emacs to crash with
*** glibc detected *** free(): invalid next size (normal): 0x08706488 ***
Fatal error (6).
or even simply with
Fatal error (11).Segmentation fault
To reproduce:
start emac
Package: smbfs
Version: 3.0.22-1
Severity: important
Creating hard links in smbfs mounted directories fails with
smbfs 3.0.22-1:
tandem mnt 10> strace ln a b 2>&1 | grep link
link("a", "b") = -1 EPERM (Operation not permitted)
It works without problems in smbclient.
Package: emacs21-bin-common
Version: 21.4a-3
Severity: normal
movemail does not check the error code after creating the hard
link in line 344:
tem = link (tempname, lockname);
As a result it loops if the link fails with -1 EPERM (Operation
not permitted). This happens for instance on s
Package: xfig
Version: 1:3.2.5-alpha5-7
Severity: normal
When I use the scrollwheel of my mouse to lower the Zoom value
(in the bottem left corner) I can only go downto 0.2. Scrolling
further than that aborts xfig (status 1) printing
Error: Couldn't find per display information
Apparently som
Package: xfig
Version: 1:3.2.5-alpha5-7
Severity: normal
When I set the zoom value (of an empty pane) to 0.01 (manuall via
the zoom panel) then tracking the horizontal ruler to the left
yields a crash with SIGSEGV.
gdb backtrace:
#0 0xe410 in __kernel_vsyscall ()
#1 0xa7be1821 in raise ()
Package: tuareg-mode
Version: 1.46.1-1
Severity: important
Indentation code is seriously broken in 1.46.
IMHO tuareg-mode should be reverted to 1.45.x in etch, see
http://caml.inria.fr/pub/ml-archives/caml-list/2006/09/2cb78d7e6e48b0f56dc9aea9d3845e20.en.html
-- System Information:
Debian Releas
Package: proofgeneral-coq
Version: 3.7-4
Severity: grave
Opening any .v file or starting coq-mode manually only gives the
error
File mode specification error: (file-error "Cannot open load file" "hilit19")
and no proof-general functionality is available. The package is
therefore completely un
Package: coq
Version: 8.2.pl2+dfsg-1
Severity: normal
The file /etc/emacs/site-start.d/50coq.el sets coq-mode for *.v
files and declares coq-mode to autoload coq.el. The file
/usr/share/emacs/site-lisp/coq/coq.el however requires hilit19 in
line 140, which seems not to be available in squeeze. The
Hi,
sorry for the false alarm, the problem is in file
/usr/share/emacs/site-lisp/coq/coq.el from package coq, which
requires hilit19, See #605024.
The problem with proofgeneral is, that it does not install its on
bindings for *.v files on startup. Therefore one hits coq-mode
from package coq, eve
Hi,
I believe the problem is that coq-mode from package coq requires
hilit19, see #605024. I would guess that on the desktop you have
(proofgeneral) in your .emacs, while on the laptop you have not.
Therefore on the desktop *.v files get coq-mode from proofgeneral
while on the laptop they get coq-
Hi,
Hideki Yamane writes:
> Also, I'll upload it to 10-delayed queue. If you don't want it, please
> tell me.
thanks a lot for helping me out here!
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listma
Package: debian-maintainers
Severity: normal
Please add my key to the Debian Maintainers keyring.
The jetring changeset is attached.
Thanks,
Hendrik Tews
-- System Information:
Debian Release: 7.2
APT prefers stable
APT policy: (500, 'stable')
Architecture: i386 (x86_64)
Ker
Those two errors come from Phonon and more precisely phonon-backend-vlc. Do
you have audio working?
Yes, audio is working fine.
Maybe it would help if you shared the non-working ics file.
Have you tried with any ics file? For me korganizer fails for
_every_ ics file. For ins
Hi,
your request is a feature wish and the unison manual says:
Feature requests are welcome, but will probably just be added to
the ever-growing todo list. They should also be sent to
unison-us...@yahoogroups.com.
The standard procedure would be that we forward your request to
unison-us
Hi,
thanks for detecting this problem.
Package: proofgeneral-doc
Breaks: proofgeneral (<< 4)
Replaces: proofgeneral (<< 4)
It makes certainly sense to add these dependencies, although,
without having read the documentation, I would only add the
Breaks, because the new proofg
Package: base-files
Version: 6.0squeeze3
Severity: wishlist
Please include CC-BY-SA in /usr/share/common-licenses.
Thanks,
Hendrik
-- System Information:
Debian Release: 6.0.3
APT prefers stable
APT policy: (500, 'stable')
Architecture: i386 (i686)
Kernel: Linux 2.6.32-5-686 (SMP w/2 CPU c
Andreas Romeyke writes:
I compiled it with ocamlopt
I don't believe that. Compiling your example with ocamlopt gives
> File "brackets.ml", line 3, characters 0-2:
> Error: Comment not terminated
while you reported a different error message.
> Could it be that you had code
retitle 659002 camlp4o has quotations enabled by default
tags 659002 upstream
forwarded 659002 http://caml.inria.fr/mantis/view.php?id=5508
thanks
Andreas Romeyke writes:
Here is the original call:
ocamlopt -pp 'camlp4o pa_macro.cmo' brackets.ml
OK, the problem is that camlp4o has quotat
Novix writes:
During upgrade from 3.x, proofgeneral install failed.
OK, I can reproduce the installation failure. The problem seems
to be that Proof General cannot be compiled with emacs23-nox. I
don't know yet if this is a problem in the dependencies or in the
upstream code.
Could you
Hi,
thanks for the problem report, however, there is too little
information in it.
Novix writes:
During upgrade from 3.x, proofgeneral install failed.
This is certainly a bug. However, I cannot reproduce it. Please
provide the versions of all proofgeneral and [x]emacs packages
that yo
During upgrade from 3.x, proofgeneral install failed.
The problem is that Proof General assumes that the packages
'fontset and 'tool-bar are always loaded. This is however not the
case in emacs23-nox. I'll fix this upstream.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist
:
pn kdepim-groupware
pn kdepim-kresources
-- no debconf information
Bye,
Hendrik Tews
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Hi,
how do you compile your sample file? When I compile with ocamlc I
get
File "brackets.ml", line 3, characters 0-2:
Error: Comment not terminated
I believe it's an OCaml feature, that strings inside comments
must be terminated (but I cannot find it in the manual).
Andreas Romeyke wr
Hi,
I can reproduce the problem with vanilla 3.12.1 and
3.13.0+dev11 (2012-01-26). I am preparing an upstream bug report
now.
Sys_error("/home/andreas/projekte/leibniz/trunk/core//tmp/_build/_digests:
No such file or directory")
In the error-message you see, ocamlbuild will create a dire
Thanks for the hint. I'll fix this with the next upload.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
the isar/Example.thy (or an equivalent Example.v) file does not exist.
I am sorry for the inconvenience, but this is not really under my
control. Isabelle is not available as Debian package and the
Isabelle maintainers distribute Isabelle with their own version
of Proof General. Conseque
severity 679917 grave
thanks
I'am sorry, but the described workaround does not work. I am
therefore raising the severity again.
Today with korganizer 4:4.4.11.1+l10n-3+b1 and systemsettings
4:4.8.4-6 and the attached file in my home directory
(/home/tews):
I first start systemsettings and go
severity 679917 important
thanks
I just noticed that the workaround works if I store the calendar
file, or place symlinks, in ~/.kde/share/apps/korganizer.
I would really appreciate if somebody could explain this weird
behavior...
I don't think raising the severity in my previous message worke
@@
+proofgeneral (4.2~pre120605-2) unstable; urgency=low
+
+ * add Breaks and Replaces dependencies for proofgeneral-doc (Closes: #694285)
+ * delete wrong info in README.Debian
+
+ -- Hendrik Tews Tue, 04 Dec 2012 14:50:27 +0100
+
proofgeneral (4.2~pre120605-1) unstable; urgency=low
* New
Package: ftp.debian.org
Severity: normal
hol-light depends on camlp5 and camlp5 is ocaml/extra.
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Package: src:linux
Version: 3.2.39-2
Severity: important
Dear Maintainer,
-- Package-specific info:
** Version:
Linux version 3.2.0-4-686-pae (debian-ker...@lists.debian.org) (gcc version
4.6.3 (Debian 4.6.3-15) ) #1 SMP Debian 3.2.39-2
** Command line:
BOOT_IMAGE=/boot/vmlinuz-3.2.0-4-686-pae
Hi,
could you provide some more information for potential adopters?
With "due to non-GPL compatible licensing" you refer to the CPL,
I suppose. Could you elaborate on why the CPL is an issue?
The last upstream release was in April 2010, the upstream bug
tracker has 5 tickets in total, the last d
this. Could you please update proofgeneral to that version?
Yes, it's on my todo list.
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Hi,
I looked again at your bug report.
With the "info tutorial" you mean section "2.1 Walkthrough
example in Isabelle" in the Proof General user's manual packaged
in proofgeneral-doc?
I just noticed that the upstream sources contain an example file,
that is not included in the packages. My plan
Prach Pongpanich writes:
lintian should not complain about hardening for package written in
pure Ocaml [0],[1],[2]
The problem is, that even pure OCaml contains enough features
that may permit arbitrary memory corruptions by an attacker. For
instance, String.unsafe_blit has no bounds check
OCaml has a built-in notion of "unsafe" feature (see ocamlobjinfo
output) that could serve as a starting point for that.
Yes, I tried this on
let f b =
let a = "abcde" in
let c = Obj.magic b in
String.unsafe_blit c 0 a 0 5
For the .cmo, ocamlobjinfo surprising
Hi,
I would also like to suggest that the install script checks for
SSE2 and installs an older version, if SSE2 is not present. For
me 11.1.102.63 seems to work.
Could somebody explain me, severity 'normal'? The problem makes
the package unusable, it even makes iceweasel break, so it should
have
owner 672480 !
thanks
Repeating myself: The packaging effort is almost finished: A new
up-to-date version is waiting in the OCaml maintainers git repo
for review and sponsoring, see
http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git
and
https://lists.debian.org/debian-ocaml
Hi,
I experience the same problem on several lenny installations. For
some reason my WPA-PSK wlan takes a bit too long to come up. The
ntpd always gives up before the network is available. The syslog
shows
Apr 1 23:16:54 gromit ntpd[3352]: ntpd 4.2@1.1520-o Sun Nov 22 17:34:54
UTC 2009 (1)
Johannes Schauer writes:
Does there exist a workaround for it? For example I have to use the IEEEtran
class [1] but can't view the dvi because of this bug:
The advi FAQ at http://advi.inria.fr/faq.html says
How to visualize Adobe PostScript fonts like ptmr8t using Active-DVI ?
An
Colin Watson writes:
Package: atdgen
Version: 1.2.2-1
Severity: serious
User: ubuntu-de...@lists.ubuntu.com
Usertags: origin-ubuntu saucy
I tried to rebuild atdgen against the new ocaml-atd, and it failed as
follows:
The current upstream version of atdgen is 1.2.5, it build
Hi,
extlib 1.5.2-1 does not compile with OCaml 4.00 (because of the
changes in the hashtbl signature). Upstream has fixed this in
version 1.5.3.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lis
forwarded 716728
https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=1295&group_id=54&atid=291
thanks
upstream plans to fix this issue in version 0.4.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contac
forwarded 718748
https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=1306&group_id=54&atid=291
tags 718748 confirmed upstream
thanks
Hi,
Hector Oron writes:
Your package fails to build from source on Debian autobuilder network.
Thanks for recording this issue with the BTS. The
Novix writes:
didn't know xemacs is not supported anymore. Too bad.
I don't know why xemacs was dropped in Proof General 4.0, if you
want to use Proof General with xemacs I suggest you ask on the
proofgeneral-devel mailing list.
Not sure if you're still interested, but here's the ful
Hi,
I looked at how camlp5 is compiled and I believe to build
transitional _and_ strict camlp5 executables and libraries from
one source package will require quite a bit of work. The reason
is that the names of executables and libraries are hardcoded in
the makefiles and that these names are ident
Stéphane Glondu writes:
What about the library?
You mean camlp5.cma and its variants? They differ between strict
and transitional modes and their name is hardcoded in the
Makefile as well. There might be some objects which are
identical, eg. /usr/lib/ocaml/camlp5/diff.cmx but finding that
out
Pierre Boutillier writes:
Why do we keep a camlp5 in transitionnal mode ?
I assumed somebody needs transitional mode. Supporting only
strict mode is of course much simpler.
For packages, Coq and ledit support strict mode. The only remaining
question is about ulex.
How about ss
I wrote:
is that the names of executables and libraries are hardcoded in
the makefiles and that these names are identical for strict and
transitional mode.
I told Daniel de Rauglaudre about the problem of compiling strict
and transitional camlp5 in one go. His answer is the new release
6
Stéphane Glondu writes:
There are other reverse build-dependencies: matita, ssreflect,
geneweb... and maybe others (transitively). Someone has to test.
ulex0.8 does not build with a strict camlp5:
ocamlc -a -o pa_ulex.cma -pp 'camlp5o pa_extend.cmo q_MLast.cmo' -I +camlp5
cset.ml ule
Concerning ulex0.8/matita, a perhaps saner alternative is to make matita
work with latest ulex and get rid of ulex0.8. I guess this means porting
it to camlp4... I've got no idea how much work is that, though.
I would leave this task to the matita authors. Is one of them
still on debian-
Stéphane Glondu writes:
I've pushed an updated camlp5 (6.04) package to the team's git, that
defaults to strict. I've also pushed a fix for ulex0.8, so that both
strict and transitional are supported. Matita then builds with no
changes in strict mode.
But then we don't need tran
dh_auto_install -a
make[1]: Entering directory
`/build/buildd-ocaml-gnuplot_0.8.3-2-armhf-MfThgI/ocaml-gnuplot-0.8.3'
cp META.in META
echo "version = \"0.8.3\"" >> META
ocamlopt -inline 2 -c gnuplot_dir.ml
I believe the problem is that the intstall target has all as
prerequis
retitle 554263 ITA: proofgeneral -- generic interface for proof assistants -
common package
owner 554263 !
thanks
Hi,
I try to package a new version of Proof General and upload it to
mentors.debian.net. Please contact me if you are interested in
sponsoring Proof General.
Bye,
Hendrik
--
To
Package: wnpp
Owner: Hendrik Tews
Severity: wishlist
* Package name: hol-light
Version : 20120312
Upstream Author : John Harrison
* URL or Web page : http://www.cl.cam.ac.uk/~jrh13/hol-light/
* License : HOL Light licence
Description : HOL Light theorem prover
HOL
Laurent Fousse writes:
According to the google code page, it's actually BSD.
The text in the LICENSE file [1] actually differs from the BSD
license. It requires that changes are clearly documented and it
does not require that redistribution in binary form reproduces
the copyright.
I am
Hi,
a first version of the hol-light package is available at
git://git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git
Comments are welcome!
The current package has the following issues:
- the precise upstream license is not clear yet, I've asked
upstream about it, see the messages at
There is already an automatically computed camlp5 ABI (have a look at
camlp5's provides). The question is: why dh_ocaml doesn't put it in
hol-light? I'll have a deeper look at this (but feel free to beat me on
this)
Maybe because there is no executable and the only cmo is
instal
camlp5's provides). The question is: why dh_ocaml doesn't put it in
hol-light? I'll have a deeper look at this (but feel free to beat me on
this)
The --with ocaml was missing. Now I see
hol-light depends on camlp5 v6.04-1 through Eprinter
hol-light depends on ocaml-nox/ocaml-
Stéphane Glondu writes:
camlp5's provides). The question is: why dh_ocaml doesn't put it in
hol-light? I'll have a deeper look at this (but feel free to beat me on
this)
I believe the problem is that in
/var/lib/ocaml/md5sums/camlp5.md5sums the runtime field is "-".
This is caused by u
Stéphane Glondu writes:
camlp5 is a development package, not a runtime one. From your
description, hol-light would also be a development package.
I am sorry, but I don't understand the distinction between
runtime and development packages and its importance for packaging
and dh_ocaml.
I
Stéphane Glondu writes:
> I: hol-light: arch-dep-package-has-big-usr-share 17934kB 100%
It's not an error, it's an info :-) Please override it with a useful
comment, and don't split the package.
Done.
It should be possible to compile stuff so that your:
#use "hol.ml
Hi,
I believe I fixed all the issues in the package hol-light.
- I imported a new upstream version, which is distributed now
with a BSD 2 clause license
- The camlp5 dependencies are right
- hol-light is a binary package with a lintian override for
arch-dep-package-has-big-usr-share
- One
Mehdi Dogguy writes:
On 13/05/12 23:37, Hendrik Tews wrote:
>
> ... the incorrect root test comes from file m4/base_checks.m4
>
> deleting the line 'RUNNING_USER="$USER"' there and running
> ./bootstrap then yields
>
> che
severity 156958 wishlist
tags 156958 wontfix
thanks
Hi,
I agree that it would be somewhat better if unison permitted tabs
directly after Regex and friends. However, given that
- you can have arbitrarily many spaces after Regex and friends
- you can even use tabs if only the first character after
Hi,
if I understand correctly, the -f flag is needed, because during
update the install file is run without the remove file.
But in this case the install file should better delete all files
from the elc directory. Otherwise it will leave dangling symlinks
and outdated elc files behind, if the upg
Package: emacsen-common
Version: 1.4.22
Severity: wishlist
Hi,
debian-emacs-policy mandates debian-pkg-add-load-path-item in
section 9. Many packages change the load-path in their
emacsen-install script for compilation.
I would suggest to make it explicit in the policy whether
debian-pkg-add-loa
Package: dh-make
Version: 0.60
Severity: normal
The debian emacs policy states in section 9 that
debian-pkg-add-load-path-item must be used to manipulate
load-path.
Therefore the template should do contain
cat << EOF > path.el
(debian-pkg-add-load-path-item ".")
(setq byte-compile-wa
Package: wnpp
Owner: Hendrik Tews
Severity: wishlist
* Package name: prooftree
Version : 0.9
Upstream Author : Hendrik Tews
* URL or Web page : http://askra.de/software/prooftree/
* License : GPL-3
Description : proof tree visualization for Proof General
Prooftree
Hi,
I played a bit around to investigate the problem. What I see is:
- inside pbuilder, after installing the build dependencies and
after patching the sources, dh_clean runs as root
[env says $SUDO_USER=tews and $USER=root; id says uid=0(root)
gid=0(root)]
- Later the configure script of t
... the incorrect root test comes from file m4/base_checks.m4
deleting the line 'RUNNING_USER="$USER"' there and running
./bootstrap then yields
checking that calling user is not root... ok
and the package builds fine (done with autoconf 2.69; maybe its
better to downgrade to 2.68 to keep th
See #670733 for the source of the problem.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
I cannot reproduce the "Incorrectly thinks it's building as root"
problem. When I try the build fails with
checking for suffix of object files... configure: error: in
`/tmp/buildd/ocaml-lame-0.3.0':
configure: error: cannot compute suffix of object files: cannot compile
See `config.l
Andreas Tille writes:
this seems like a perfect target for Debian Science. Would you consider
team maintenance.
I definitely need a sponsor for the prooftree package. I would
first try with the OCaml task force, because prooftree is written
in OCaml and I have a few other packages th
and tell us, in what task your package might fit best.
If prooftree ever makes it into Debian, it should be together
with coq and proof-general, ie. science-mathematics.
BTW:
- matita, agda, prover9 are proof assistants similar to coq, but
not listed in science-mathematics
- hol-light, c
Hi,
Daniel, are you sure it was ocaml-lame that FTBFS? Here it builds
fine with user id 56789 inside pbuilder.
My previously reported build failure comes from an incorrect
pbuilder setup. The problem was that CCACHE_DIR
(/var/cache/pbuilder/ccache outside and inside pbuilder) was not
writable by
Hi,
the DOM git repository contains the first version of the
prooftree package, see
http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git
Comments are welcome. I would of course be happy if I could find
a sponsor for prooftree.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs
reassign 651420 emacs23
retitle 651420 call-process behavior wrt. to read only buffers depends on
coding system for read operations
thanks
I was finally able to reproduce the problem with emacs23 23.2+1-7
and 23.4+1-3. The problem can be triggered with a non-utf8 locale
setting, eg
LANG=de_DE
Mehdi Dogguy writes:
As such, I'm lowering the severity of these bugs to "important".
There is still the question, how to solve all these "Incorrectly
thinks it's building as root" bugs. From the arguments in this
thread I conclude that the error is in pbuilder's handling of
$USER and that we
Package: pbuilder
Version: 0.211
Severity: important
Hi,
when I use BUILDUSERNAME=pbuilder, pbuilder changes to user
pbuilder, but does not change the value of USER. This yields a
build failure for packages that check via $USER that they are not
configured as root, for example ocaml-cry (#670733)
Hi,
I believe something went wrong when creating the tuareg-mode
source package:
- the package contains the patch
0001-camldebug-of-tuareg-mode-is-renamed-to-camldebug-tua.patch
which addresses the problem described in the report, but
- the source package contains the patch debian-changes-1:
Another strange point is that tuareg.el contains
(concat "Tuareg Version 2.0.4 ("
in the upstream branch and in the orig.tar, but
(concat "Tuareg Version 2.0.1 ("
in the master branch. Maybe the last upstream import went wrong?
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dis
It'd be good if byte compiler warnings were not setup to be fatal when
installing, ie. don't set byte-compile-error-on-warn.
[...]
Of course that also raises the matter whether a byte compile should be
done with "emacs -q -no-site-file" to keep out packaged add-ons like
Tha
tags 669318 upstream fixed-upstream
thanks
Kevin Ryde writes:
Date: Thu, 19 Apr 2012 10:07:25 +1000
Subject: Bug#669318: proofgeneral: no-byte-compile of proof-autoloads.el
Thanks for the hint, I fixed this upstream.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...
Hi,
there is a new upstream svn commit that fixes the license issues.
The package contains now this latest version together with a
rather long copyright file, that lists all the exceptions form
the general hol light license.
I have not yet created a signed tag in the repository, but I
would do so
Kevin Ryde writes:
Date: Wed, 25 Apr 2012 08:21:58 +1000
Subject: Bug#670341: proofgeneral: help mode access to source code
Thanks for the hint! A fix is on the way.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". T
Package: dh-make
Version: 0.60
Severity: normal
According to Debian Policy 10.5 the symbolic links from the
ELCDIR to ELDIR should be relative links.
-- System Information:
Debian Release: 6.0.4
APT prefers stable
APT policy: (500, 'stable')
Architecture: i386 (x86_64)
Kernel: Linux 2.6.32-5
Kevin Ryde writes:
Date: Wed, 25 Apr 2012 08:17:38 +1000
Subject: Bug#670339: proofgeneral: debian-pkg-add-load-path-item
Thanks for the report! Proof General changes load-path at various
places. I'll therefore first try to change the upstream version
such that all load-path additions are
an-pkg-add-load-path-item. Would you add a note to all of
them, telling the maintainers that their package may break when
they switch to debian-pkg-add-load-path-item? It took me several
hours to track down this issue, maybe you can one of them save
the hassle.
Bye,
Hendrik Tews
-- System In
block 670339 by 676424
thanks
Switching to debian-pkg-add-load-path-item breaks Proof General,
see #676424.
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
order would be right anyway if the coq package uses
debian-pkg-add-load-path-item -- which it ought to do anyway.
This is wrong. Just read #676424.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact
Romain Beauxis writes:
I agree that the configure test is naive, but it relies on reasonable
and documented behaviours and variables.
OK. What is your source of documentation for the contents of
$USER?
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.or
bug. At least
Kevin Ryde knows that debian-pkg-add-load-path-item may not work.
I don't understand why he files bug reports without including all
relevant information.
Bye,
Hendrik Tews
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscr
Since there is no news about it, I would like to ask if at least
sopmeone can reproduce this bug please.
I cannot reproduce this problem with emacs23 23.4+1-2.
Pierre, which emacs package do you use? Can you supply all the
info (especially the dependency info) you see when you start
Hi,
Samuel Hym writes:
> Could the debian package be updated?
Thanks for the reminder, I'll have a look if time permits, but if
anybody else want to upload a new version, please go ahead.
Hendrik
Julian,
thanks a lot for you quick answer.
> Check that your network-online target actually ensures that the
> network is up. (the service might want to depend on that as
I have no idea how to check this. Could you point me to a
relevant HowTo?
Thanks,
Hendrik
> Note that this only applies on boot. Resume does not work.
What do you mean with "Resume does not work"? I usually wake up
my laptop from suspend or hibernate in the morning, then
apt.systemd.daily runs before the network comes up. Now and then
I reboot the system later, but then the time stamp
Package: software-properties-common
Version: 0.96.20.2-1
Severity: normal
Dear Maintainer,
when I run "sudo add-apt-repository ppa:nextcloud-devs/client",
I see
The Nextcloud desktop client compiled for Ubuntu
More info: https://launchpad.net/~nextcloud-devs/+archive/ubuntu/client
1 - 100 of 165 matches
Mail list logo
