diff options
author | Mitsuhiro Nakamura <m.nacamura@gmail.com> | 2017-07-17 12:32:16 +0900 |
---|---|---|
committer | Mitsuhiro Nakamura <m.nacamura@gmail.com> | 2017-07-18 19:45:43 +0900 |
commit | 488db3d392856d841b72986700fc572306972da0 (patch) | |
tree | a86d81821c57b9e3d98c270fa455fba3d64e3a73 /pkgs/applications/science/logic/lean2 | |
parent | 50831d543d37bb2953386922c6b5c7488f9028ba (diff) | |
download | nixlib-488db3d392856d841b72986700fc572306972da0.tar nixlib-488db3d392856d841b72986700fc572306972da0.tar.gz nixlib-488db3d392856d841b72986700fc572306972da0.tar.bz2 nixlib-488db3d392856d841b72986700fc572306972da0.tar.lz nixlib-488db3d392856d841b72986700fc572306972da0.tar.xz nixlib-488db3d392856d841b72986700fc572306972da0.tar.zst nixlib-488db3d392856d841b72986700fc572306972da0.zip |
mathematica: fix library paths
Diffstat (limited to 'pkgs/applications/science/logic/lean2')
0 files changed, 0 insertions, 0 deletions