Public bug reported:
Binary package hint: proofgeneral-coq
I've just tried proofgeneral-coq on Hardy and I can't make it work.
I launch emacs through:
$ emacs -q -l /usr/share/emacs/site-lisp/proofgeneral/generic/proof-
site.el -f proof-splash-display-screen ~/coq/coq.v
Then splash screen display correctly. I can start typing a simple
expression like 'Check True.'. When I try to execute that through C-c
C-b, a message "Starting process: coqtop -emacs" appears. From that
point, emacs freezes and never give the control back to the user.
coqtop in a terminal seems to work ok.
$ lsb_release -rd
Description: Ubuntu 8.04
Release: 8.04
I'm using the latest emacs-snapshot version from Alexandre Vassalotti.
$ apt-cache policy emacs-snapshot
emacs-snapshot:
Installed: 1:20080504-1~hardy
Candidate: 1:20080504-1~hardy
Version table:
*** 1:20080504-1~hardy 0
500 http://ppa.launchpad.net hardy/main Packages
100 /var/lib/dpkg/status
1:20080228-1ubuntu1 0
500 http://fr.archive.ubuntu.com hardy/universe Packages
$ apt-cache policy proofgeneral-coq
proofgeneral-coq:
Installed: 3.5-6
Candidate: 3.5-6
Version table:
*** 3.5-6 0
500 http://fr.archive.ubuntu.com hardy/universe Packages
100 /var/lib/dpkg/status
** Affects: proofgeneral (Ubuntu)
Importance: Undecided
Status: New
--
proofgeneral-coq doesn't work on Hardy
https://bugs.launchpad.net/bugs/237381
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
