GNU bug report logs - #38433
ProofGeneral and Emacs sharing a profile

Previous Next

Package: guix;

Reported by: Brett Gilio <brettg <at> posteo.net>

Date: Sat, 30 Nov 2019 03:39:02 UTC

Severity: normal

Done: zimoun <zimon.toutoune <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Brett Gilio <brettg <at> posteo.net>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 38433 <at> debbugs.gnu.org
Subject: bug#38433: ProofGeneral and Emacs sharing a profile
Date: Sat, 30 Nov 2019 16:12:44 -0600

Julien Lepiller <julien <at> lepiller.eu> writes:

> It could pg's fault. We have a vcry old vcrsion that is probably
> completely broken. I tried to package a newer version, but being not
> an emacs user it was too hard for me. Maybe someone can give it a try
> (you? :p)

I have began working updating the package. :)

A lot of things have changed between the current version in Guix, and
the latest upstream. So I want to be thorough. Will update on the status
and send a patch soon.

-- 
Brett M. Gilio
https://git.sr.ht/~brettgilio/
This bug report was last modified 3 years and 179 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.