From 44443c99e1649d2d65170b219aedfceccc06dfbe Mon Sep 17 00:00:00 2001 From: Raja Boujbel Date: Thu, 6 Jul 2023 15:55:08 +0200 Subject: [PATCH] Bump vendored dependency ocaml-mccs to 1.1+16 --- master_changes.md | 2 ++ opam-solver.opam | 2 +- src_ext/Makefile.sources | 4 ++-- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/master_changes.md b/master_changes.md index f9c3ab0e73b..32d9e375249 100644 --- a/master_changes.md +++ b/master_changes.md @@ -63,6 +63,8 @@ users) ## VCS ## Build +### Dependencies + * Bump mccs to 1.1+16 [#5510 @rjbou] ## Infrastructure diff --git a/opam-solver.opam b/opam-solver.opam index 326e24bca77..88a70d368fb 100644 --- a/opam-solver.opam +++ b/opam-solver.opam @@ -30,7 +30,7 @@ build: [ depends: [ "ocaml" {>= "4.08.0"} "opam-format" {= version} - "mccs" {>= "1.1+9"} + "mccs" {>= "1.1+16"} "dose3" {>= "6.1"} "cudf" {>= "0.7"} "re" {>= "1.9.0"} diff --git a/src_ext/Makefile.sources b/src_ext/Makefile.sources index 038ed683799..d8d0157a5c1 100644 --- a/src_ext/Makefile.sources +++ b/src_ext/Makefile.sources @@ -38,8 +38,8 @@ MD5_dose3 = bc99cbcea8fca29dca3ebbee54be45e1 $(call PKG_SAME,dose3) -URL_mccs = https://github.com/AltGr/ocaml-mccs/archive/1.1+14.tar.gz -MD5_mccs = 9bfa9ff1eb3948403d44521e4e71933a +URL_mccs = https://github.com/ocaml-opam/ocaml-mccs/archive/1.1+16.tar.gz +MD5_mccs = 4446765f76586baee995c53c2701974b $(call PKG_SAME,mccs)