Public bug reported:
coq/coq-seq-compile.el:302:10:Warning: ‘coq-load-path-include-current’ is an
obsolete variable (as of 4.3); Coq 8.5 does not need it
In coq-smie-backward-token:
coq/coq-smie.el:508:39:Warning: looking-back called with 1 argument, but
requires 2-3
In coq-smie-rules:
coq/coq-smie.el:978:27:Warning: reference to free variable ‘smie--parent’
ERROR: install script from proofgeneral package failed
dpkg: error processing package proofgeneral (--configure):
subprocess installed post-installation script returned error exit status 1
Processing triggers for man-db (2.7.6.1-2) ...
Processing triggers for gnome-menus (3.13.3-6ubuntu5) ...
Processing triggers for hicolor-icon-theme (0.15-1) ...
Errors were encountered while processing:
proofgeneral
E: Sub-process /usr/bin/dpkg returned an error code (1)
ProblemType: Package
DistroRelease: Ubuntu 17.04
Package: proofgeneral 4.4.1~pre170114-1
ProcVersionSignature: Ubuntu 4.10.0-19.21-generic 4.10.8
Uname: Linux 4.10.0-19-generic x86_64
ApportVersion: 2.20.4-0ubuntu4
AptOrdering:
mmm-mode:amd64: Install
proofgeneral:amd64: Install
NULL: ConfigurePending
Architecture: amd64
Date: Mon Apr 17 02:00:14 2017
ErrorMessage: subprocess installed post-installation script returned error exit
status 1
InstallationDate: Installed on 2015-05-15 (702 days ago)
InstallationMedia: Ubuntu-MATE 15.04 "Vivid Vervet" - Release amd64 (20150422.1)
PackageArchitecture: all
RelatedPackageVersions:
dpkg 1.18.10ubuntu2
apt 1.4
SourcePackage: proofgeneral
Title: package proofgeneral 4.4.1~pre170114-1 failed to install/upgrade:
subprocess installed post-installation script returned error exit status 1
UpgradeStatus: Upgraded to zesty on 2017-04-16 (1 days ago)
** Affects: proofgeneral (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-package zesty
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1683235
Title:
package proofgeneral 4.4.1~pre170114-1 failed to install/upgrade:
subprocess installed post-installation script returned error exit
status 1
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/proofgeneral/+bug/1683235/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
