diff --git a/Makefile b/Makefile index 3b4fac23e..9abdab97e 100644 --- a/Makefile +++ b/Makefile @@ -40,7 +40,7 @@ GNATCOLL_DIR = contrib/gnatcoll-bindings LANGKIT_DIR = contrib/langkit ADASAT_DIR = contrib/adasat -DEVUTILS_HEAD = cabe20a720f6adb62f2ac378ad2762cacee96089 +DEVUTILS_HEAD = 7d5514cdb8d103dd30d2e23453010ac97cec8c18 GNATCOLL_HEAD = f988b2052d01310b830d63e86e19c8dc77d382a2 LANGKIT_HEAD = 07218ed24a932e747b98416ceae74e1620276ecc ADASAT_HEAD = f20d814a4b26508d0dd6ee48a92bc560b122dad5 diff --git a/poetry.lock b/poetry.lock index 7330e910f..9a17a2e87 100644 --- a/poetry.lock +++ b/poetry.lock @@ -1778,7 +1778,7 @@ files = [ [[package]] name = "RecordFlux-devutils" -version = "0.1.dev69+gcabe20a" +version = "0.1.dev72+g7d5514c" description = "Linter configs and custom checkers" optional = false python-versions = ">=3.8"