mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-21 05:04:00 +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; }
|