From dd01c45850dc2428af6b6f0aa85c13e1e2a50a7c Mon Sep 17 00:00:00 2001
From: Samuel Hym <samuel.hym@univ-lille.fr>
Date: Wed, 29 Jun 2022 12:39:45 +0200
Subject: [PATCH] CI: Update the debian version

Follow the update of the Coq docker image to Debian Bullseye
---
 .ci/sources.list | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.ci/sources.list b/.ci/sources.list
index 34836ad..58aa2f7 100644
--- a/.ci/sources.list
+++ b/.ci/sources.list
@@ -1,2 +1,2 @@
-deb http://debian.polytech-lille.fr/debian buster main
-deb http://debian.polytech-lille.fr/debian buster-updates main
+deb http://debian.polytech-lille.fr/debian bullseye main
+deb http://debian.polytech-lille.fr/debian bullseye-updates main
-- 
GitLab