-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 06 Jan 2026 10:24:46 +0100 Source: advi Built-For-Profiles: noudeb Architecture: source Version: 2.0.0-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Gianfranco Costamagna <locutusofborg@debian.org> Closes: 1121831 Changes: advi (2.0.0-5) unstable; urgency=medium . * Team upload. . [ Ralf Treinen] * Patch babel-french : replace deprecated option "francais" by "french" for latex package "babel" (closes: #1121831). Checksums-Sha1: 34203943e89806279a2a6ea10eb08074e0622876 2298 advi_2.0.0-5.dsc 20e51229ce1a32fa7917af627e1e7c41688f27db 22384 advi_2.0.0-5.debian.tar.xz 9444e6bac8302adb582c724d16b0f88e9f7902d3 7559 advi_2.0.0-5_source.buildinfo Checksums-Sha256: 96bac86c5ca2d73c4affd5901f444c8efeecddfafea8b0fa491873114a92a020 2298 advi_2.0.0-5.dsc 1dc9840a527d05673c564d7468f1ef528e1ae902a5a6609a6fd3405f7680e234 22384 advi_2.0.0-5.debian.tar.xz 349d16d6bc1f4c88ed5cfeb0ea51c4f250dae648178d87d0975a5d2ab10bcac1 7559 advi_2.0.0-5_source.buildinfo Files: 801d3298fc62e9a15388667192834c10 2298 tex optional advi_2.0.0-5.dsc 8f9399de52e4aa674280daa709c87ece 22384 tex optional advi_2.0.0-5.debian.tar.xz 2ea218bbcb758ffcd2cf9a1090b320e6 7559 tex optional advi_2.0.0-5_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlc1REACgkQ808JdE6f XdnDTxAArPtmdJEzLYCZKQDxgX7tEBYlx7u/e+YMWlBAjroBg0OPqzTuM+ykUFRZ p7f013RkvTGxLupbM25r9vkCNrWJuOgXvkySpUwYC4ENsvK0ALXDIw6SZi1HSNyo sGuzrLUFb80gP6kowbrUcr9Vtoi0QqqS2Xw/g9kFZiNONRdZd2xnuITDBYyTGBBL L7MB3lwTUL2MzyNXo3EGv8pn01ueh5gGSWAvjOfGqFIzr/GSJ8tzx42mprtnompf xV7ylQtAD9hAlgCuMPfUtIM9DxNzQCbY7HB80b7cZoGIAzDhhVxkUm8EDF9mlOVa xHyfKLwkR4sHpHSZp673jkEOxHP3PTgx2OUnFe7N4VzYQjTQflMkx9Ja9PmFpi9Q 4qNEpB4nOmyhZfTmoLdzcNywdip6IeE0T/2LiBDtM5+918mN1RrZ1+Y6bPxS96kc 6EwUZZvaKbNKLCNBgdwWV9BKez8kQD796n1hWPVnRt2CQukTETWVxQPGUUDmbncH LjO1U0vHH4+YewH1/w5AUbU06BqQtdEexrisar6bs/f0Bq2I5pmizGqP3Aml/2Rk MdvFhWgS85KEax9jt+ipzNI5/oFVXKO9YiIJSCGACxNSeT/0yPWfGf4hc1k20Wk3 QF9rO6VtfX8W2ZTdE8StBZJpdtzc9MjhYsW3VP3qOoPzky9oeuM= =3B+J -----END PGP SIGNATURE-----
