From d577f5b1209ee1ac1d6a63c42d711bfe0fdade58 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Mon, 15 Mar 2021 11:52:15 +0000
Subject: update vscoq to 0.3.4

---
 .gitpod.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index 59499ad..725060a 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -16,4 +16,4 @@ vscode:
     - bbenoist.Nix@1.0.1:TbrU16w37jLfkqA6h20vuQ==
     - gares.coq-elpi-lang@0.0.4:fd+apIChnUwoQhvWFW33KA==
     - gares.elpi-lang@0.1.1:Hq2+Ku1u3oO5KPtLqtFsIA==
-    - maximedenes.vscoq@0.3.3:/adqFu9kP5hzZZO35NPV8g==
+    - maximedenes.vscoq@0.3.4:scKF++aWERyqPMiIz8l02w==
\ No newline at end of file
-- 
cgit v1.2.3