From 337a23653582d491f85f88bc1005abe0e2197e0b Mon Sep 17 00:00:00 2001
From: Aleksandar Nanevski <aleks.nanevski@imdea.org>
Date: Wed, 15 Jan 2025 17:53:43 +0100
Subject: [PATCH] fixing dependencies

---
 meta.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/meta.yml b/meta.yml
index e0ab662..4856ffc 100644
--- a/meta.yml
+++ b/meta.yml
@@ -48,8 +48,8 @@ tested_coq_opam_versions:
   repo: 'mathcomp/mathcomp'
 - version: '2.3.0-coq-8.20'
   repo: 'mathcomp/mathcomp'
-- version: 'coq-dev'
-  repo: 'mathcomp/mathcomp-dev'
+- version: 'latest-coq-dev'
+  repo: 'mathcomp/mathcomp'
 
 dependencies:
 - opam: