0000000000000000000000000000000000000000 b39b695b1b6485ff1f4182e6bc489abe86b82586 David Baelde <david.baelde@irisa.fr> 1721158500 +0200	clone: from gitlab.inria.fr:squirrel/squirrel-prover.git
