22c48398d271697ce2db787443df1171ec0c8d6b685090e7da52bca1338e153c  devhelp-3.25.2.news
56cfce92acaa87c142bcd5eac257bbcf987c23adb896c946ae00db4c618c0adf  devhelp-3.25.2.tar.xz