diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2014-08-31 20:42:00 +0400 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2014-08-31 20:42:08 +0400 |
commit | c5168debe863a923d85fe156f535ef37b0841833 (patch) | |
tree | 731b6c9b4d02a78239933c89f079e0d26e42d2ee /pkgs/development/libraries/eigen/default.upstream | |
parent | 8152e66da54cd99e45ae4aa0001e879357677214 (diff) | |
download | nixpkgs-c5168debe863a923d85fe156f535ef37b0841833.tar nixpkgs-c5168debe863a923d85fe156f535ef37b0841833.tar.gz nixpkgs-c5168debe863a923d85fe156f535ef37b0841833.tar.bz2 nixpkgs-c5168debe863a923d85fe156f535ef37b0841833.tar.lz nixpkgs-c5168debe863a923d85fe156f535ef37b0841833.tar.xz nixpkgs-c5168debe863a923d85fe156f535ef37b0841833.tar.zst nixpkgs-c5168debe863a923d85fe156f535ef37b0841833.zip |
Update eigen
Diffstat (limited to 'pkgs/development/libraries/eigen/default.upstream')
-rw-r--r-- | pkgs/development/libraries/eigen/default.upstream | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/development/libraries/eigen/default.upstream b/pkgs/development/libraries/eigen/default.upstream new file mode 100644 index 00000000000..c0c05efc466 --- /dev/null +++ b/pkgs/development/libraries/eigen/default.upstream @@ -0,0 +1,4 @@ +url http://eigen.tuxfamily.org/ +ensure_choice +version '.*/([-0-9.]+)[.]tar[.].*' '\1' +do_overwrite() { do_overwrite_just_version; } |