From 4db6c583711dfe8e9c7285e630bfb0cf8f33c0a6 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sat, 12 Dec 2015 11:43:05 -0500
Subject: switch ":" to "-"

---
 mathcomp/ssreflect/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/ssreflect')

diff --git a/mathcomp/ssreflect/opam b/mathcomp/ssreflect/opam
index 5a6d904..af89440 100644
--- a/mathcomp/ssreflect/opam
+++ b/mathcomp/ssreflect/opam
@@ -1,5 +1,5 @@
 opam-version: "1.2"
-name: "coq:mathcomp:ssreflect"
+name: "coq-mathcomp-ssreflect"
 version: "dev"
 maintainer: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
 
-- 
cgit v1.2.3