81b4d37f9788ee0a09ec38daf8b124d0d3187dc184fb8d8303a85d6d7c4c401f  download/gnubatch-1.8.tar.gz
8cb5cb4f8e00dc7027933d0eaf44c6c00a25e521b9c5bba5258f8eafe10e8bf1  download/fix-build.diff
636dbd11a8e87ecf56d1d2343c38f2700dfe83aa928708388015966710d723bc  download/gnubatch-1.8.tar.gz.sig
