diff options
| author | Vincent Laporte | 2020-01-15 10:00:30 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2020-01-15 10:01:18 +0100 |
| commit | e69931170d2b460c30be1f54bb94043c0c001272 (patch) | |
| tree | 994958a060e8dabd9f66f9b9e6954560b6332b4a /kernel/nativecode.mli | |
| parent | c072c6d11a1ed5712e84d3e8da5172c3d162a2d4 (diff) | |
[Nix] Update reference to nixpkgs
This brings dune at version 2.1.2
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions