Open SnarkBoojum opened 7 months ago
I wanted to update the Debian package for hierarchy-builder, but its compilation fails because the coq.hb binary is nowhere to be found.
Since hb.ml and the code in the makefiles disappeared from the sources, I guess it was dropped.
It's still documented in README.md though, so perhaps that should also be dropped.
I wanted to update the Debian package for hierarchy-builder, but its compilation fails because the coq.hb binary is nowhere to be found.
Since hb.ml and the code in the makefiles disappeared from the sources, I guess it was dropped.
It's still documented in README.md though, so perhaps that should also be dropped.