archimedes: update from 2.0.0 to 2.0.1

This commit is contained in:
Nixpkgs Monitor 2013-12-15 11:10:06 +02:00 committed by Evgeny Egorochkin
parent c08c8ddb52
commit ac1972d177

View File

@ -1,11 +1,11 @@
{stdenv, fetchurl}:
stdenv.mkDerivation rec {
name = "archimedes-2.0.0";
name = "archimedes-2.0.1";
src = fetchurl {
url = "mirror://gnu/archimedes/${name}.tar.gz";
sha256 = "1ajg4xvk5slv05fsbikrina9g4bmhx8gykk249yz21pir67sdk4x";
sha256 = "0jfpnd3pns5wxcxbiw49v5sgpmm5b4v8s4q1a5292hxxk2hzmb3z";
};
meta = {