drop "leancheck < 0.7.0" (#3095)
drop "leancheck < 0.7.0" (#3095)

ethercrow/stackage,Shimuuar/stackage,mgajda/stackage,phaazon/stackage,asr/stackage,peti/stackage,simonmichael/stackage,lwm/stackage,fpco/stackage,stackbuilders/stackage,spencerjanssen/stackage,massysett/stackage,mstksg/stackage,garetxe/stackage,mrkkrp/stackage,fimad/stackage,iand675/stackage,creichert/stackage,soenkehahn/stackage,int-index/stackage,jonschoning/stackage,clinty/stackage,athanclark/stackage,wereHamster/stackage,k0ral/stackage,michalkonecny/stackage,Daniel-Diaz/stackage