diff options
Diffstat (limited to '.gitpod.yml')
| -rw-r--r-- | .gitpod.yml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |