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 '6e40f385d8'
${ noResults }
gentoo-overlay/sci-mathematics/agda-stdlib/Manifest

4 lines
1.1 KiB
Raw Blame History

DIST agda-stdlib-0.6.tar.gz 216273 SHA256 f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060 SHA512 38900674cc95deec87fd5a61843904e05ea256b89401741d7e2673801953f87fdb5b97e0972b2dfd74195c7a85121db0e7abebb69808227f85ecd8ac6702e6cf WHIRLPOOL 7decc6a7a35221954c7affbb595ec14ca9a079db2e6f7ac582e2b6834f6b345bc63a1162a2a5a3b9c8012ea200ad419c723544c04d4757e207d51819d083ed6b
DIST agda-stdlib-0.8.tar.gz 246158 SHA256 e8b8380bb03871ee3348aa2df32201a387ca0af02171d32ac58664f58467ed0d SHA512 5ac3bda61eb209a4db650edbbdfb96b73cb58b24e43842957696a20a93454d9846a19e4866af0b736c2c3390184223473da75277e490a6a8348531431ca27af0 WHIRLPOOL ccb5f294cb303b7d502227a6f908fa4904c56c55af1c3897753da3f39c7271cd07c292b56e030b8d80f97e6d6a8ad9f0a5fba1f22e0d169bdb4cb79e6e2db060
DIST lib-0.7.tar.gz 226400 SHA256 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114 WHIRLPOOL f51ba5c3430e9a8a11d8eacab3b6121c730e4a437286b88f743fc2521bf1941a889d5274dd4aa7f4fe283595b5ac29a8a35735d873eedc94505455178d167536
Reference in new issue View Git Blame Copy Permalink