diff options
| author | Vincent Laporte | 2018-05-29 08:25:20 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-05-29 08:40:29 +0000 |
| commit | 0a936017ee420ef4af82c9bf32c200ad7a7277bb (patch) | |
| tree | fc5d4e901810265bd0081f23c0f2e739a51d1297 /pretyping/typeclasses_errors.ml | |
| parent | ba809fa844b517e8a3606d9f6a6cac22e5585e27 (diff) | |
[default.nix] Drop dependency to ocp-index
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions