mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-11-06 18:26:45 +01: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; }
|