use-debian-nauty.patch
use-debian-4ti2.patch
use-debian-normaliz.patch
use-debian-cohomcalg.patch
use-debian-gfan.patch
use-debian-csdp.patch
use-debian-javascript.patch
use-debian-topcom.patch
skip-mpsolve-for-now.patch
use-debian-gpl.patch
reproducible-config-args.patch
remove-build-paths-from-docs.patch
remove-build-paths-from-cached-files.patch
fix-state-polytope.patch
fix-run-external-m2.patch
hardening.patch
rawfactor.patch
