block 670339 by 676424 thanks Switching to debian-pkg-add-load-path-item breaks Proof General, see #676424.
Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
block 670339 by 676424 thanks Switching to debian-pkg-add-load-path-item breaks Proof General, see #676424.
Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]