0000000000000000000000000000000000000000 7b8df324120803e023135a610348c837b41b2a7d Tristan Ravitch <tristan@ravit.ch> 1645219943 -0800	clone: from github.com:GaloisInc/lustre-sally.git
