From cd3a7d5be6f9ae699fd4d1f3f4101fa31ba96ed6 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Wed, 17 Jun 2015 11:06:51 +0200
Subject: [PATCH] ssreflect, mathcomp: better package names

---
 pkgs/development/coq-modules/mathcomp/generic.nix  | 2 +-
 pkgs/development/coq-modules/ssreflect/generic.nix | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/coq-modules/mathcomp/generic.nix b/pkgs/development/coq-modules/mathcomp/generic.nix
index 3748152b68a..56838734b6d 100644
--- a/pkgs/development/coq-modules/mathcomp/generic.nix
+++ b/pkgs/development/coq-modules/mathcomp/generic.nix
@@ -5,7 +5,7 @@
 
 stdenv.mkDerivation {
 
-  name = "coq-${coq.coq-version}-mathcomp-1.5";
+  name = "coq-mathcomp-1.5-${coq.coq-version}";
 
   inherit src;
 
diff --git a/pkgs/development/coq-modules/ssreflect/generic.nix b/pkgs/development/coq-modules/ssreflect/generic.nix
index dffa895da5f..e208f1cc25a 100644
--- a/pkgs/development/coq-modules/ssreflect/generic.nix
+++ b/pkgs/development/coq-modules/ssreflect/generic.nix
@@ -5,7 +5,7 @@
 
 stdenv.mkDerivation {
 
-  name = "coq-${coq.coq-version}-ssreflect-1.5";
+  name = "coq-ssreflect-1.5-${coq.coq-version}";
 
   inherit src;