debian-architecture-detect.diff
examiner-architecture-bits.diff
examiner-dont-optimize-sem.adb.diff
checker-swi-prolog.diff
no-alt-ergo.diff
make-dependencies.diff
victor-no-static-gmp.diff
simplifier-swi-save.diff
simplifier-makefile.diff
simplifier-list_to_set-instead-of-remove_dups.diff
simplifier-no-file_systems.diff
simplifier-use-lists.diff
simplifier-misc.diff
simplifier-halt.diff
simplifier-clean.diff
simplifier-SWI-and-SICSTUS-need-portray-and-portrayed-respective.diff
simplifier-further-byte-for-byte-fixes.diff
checker-disable.diff
victor-use-env-opt-flags.diff
ada-use-evn-optflags.diff
victor-gmpxx-as-needed.diff
sparklarl-redundant-conversion.diff
examiner-useless-assignment.diff
examiner-redundant-conversion.diff
