aboutsummaryrefslogblamecommitdiff
path: root/math/stp/distinfo
blob: 77fde514f77d111250a0a06fb1ad9736aaca8f46 (plain) (tree) 
0af8abbfaa13


1
2


                                                                                                         
SHA256 (stp-fast-prover-r1407.tar.bz2) = 8d8eadac2b5d73ab78687540d90f407091c8b0ceeb15fa92afcfb68cf554e8a1
SIZE (stp-fast-prover-r1407.tar.bz2) = 3793357
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-10 08:31:44 +0000