From 40dee78dd46e22496fbddda36dcf33c884a68701 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 20 Jul 2023 13:15:43 +0000 Subject: [PATCH] Bump pygments from 2.8.0 to 2.15.0 Bumps [pygments](https://github.com/pygments/pygments) from 2.8.0 to 2.15.0. - [Release notes](https://github.com/pygments/pygments/releases) - [Changelog](https://github.com/pygments/pygments/blob/master/CHANGES) - [Commits](https://github.com/pygments/pygments/compare/2.8.0...2.15.0) --- updated-dependencies: - dependency-name: pygments dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/requirements.txt b/requirements.txt index 682ca1ec2..8bd3ad88f 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1,5 +1,5 @@ -e git+https://github.com/AdaCore/langkit.git#egg=langkit -Pygments==2.8.0 +Pygments==2.15.0 Sphinx==4.5 prompt-toolkit==3.0.6 railroad-diagrams==1.1.0