diff options
| author | Vincent Laporte | 2019-10-31 11:00:03 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-10-31 11:00:03 +0000 |
| commit | 17da8b9f0f0c2afc6c52c0f2ef688287f2f560c8 (patch) | |
| tree | 912fa28a2e72ab376e3f266809a991b079331ed4 /kernel/typeops.ml | |
| parent | e9dddcb2b5297f2e601a2e2d65a131ee5fde19e4 (diff) | |
[Nix] Update reference to nixpkgs
This version of nixpkgs includes:
- Dune 1.11.4
- GTK3 3.24.12
- menhir 20190626
Diffstat (limited to 'kernel/typeops.ml')
0 files changed, 0 insertions, 0 deletions