diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2017-06-01 17:52:12 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2017-06-06 21:10:09 +0200 |
| commit | 50cbbc9bd439c0db1cce6ba6d6a49de1d1f3bacd (patch) | |
| tree | 27c6e26dc61fc1449fb491215c6102e9cbfdac82 /gnu/packages/maths.scm | |
| parent | 61bafd44775c864af1bbea293cbd78ec59d9112e (diff) | |
| download | patches-50cbbc9bd439c0db1cce6ba6d6a49de1d1f3bacd.tar patches-50cbbc9bd439c0db1cce6ba6d6a49de1d1f3bacd.tar.gz | |
gnu: coq: Add search-paths for coq libraries.
* gnu/packages/ocaml.scm (coq)[native-search-paths]: New field.
Diffstat (limited to 'gnu/packages/maths.scm')
0 files changed, 0 insertions, 0 deletions