guix-patches
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#27195: Add search-paths for coq libraries

From: julien lepiller
Subject: bug#27195: Add search-paths for coq libraries
Date: Fri, 02 Jun 2017 10:11:23 +0200
User-agent: Roundcube Webmail/1.2.5
Hi, here is a patch to set COQPATH, the environment variable used by coq to find external libraries.

Attachment: 0001-gnu-coq-Add-search-paths-for-coq-libraries.patch
Description: Text Data

reply via email to
[Prev in Thread] Current Thread [Next in Thread]