From mboxrd@z Thu Jan  1 00:00:00 1970
From: Brett Gilio <brettg@posteo.net>
Subject: bug#38433: ProofGeneral and Emacs sharing a profile
Date: Sat, 30 Nov 2019 16:12:44 -0600
Message-ID: <87mucdm2sj.fsf@posteo.net>
References: <87zhget4mt.fsf@posteo.net>
 <7899596C-6400-4A84-8546-5A5F2853AA07@lepiller.eu>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:41043)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1ibAz9-0000DI-C6
 for bug-guix@gnu.org; Sat, 30 Nov 2019 17:13:04 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1ibAz8-00025Y-8x
 for bug-guix@gnu.org; Sat, 30 Nov 2019 17:13:03 -0500
Received: from debbugs.gnu.org ([209.51.188.43]:57521)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1ibAz8-00025J-5m
 for bug-guix@gnu.org; Sat, 30 Nov 2019 17:13:02 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1ibAz8-00064C-1c
 for bug-guix@gnu.org; Sat, 30 Nov 2019 17:13:02 -0500
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.38433.B.157515196923276@debbugs.gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:40989)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <brettg@posteo.net>) id 1ibAyr-0000AF-EW
 for bug-guix@gnu.org; Sat, 30 Nov 2019 17:12:46 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <brettg@posteo.net>) id 1ibAyp-0001lA-Tz
 for bug-guix@gnu.org; Sat, 30 Nov 2019 17:12:45 -0500
Received: from mout02.posteo.de ([185.67.36.66]:46653)
 by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <brettg@posteo.net>) id 1ibAyp-0001hG-Ed
 for bug-guix@gnu.org; Sat, 30 Nov 2019 17:12:43 -0500
Received: from submission (posteo.de [89.146.220.130])
 by mout02.posteo.de (Postfix) with ESMTPS id 41BF32400FB
 for <bug-guix@gnu.org>; Sat, 30 Nov 2019 23:12:40 +0100 (CET)
In-Reply-To: <7899596C-6400-4A84-8546-5A5F2853AA07@lepiller.eu> (Julien
 Lepiller's message of "Sat, 30 Nov 2019 08:42:29 +0100")
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
 <mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/bug-guix>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
 <mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: Julien Lepiller <julien@lepiller.eu>
Cc: 38433@debbugs.gnu.org

Julien Lepiller <julien@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/