diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-28 12:27:08 +0100 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-28 14:03:14 +0100 |
commit | fde68228d9c837c10bca79434478a057116d0179 (patch) | |
tree | 9a74fcd1ea1d37391a2c8f670d225940094623b4 /pkgs/development/coq-modules | |
parent | 181139fe094d927df8482b613d383d68f3994ad6 (diff) | |
download | nixlib-fde68228d9c837c10bca79434478a057116d0179.tar nixlib-fde68228d9c837c10bca79434478a057116d0179.tar.gz nixlib-fde68228d9c837c10bca79434478a057116d0179.tar.bz2 nixlib-fde68228d9c837c10bca79434478a057116d0179.tar.lz nixlib-fde68228d9c837c10bca79434478a057116d0179.tar.xz nixlib-fde68228d9c837c10bca79434478a057116d0179.tar.zst nixlib-fde68228d9c837c10bca79434478a057116d0179.zip |
coq: setup-hook for libraries
Adds a hook to automatically populate the $COQPATH variable. Coq libraries are expected to be installed in lib/coq/${coq-version}/user-contrib/
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions