depot/third_party/nixpkgs/pkgs/applications/science/logic/leo2/default.upstream

7 lines
175 B
Text
Raw Normal View History

url http://page.mi.fu-berlin.de/cbenzmueller/leo/download.html
version_link '[.]tgz'
version '.*_v([0-9.]+)[.][a-z0-9]+$' '\1'
do_overwrite () {
do_overwrite_just_version
}