mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-27 16:15:05 +00:00
5 lines
132 B
Plaintext
5 lines
132 B
Plaintext
|
url http://eigen.tuxfamily.org/
|
||
|
ensure_choice
|
||
|
version '.*/([-0-9.]+)[.]tar[.].*' '\1'
|
||
|
do_overwrite() { do_overwrite_just_version; }
|