coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Problem installing Coq8.5beta3: Unbound value GtkData.AccelMap.change_entry

From: Andrés Sicard-Ramírez <asr AT eafit.edu.co>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] Problem installing Coq8.5beta3: Unbound value GtkData.AccelMap.change_entry
Date: Thu, 12 Nov 2015 08:41:04 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andres.sicard.ramirez AT gmail.com; spf=Pass smtp.mailfrom=andres.sicard.ramirez AT gmail.com; spf=None smtp.helo=postmaster AT mail-ig0-f176.google.com
Ironport-phdr: 9a23:x+gXQheu7EvvJeQm533ZJJ7WlGMj4u6mDksu8pMizoh2WeGdxc6+Yh7h7PlgxGXEQZ/co6odzbGG7ua4ASQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTqkbjqs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLVry/dKAlR/QMBzM/dmsx+cfDtB/ZTALJ6GFKAUsMlR8dKg7J9pDhFqzwuSLguq9H0SwfJ8DkBeQ9Qi6K4q5lSQOuhSsacTU+pjKEwvdshb5W9Ury7yd0xJTZNdmY

Hi,

On 11 November 2015 at 19:05, Maxime Dénès
<mail AT maximedenes.fr>
wrote:
> The Coq development team is pleased to announce the release of the
> third beta version of Coq 8.5 available at:
>

Thanks for the release!

I couldn't install Coq8.5beta3 from
https://coq.inria.fr/distrib/V8.5beta3/files/coq-8.5beta3.tar.gz

$ make
...
File "ide/preferences.ml", line 717, characters 16-45:
Error: Unbound value GtkData.AccelMap.change_entry
make[1]: *** [ide/preferences.cmo] Error 2

Additional information:
OS: Ubuntu 12.04

$ ocaml -version
The Objective Caml toplevel, version 3.12.1

$ camlp5 -v
Camlp5 version 6.02.3 (ocaml 3.12.1)

Best regards,

--
Andrés

[Coq-Club] Problem installing Coq8.5beta3: Unbound value GtkData.AccelMap.change_entry, Andrés Sicard-Ramírez, 11/12/2015
- Re: [Coq-Club] Problem installing Coq8.5beta3: Unbound value GtkData.AccelMap.change_entry, Enrico Tassi, 11/12/2015
  - Re: [Coq-Club] Problem installing Coq8.5beta3: Unbound value GtkData.AccelMap.change_entry, Andrés Sicard-Ramírez, 11/12/2015