rec { version="2.25"; name="gvpe-2.25"; hash="1gsipcysvsk80gvyn9jnk9g0xg4ng9yd5zp066jnmpgs52d2vhvk"; url="http://ftp.gnu.org/gnu/gvpe/gvpe-${version}.tar.gz"; advertisedUrl="http://ftp.gnu.org/gnu/gvpe/gvpe-2.25.tar.gz"; }