From c32bf770ab0d600f388b7afeb85d4b6a10c517e9 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Mon, 11 Feb 2019 12:28:58 +0800
Subject: [PATCH] nix: give openocd a better name to distinguish from nixpkgs
 version

---
 nix/pkgs/openocd.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/nix/pkgs/openocd.nix b/nix/pkgs/openocd.nix
index 4ec524e33..df6588ab9 100644
--- a/nix/pkgs/openocd.nix
+++ b/nix/pkgs/openocd.nix
@@ -1,8 +1,8 @@
 { stdenv, fetchFromGitHub, autoreconfHook, libftdi, libusb1, pkgconfig, hidapi }:
 
 stdenv.mkDerivation rec {
-  name = "openocd-${version}";
-  version = "0.10.0.mlabs";
+  name = "openocd-mlabs-${version}";
+  version = "0.10.0";
 
   src = fetchFromGitHub {
       owner = "m-labs";