coq-serapi icon indicating copy to clipboard operation
coq-serapi copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

[PATCH] Compilation with yojson >= 2.2

Open SnarkBoojum opened this issue 8 months ago • 3 comments

Compiling coq-serapi with yojson >= 2.2 means running find serlib -type f |xargs sed -i -e "s/Result.result/Result.t/g" ; I just fixed the issue in Debian.

SnarkBoojum avatar Jun 18 '24 08:06 SnarkBoojum