4ti2 (1.6.9+ds-8) unstable; urgency=medium * Debianization: - lib4ti2-dev, config header now in arch hierarchy. -- Jerome Benoit <email address hidden> Mon, 26 Dec 2022 17:36:47 +0000