calculate
/
gentoo-overlay
7
1
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 '2de4b57119'
${ noResults }
gentoo-overlay/sci-mathematics/cvc3/Manifest

2 lines
197 B
Raw Blame History

DIST cvc3-2.4.1.tar.gz 1196616 RMD160 c96274a961d147571811a390ee7009285eaedc00 SHA1 b694d65234fe1119d86f3c6f53318b09f0ad68fe SHA256 d55b1d6006cfbac3f6d4c086964558902c3ed0efa66ac499cfb2193f3ee4acf7
Reference in new issue View Git Blame Copy Permalink