src/GitSHA1.cpp.in | 1 0 + 1 - 0 !
1 file changed, 1 deletion(-)

 make the build reproducible

scripts/check_lpn_solution.py | 2 1 + 1 - 0 !
scripts/translate_opb.py | 2 1 + 1 - 0 !
src/get_clause_query.cpp | 2 1 + 1 - 0 !
src/occsimplifier.cpp | 2 1 + 1 - 0 !
src/picosat/picosat.c | 4 2 + 2 - 0 !
src/solver.cpp | 2 1 + 1 - 0 !
6 files changed, 7 insertions(+), 7 deletions(-)

 fix typos