From 2b2d034a08c086a56762c2b6c0f1220130d3e028 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 10 Jan 2024 06:35:18 +0100 Subject: [PATCH] advi: use OCaml 4.14 --- pkgs/top-level/all-packages.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index f80f742702fb..7b10186112a9 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -5394,7 +5394,9 @@ with pkgs; ### TOOLS/TYPESETTING/TEX - advi = callPackage ../tools/typesetting/tex/advi { }; + advi = callPackage ../tools/typesetting/tex/advi { + ocamlPackages = ocaml-ng.ocamlPackages_4_14; + }; auctex = callPackage ../tools/typesetting/tex/auctex { };