0af8abbfaa
- Pass maintainership to arrowdodger <6yearold@gmail.com> Original patch by: arrowdodger <6yearold@gmail.com> Feature safe: yes
2 lines
153 B
Text
2 lines
153 B
Text
SHA256 (stp-fast-prover-r1407.tar.bz2) = 8d8eadac2b5d73ab78687540d90f407091c8b0ceeb15fa92afcfb68cf554e8a1
|
|
SIZE (stp-fast-prover-r1407.tar.bz2) = 3793357
|