From 2f864f2ce8885d309ebcb3289295d0acb459d468 Mon Sep 17 00:00:00 2001 From: Ramkumar Ramachandra <r@artagnon.com> Date: Sat, 16 Mar 2024 11:36:03 +0000 Subject: [PATCH] housekeeping/bonak.opam: bump packages --- bonak.opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bonak.opam b/bonak.opam index bd64dfa..f5c637e 100644 --- a/bonak.opam +++ b/bonak.opam @@ -9,8 +9,8 @@ homepage: "https://github.com/artagnon/bonak" bug-reports: "https://github.com/artagnon/bonak/issues" dev-repo: "git+https://github.com/artagnon/bonak" depends: [ - "coq" { >= "8.18.0" } - "dune" { >= "3.9.1" } + "coq" { >= "8.19.1" } + "dune" { >= "3.14.0" } ] build: [ ["dune" "build"]