diff options
| author | Vincent Laporte | 2018-12-10 08:01:50 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-12-10 08:01:50 +0000 |
| commit | cb287591722e4d44671eb8c90138cf063ac5b707 (patch) | |
| tree | 1d9828f37dd51847742db3a3218ca05c8bee97b2 /dev | |
| parent | 9c816837de38b8c0766d49d3923b4338012c4fc1 (diff) | |
| parent | e245e31a6fa3df465f99159999aac6ebbc0b48eb (diff) | |
Merge PR #9106: [dune] Install coq libraries in `%{lib_root}/coq` instead of in `lib
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions