-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 21 Dec 2023 14:34:31 +0100 Source: coq Architecture: source Version: 8.18.0+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1044637 Changes: coq (8.18.0+dfsg-1) unstable; urgency=medium . [ Debian Janitor ] * Update lintian override info to new format: + debian/coq.lintian-overrides: line 2, 4-21 + debian/libcoq-core-ocaml-dev.lintian-overrides: line 2 + debian/libcoq-core-ocaml.lintian-overrides: line 2-4, 6 * debian/copyright: use spaces rather than tabs to start continuation lines. * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. * Update standards version to 4.6.2, no changes needed. * Remove constraints unnecessary since buster (oldstable): + Build-Depends: Drop dependency on essential package bash (>= 5.0). + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9.5~). + Build-Depends: Drop versioned constraint on ocaml-nox (>= 4.05). + Build-Depends: Drop versioned constraint on camlp5 (>= 6.14). + libcoq-stdlib: Drop versioned constraint on coq (>= 8.0) in Recommends. + libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in Replaces. + libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<< 8.3~) in Replaces. + libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in Breaks. + libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<< 8.3~) in Breaks. + libcoq-core-ocaml-dev: Drop conflict with removed package coq (<< 8.2-1+dfsg-1) in Replaces. + libcoq-core-ocaml-dev: Drop conflict with removed package coq (<< 8.2-1+dfsg-1) in Breaks. . [ Julien Puydt ] * Fix d/rules clean target (Closes: #1044637). * New upstream release. * Refresh patches. * Drop the coq-unimath workaround patch. Checksums-Sha1: 1fc194ce431a05495ee4d2de353e0c52a6059f0b 2570 coq_8.18.0+dfsg-1.dsc 880abe4c477b0b57ff4b9f8bd1a2ff56c8866ca4 4868368 coq_8.18.0+dfsg.orig.tar.xz 6ee7f5b329a4b9bc76182d48d4b89e668d068c25 33160 coq_8.18.0+dfsg-1.debian.tar.xz b775ddae73a6f384d318295a01b4e1208e8f398b 16541 coq_8.18.0+dfsg-1_source.buildinfo Checksums-Sha256: 7b722e9161a79651a1d126a69b60aa4893ad63273230b78ce2c5fbb3addaab7a 2570 coq_8.18.0+dfsg-1.dsc ae1e6c8905d0766b436c3ecff35e836b8d6c56507106d470c175f834b9de89bd 4868368 coq_8.18.0+dfsg.orig.tar.xz f3a5e4db041b560ee15014fde8f7a836880e9c4cf201e02722a92d4f3947e86b 33160 coq_8.18.0+dfsg-1.debian.tar.xz cd5179feabc56f58ddf6e45e0d132e81e1d01dd782afa54670f3efd61c9adafb 16541 coq_8.18.0+dfsg-1_source.buildinfo Files: d8d73b23589b852b8586936d75a311d7 2570 math optional coq_8.18.0+dfsg-1.dsc a217a12abf9ca7b00e72e99200c6cc31 4868368 math optional coq_8.18.0+dfsg.orig.tar.xz c6af82172058bee3456b7cf144f60275 33160 math optional coq_8.18.0+dfsg-1.debian.tar.xz 2210f04c9c626166a25bde3857b66a4a 16541 math optional coq_8.18.0+dfsg-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEP1ASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRmogP/iyA7bxMyXA1lZjqe9vPIoyW+GyeWlvp bcNRhqxTb4ddt0n6EofzJHREG0RqenkZoUaAQUrBCZ7d0uvOt88tlSGO9oZ7vvzV lDd+eLz5U0/yUtvkyQIz8KDH3CZEhxom9VFYxkR0cXt6OWJAG7XMC2WyAH5wAG98 t6+H8fAokvmmyw3iLNzXuTbp1rhmntzY/5mtvCLnHL052fhbdgTgfiryQy1otSed uR1OMGoMyXvjJ1GLmuBQ+epBoQx4XEMlhp8383rIkP8Q6qcbBUDcyzn2x44UioJB F7xrU3MsDmho+i2hH2s+GhUifI9YgI4cTs2oJNyKyY9apASQ6/FnhmbS6KJk0DM5 pVwqYBu/Ulbc8wV7FYyJu5+swq577XC/xiqvdGaA/ZwabfMSb5LdrMGlXDFmiLZB yhbNbA6vhQMw/d5zxvis79rseBLZt2uJ8LiEzT9VKwGny8PBGlGDo2bE9rIY4ZFp 2jfrpHmLzyPFYnG00vJJogkWv7W3Q1crWG/7dFQ5/V6xBw9I7Dr/quFHmx6+UD1w glILdo8KfhZTWdLMGgzBVi3BVepiWnHm/u6PU5ylvy33vJxUStxjyti0O5ZiwcFY XPcMbp5MZhTyP4Cgi8coLtot9ZfL4lfdBkCAWUmRITHIXcHnGA4XfJFPLV3sADOC XVMhPV/NpFuv =utVj -----END PGP SIGNATURE-----
