-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 06 Feb 2026 16:11:59 +0100 Source: dune-typetree Architecture: source Version: 2.11.0-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Markus Blatt <markus@dr-blatt.de> Changes: dune-typetree (2.11.0-1) unstable; urgency=medium . * New upstream version 2.10.0 * Added debian/gdb.conf for dep-14 branch name convention * Added config for salsa CI * Updated debian/copyright * d/control: Depend on DUNE packages >= 2.11.0~. Checksums-Sha1: 01d9b9d1cce901344994791d6c5f9ef717a49a94 2310 dune-typetree_2.11.0-1.dsc 08de7e4a702455747eee972f25cbf91ea0176b1e 4420 dune-typetree_2.11.0-1.debian.tar.xz 7d8e89f1135343f4ef1df615c114abb9ae917059 13678 dune-typetree_2.11.0-1_amd64.buildinfo Checksums-Sha256: f772fefbb4946b0c31ecbc6c5f76b504fb5887aa6eb8b1751a060d0717ebb333 2310 dune-typetree_2.11.0-1.dsc fbd32f44d46bca7eebe89d5b2ef94410c0645cbb257a1f435156b02c25a4a1a4 4420 dune-typetree_2.11.0-1.debian.tar.xz f3af6782a33e25de48793cd093001deae20af1cc4fdf2647c771d4248cb57207 13678 dune-typetree_2.11.0-1_amd64.buildinfo Files: 2c02bfc25d98a322342b32e015b47eb1 2310 libs optional dune-typetree_2.11.0-1.dsc 5957e169956ad73bdc2fb8de1ef4be54 4420 libs optional dune-typetree_2.11.0-1.debian.tar.xz 846b99ec893cc536d816b909cf0647b6 13678 libs optional dune-typetree_2.11.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEX5730Qbzr+QcV2vnUAaxd/1SdC8FAmmGILcACgkQUAaxd/1S dC87Rg/+MYBGIvzACz6SrKF3OWYWK0EpUEppcMAtIgRwEYMrGzwUoH9C2cZhBDxX JnYFzSKnn9hfSGDE7ujqJW7GiilYmYQsau0hc9ZRWBn+ZHUlnAWMYoTLu2ZQb4CI Ix3SPvYWtPDMbMXHhf4k8eNwEv0RVedVzY4oLzWNJmtDU/XEq6IP6WH4Vj/kcQXu wfCNf9WrvSNDo04AAheUZ21+qU9FVGf5prGm9fR5MXjkfek92kniGdprRML+UejB KC43uPqYacv53jTBW5IgMiqoIiGQ6hD6XPxIWmSb2SxXM2jIaYpg0YR4oRIOcdqy tu74eF8Mu6Hx2ZBskYoO7JG26qxbcKPnqfxUcUyxDJNFHYbm7pbfUTnNgXRACxzP LVDvkaFXTE1PVVxn8YyDduCdWSxrcMVhYhjYiGMXPGzwg2y4mWgfHVlWrCbFODBS N+Adqyra6j4zWt3+10Uir46c+LHPSpsw23PpqlIdXBV+D6H1Ui3r7lM0uT5YWk6n 2/uM8PnD7VtCx7DbQ5mDDMyE8iL3mh9qmQMAI6AfSdSnoNJg6/0KN4lSuiO1Ab+d dVic+3FhLvFHEX4hmEMYH6v7JGn35czfLxG6VayiIO3StYzh+aFwdte0NJ6a2xPI /I+EJe4SRzs35+3Tvz19QrTr0yOxgLlppwJ8HbSwe1PxhbJnfI8= =Us6P -----END PGP SIGNATURE-----