0000000000000000000000000000000000000000 3f1a5d17abde15df49ca092f311fcd685c1d56fc ValentinHirschi <valentin.hirschi@gmail.com> 1739882298 +0100	clone: from https://github.com/alphal00p/symbolica
