sov-kernel-monster / lean /.lake /lakefile.olean.trace

chore: push full sov-kernel-monster content from local build

9425aed verified about 2 months ago

154 Bytes

{"platform": "x86_64-w64-windows-gnu",
 "options": {},
 "leanHash": "410fab7284703f41660ca2454218dcca9b2ec896",
 "configHash": "6650355539369240450"}