luded in the packages. My plan is now to install
this example file as /usr/share/doc/proofgeneral/coq_example.v
and put a hint on this location into section 2.1.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
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
Tags: patch
This appears to be upstream bug #944077, reported at
<https://bugs.launchpad.net/inkscape/+bug/944077>. A patch for 0.48 can
be found at
<http://bazaar.launchpad.net/~inkscape.dev/inkscape/RELEASE_0_48_BRANCH/diff/9906>.
Hendrik
--
To UNSUBSCRIBE, email to debian-bu
Hey Salvatore,
On Mon, 06 May 2013 20:18:12 +0200
Salvatore Bonaccorso wrote:
> There is 0.7.4b out as latest release and a new beta release (0.7.5b)
> available for vifm.
>
> Would it be possible to package the newest versions?
Yes, I’m in contact with upstream and most issues have already be
ssage worked,
but now I am lowering again to important.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
e same happens, when I use "a" as Name in systemsettings.
Note that I can open a.ics fine in a separate window.
Bye,
Hendrik
a.ics
Description: Binary data
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
hould
have grave or critical.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Hi
> Alle mercoledì 13 marzo 2013, Hendrik Naumann ha scritto:
> > First it did not install mysql-server allthough it was configured
> > to use mysql. I can not select sqlite allthough it is installed.
>
> So you had akonadi manually configured to use sqlite3?
>
> &g
Package: akonadi-server
Version: 1.7.2-2
Severity: grave
Justification: renders package unusable
Dear Maintainer,
Akonadi does not start, so I cant use any kdepim app.
First it did not install mysql-server allthough it was configured to use mysql.
I can not select sqlite allthough it is instal
e .cmo, ocamlobjinfo surprisingly reports
Uses unsafe features: no
and for the .cmx it doesn't say anything about unsafe features.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
hardening features. However, at the
moment this safe subset is not even identified...
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Hi,
It seems that the detection of the used version.h file is wrong as it should
find the new generated/uapi/linux/version.h before linux/version.h. However, it
does not.
Additionally, module-assistant needs to be fixed to allow this new header
layout. Currently, the old file must be a link to
, the last dating from 2009. This
looks like upstream development is not really active any more.
Could you tell your opinion on the activity of the upstream
maintainer?
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe&quo
z7z8th schrieb:
>Package: libopenobex1
>Version: 1.5-2
>Severity: important
>Tags: patch
>
>Dear Maintainer,
> * What led up to the situation?
>Actually, I don't exactly know how could it be a Seg Fault.
> I try to send a file through CSR BT(2.1 EDR) to bcm4329(the chip
>
the use of buildflags.mk
Regards,
Hendrik Rittich
signature.asc
Description: This is a digitally signed message part
Hello,
since gogglesmm depends on libfox-1.6 which depends on the packages
mentioned below, I do not see any reason for removing those
dependencies.
The new version is currently waiting on mentors.debian.net for an
upload.
Kind regards,
Hendrik
Am Montag, den 07.01.2013, 10:58 +0100 schrieb
Package: upgrade-reports
Severity: important
Tags: wheezy
Upgrading 64-but squeeze to 64-bit wheezy on a AMD-64. /boot is (now)
on an ordinary partition, and / is on LVM on RAID.
I started with this upgrade from squeeze to wheezy a few weeks ago. It
has been only partially successful, and th
@@
+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
ause the new proofgeneral-doc does not replace the old
proofgeneral.
I am on a conference next week and I am not a DD, so it might
probably take two weeks until this is fixed. If anybody wants to
do a NMU for this, I would certainly be grateful.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bu
one uses perms = 0 and is restricted to the samba
directories.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
instance also for the one appended below.
Bye,
Hendrik
a.ics
Description: Binary data
Hi Manuel.
Am 10/08/2012 08:44 PM, schrieb Manuel A. Fernandez Montecelo:
> Maybe we should use "experimental" especially during this times.
> What do you think, hennr?
Yep, I'm quite unhappy with the current situation and thus I like the idea.
Let's go for it.
Henner
--
To UNSUBSCRIBE, ema
Hi and thanks for the hints.
The problem is that Debian testing is on hold and will not accept any
new packages at this time.
We decided to wait until a new Debian testing arrives.
If you're looking for a comfortable way to play the latest version
you'll probably find desura [0] useful.
Greetin
and use that for the tutorial.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Running a fresh debian wheezy with guake 0.4.3-2 still has the error.
Debian package "python-xdg" provides the used import, please add it as a
dependency.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debi
Package: rfkill
Version: 0.4-1
Severity: important
I tried to switch off my Intel Wireless Card (02:02.0 Network controller: Intel
Corporation PRO/Wireless LAN 2100 3B Mini PCI Adapter (rev 04)) with "rfkill
block all". When I checked the command with "rfkill list" the Wireless Lan is
softblocked.
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
Am Samstag, 7. Juli 2012, 00:32:07 schrieb Artur Rona:
> Hello Hendrik,
>
> Could you then prepare a fix and upload it to mentors? Somebody will
> sponsor your package. Or if you don't have a time to handle with
> packaging, then just attach here a patch to fix FTBFS.
The F
:
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
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)
Am Dienstag, 5. Juni 2012, 00:16:43 schrieben Sie:
> Source: obexftp
> Version: 0.23-1
> Severity: serious
> Tags: wheezy sid
> User: debian...@lists.debian.org
> Usertags: qa-ftbfs-20120604 qa-ftbfs
> User: debian-r...@lists.debian.org
> Usertags: default19
> Justification: FTBFS on amd64
>
> Hi,
r's handling of
$USER and that we are not going to patch the affected packages.
If nobody objects I am going to file a bug report for pbuilder
with severity "important" and block on it.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with
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
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
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". Troubl
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
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
On 06/03/2012 10:11 PM, Gilles Filippini wrote:
> OK, I think I've tracked this down. It seems jna-posix.jar takes
> precedence on jnr-posix.jar. I hadn't the former installed on my box.
>
> Could you please give a try at removing "/usr/share/java/jna-posix.jar"
> from the classpath in these scri
Hi Gilles.
On 06/02/2012 02:12 PM, Gilles Filippini wrote:
> Looking at the stack traces you provided, it might be related with your
> jpython install. Ho does this command line perform?
>
> $ jython -c 'import inspect'
$ jython -c 'import inspect'
*sys-package-mgr*: processing new jar,
'/usr/
should contain the FQDN (maybe by use of `hostname -f`)
or leave it to the MTA to qualify the address by setting only "root".
Thanks for consideration and best regards
Hendrik
-- System Information:
Debian Release: wheezy/sid
APT prefers testing
APT policy: (1000, 'testing
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
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
BUILDUSERNAME. When I add the necessary permissions,
the package builds fine.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
, currently waiting in the new-queue, too
- minisat would also belong to this group
- you might want to have a separate meta-package
"theorem-proving" or "formal-methods" for all these tools
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.o
that are sponsored
there.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
nnot compile
See `config.log' for more details
make: *** [debian/stamp-autotools] Error 1
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
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
rade to 2.68 to keep the patch small).
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
configure believes $USER=root and aborts.
For me this looks like pbuilder is not setting the environment
correctly when changing to the non-root user. Or the configure
script is wrong in taken the contents of $USER.
Gruss,
Hendrik
PS. To reproduce
- pbuilder create
- pbuilder login --save-after-login
Thanks for your work Jari!
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
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
Directing compilati
ii perl 5.10.1-17squeeze3 Larry Wall's Practical Extraction
dh-make recommends no packages.
Versions of packages dh-make suggests:
ii build-essential 11.5 Informational list of build-essent
-- no debconf information
Bye,
Hendrik
--
To UNSU
n suggests no packages.
-- no debconf information
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
upgrade version has fewer
el files.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Hi Jari,
I compile wine by myself because I maintain some apps in the appdb which
I want to run with the bleeding edge version of wine to test their
compatiblity.
I also install this self-compiled version to my system which is bad if
there is already an installed debian wine package.
I ask you t
after Regex
and friends is a space
- unison is not actively developed anymore
- permitting tabs directly after Regex and friends is not trivial
I therefore don't think it makes sense to forward this feature
wish to unison-us...@yahoogroups.com.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to d
ackaged add-ons like
Thanks for these two hints. I'll fix this with the next upload.
Both points come from the upstream installation procedure of
Proof General.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscr
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,
#x27;: debuild -i -I returned 29
What should I do to build the package?
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
tions are done by one function. This
bug will therefore stay open until the next upstream prerelease.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
11.5 Informational list of build-essent
-- no debconf information
--
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
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 "unsubs
so if the package is ready for 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
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
d silently write to
read-only buffers. But regardless of that, call-process should do
the same thing with read-only buffers independent of the coding
system for read operations.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Thank you for reporting this bug. It is fixed in the 0.12.6 version of
gogglesmm, since this version does not link to the libcurl library
anymore.
The new package should be uploaded as part of the libpng transition
(http://packages.qa.debian.org/g/gogglesmm.html).
signature.asc
Description: This
a
bug report against your emacs package (and not emacs-common)?
What do you see when you put this call-process test code into
/tmp/x.el and do
emacs -q --no-site-file -batch -l /tmp/x.el
?
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject
external tools that can be used with HOL Light are
in Suggests.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
ght is
different from Coq, there is no hol-lightc!)
To ensure quality I want to run the test suite (file holtest).
But running this takes several hours. Some of those tests require
external tools (eg prover9, zchaff). I first have to find out
which of those test should work on a Debian installation.
em is that such snapshot images contain all needed
shared libraries and would have to get updated whenever there is
a security update of one of those libraries.
The README.Debian explains now how to use dmtcp to create
snapshots.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@l
:
Depends: camlp5, ocaml-base-nox-3.12.1, camlp5-q9ic5
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
0.9.2 is out.
Any progress?
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
.12.1-2 through Format
camlp5 - 6.04-1 q9ic5
ocaml-nox ocaml-base-nox 3.12.1-2 3.12.1
W: hol-light doesn't resolve dependency on unit Asttypes
W: hol-light doesn't resolve dependency on unit Parsetree
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ..
nderstand why dh_ocaml is not suitable.
I wasn't really aware of these ABI hashes.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
ould work on i386 and amd64 and would
certainly be useful. I leave this point for the next version of
the package.
Some people are working on supporting hol-light in Proof General.
This is however not complete yet. Hopefully, I can incorporate
hol-light support in Proof General with the next
.
I am going to ask the upstream author whether he intended a BSD
license.
Bye,
Hendrik
[1] http://code.google.com/p/hol-light/source/browse/trunk/LICENSE
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble?
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
the intstall target has all as
prerequisite, which in turn depends on opt.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
n we don't need transitional cmalp5, do we?
Can I proceed and upload camlp5 6.04-1 as it is now, or do you want to
give a shot at providing an additional camlp5t package?
Please go ahead. If transitional camlp5 is not needed I save the
time for something else.
Bye,
Hendrik
--
To U
e set of packages that
depend on camlp5?
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
list
matita depends on ulex0.8. Does this fact already rule out the
option of supporting strict camlp5 only?
ledit, geneweb and coq build without problems with strict camlp5.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscr
6.04:
* [01 Mar 12] Added option -name in configure to change command name
useful to have transitional and strict versions installed with
different names. Default: camlp5.
* [01 Mar 12] The default mode at configuration time is now 'strict'.
Bye,
Hendrik
--
To U
ssreflect?
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
out will be a non-trivial task.
We probably need two different library directories, eg
/usr/lib/ocaml/camlp5-strict and
/usr/lib/ocaml/camlp5-transitional.
What about having two source packages sharing the same upstream
source? Is this possible in Debian?
Bye,
Hendrik
--
To UNSUBSCRIBE, email
one could build
the strict camlp5 binary package from a different source package,
say camlp5-strict, which of course shares the upstream sources
with the source package for transitional camlp5.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of
but here's the full log, and the
pkg versions.
Thanks for the full info, it confirms my guess about the
compilation problem with emacs23-nox. A new package fixing this
bug is now waiting at mentors.debian.net...
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lis
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
f the fact that Proof General does not
support xemacs any longer?
$ aptitude install proofgeneral 2>&1 | grep -C10 -i error
Please provide the complete output. From the fragment I don't
even see which script failed.
Bye,
Hendrik
PS. I am on vacation next week, please be p
d you try if the problem goes away with installing emacs23 or
emacs23-lucid before installing/upgrading proofgeneral?
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
putting '(*' at the beginning and '*)' at the end. That's why
strings, chars and quotations are parsed inside comments and why
they have to be properly balanced. Other languages do not enjoy
this property.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist
s, characters and quotations (if you parse with camlp4)
must be properly terminated inside comments. We don't need to ask
that.
If we could reproduce your error message, we could maybe file a
feature request for a more informative error message. The error
message of ocamlopt
Package: git-buildpackage
Version: 0.6.0~git20120210
Severity: minor
When calling git-buildpackage, it attempts to do a "make clean" at the
beginning.
The Makefile in my orig-tarball is broken and therefore make clean
hangs.
I think my quilt patches to the Makefile should be applied before doing
l create a directory within
my actual path, but not in given absolute path.
Well, the build directory is created in the right place. Only
when it wants to open _digest it concatenates the working
directory in a wrong way to the build dir.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs
ent
of form (* << *) or (* >> *), but this was very hard to reproduce and
catch in
an example-file.
>From this I would guess that this bug should actually be assigned
to camlp4 or camlp5.
Maybe you had
(* << *)
some code
(* >> *)
? Then ``some code
Am Montag, 6. Februar 2012, 18:33:11 schrieb Michael Biebl:
> On 06.02.2012 18:23, Hendrik Sattler wrote:
> > Am Montag, 6. Februar 2012, 17:31:28 schrieb Michael Biebl:
> >> Sounds like dbus is not running.
> >
> > Correct. But why?
> >
> >> Coul
Am Montag, 6. Februar 2012, 17:31:28 schrieb Michael Biebl:
> Sounds like dbus is not running.
Correct. But why?
> Could you please check if you have a running dbus-daemon process.
> What does systemctl status dbus.socket resp systemctl status
> dbus.service say?
"systemctl -a" says "loaded inac
7;.
The reported problem is:
NEW: --WARN-- [pass014w] Login (hendrik) is disabled, but has a valid
shell.
The corresponding check is in
file /usr/lib/tiger/scripts/check_passwd:173
Since the default mechanism for setting passwords seems to have changed
in debian, IMHO tigers default config should be
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 (S
Hi.
On 09/01/12 13:33, Ansgar Burchardt wrote:
> What are the permissions and owner of $HOME/.config and
> $HOME/.config/alien-arena? You can see them with
> $ ls -ld $HOME/.config $HOME/.config/alien-arena
drwxr-xr-x 71 henner henner 4096 Jan 8 00:30 /home/henner/.config
lrwxrwxrwx 1 henner
301 - 400 of 888 matches
Mail list logo