eclipse-plugin-gnuarmeclipse: 2.11.1 -> 3.1.1

This commit is contained in:
Bjørn Forsman 2016-09-08 12:36:58 +02:00 committed by Robert Helgesson
parent 85091e33b7
commit b6be2e9dc2
No known key found for this signature in database
GPG Key ID: C3DB11069E65DC86

View File

@ -322,12 +322,12 @@ rec {
gnuarmeclipse = buildEclipseUpdateSite rec {
name = "gnuarmeclipse-${version}";
version = "2.11.1-201512141335";
version = "3.1.1-201606210758";
src = fetchzip {
stripRoot = false;
url = "https://github.com/gnuarmeclipse/plug-ins/releases/download/v${version}/ilg.gnuarmeclipse.repository-${version}.zip";
sha256 = "1ijvnahfw2wc860la7kj8b52z2sfm8k1yk62bl0d4lq60y3aycg9";
sha256 = "1g77jlhfa3csaxxps1z5lasrd9l2p5ajnddnq9ra5syw8ggkdc2h";
};
meta = with stdenv.lib; {