diff options
Diffstat (limited to 'pkgs/development/libraries/eigen/default.upstream')
-rw-r--r-- | pkgs/development/libraries/eigen/default.upstream | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pkgs/development/libraries/eigen/default.upstream b/pkgs/development/libraries/eigen/default.upstream deleted file mode 100644 index c0c05efc466cc..0000000000000 --- a/pkgs/development/libraries/eigen/default.upstream +++ /dev/null @@ -1,4 +0,0 @@ -url http://eigen.tuxfamily.org/ -ensure_choice -version '.*/([-0-9.]+)[.]tar[.].*' '\1' -do_overwrite() { do_overwrite_just_version; } |