calculate
/
gentoo-overlay
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master64'
${ noResults }
gentoo-overlay/sci-mathematics/verifpal/Manifest

3 lines
625 B
Raw Permalink Blame History

DIST verifpal-0.27.0-deps.tar.xz 11658240 BLAKE2B 6d4f433311177874acbe4df1367c82ea2c69d5d54708384e1bd6f341bb8b5546629cd2b9f822381cbdcd0bd25f63f77f426c44a1337f69cd813869f16bfbd8dd SHA512 397a7ebf68110f69c90d02aabc3c05d3f169b29d40fc5aca7b6c697b7179bb033d783e7b369c60714facb8dc83908c503bcefe938d2e9af95a75a334f23220e5
DIST verifpal-v0.27.0.tar.bz2 251067 BLAKE2B 25b0f03366555c98928f2cadd3fcc21c3bd5539ea9bd31e66b0868f5be48ac7b664538535b59ce44305f024a7f192e7c4caf1c15054d269995ffff2704d22429 SHA512 f350e362d892ac5179224be102fd7537b19d9eb571b5ff4c84a673e7f996b2741ed965a23aaa249ca9e33c68f24ee7541b31e52cd5fe5990f4ca1e9283f8930b
Reference in new issue View Git Blame Copy Permalink