-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 13 Jun 2023 07:05:00 +0200 Source: coq-equations Architecture: source Version: 1.3-8.17-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-equations (1.3-8.17-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.6.2. * Add lintian overrides for false positives. Checksums-Sha1: 6c2b0833779a1ba9f745281b678f13bd58c428ef 2166 coq-equations_1.3-8.17-1.dsc 331ccec68c61ad73385aede06404690dcbdce838 1099916 coq-equations_1.3-8.17.orig.tar.gz 583d616962dbf6596a1947bbfd80364d76222fd8 2480 coq-equations_1.3-8.17-1.debian.tar.xz 549902f0733ecc25fe62ac388d929de360b454b8 7425 coq-equations_1.3-8.17-1_source.buildinfo Checksums-Sha256: 1b15a0a55555d7d799aa4a5e76a425faf7a396ecb76761ccb96b27bd4a3e72b7 2166 coq-equations_1.3-8.17-1.dsc 17df21df27b7f75e5900e0050319aca8ef424839a852e7801b7f9166b9674c30 1099916 coq-equations_1.3-8.17.orig.tar.gz 6321b98537063d510ca667a9a05d7bfc3bf69f9c1483a720dff975423b711689 2480 coq-equations_1.3-8.17-1.debian.tar.xz 459c742671b8cd8f3db0bdcc1fd5e035997ae437edd67e299b21b02b496b529e 7425 coq-equations_1.3-8.17-1_source.buildinfo Files: ff91bcff969a1f74d9512b679d2201cd 2166 ocaml optional coq-equations_1.3-8.17-1.dsc e0f86a4894505d60daa14f57c644c1c3 1099916 ocaml optional coq-equations_1.3-8.17.orig.tar.gz c8738f09ceb7dbdba58b4eca72232e60 2480 ocaml optional coq-equations_1.3-8.17-1.debian.tar.xz cf69b8c53d257b97c5ab67f9be761184 7425 ocaml optional coq-equations_1.3-8.17-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+RoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR/C0P/A32Vj1iDX7yqpbXyx8AuSUXozVqsZQ0 Muf7Y8COQROekd7kS9HeEIVWI4YNv7Z+4z+eD688NpqpPRpQvku2Iiz+VjQ000Ty h8dP4jUe47+IFoouE+vOOWYC4Q2YKcoE7oLOSJG4s0eziAK/tJlXRnH0XHL0Ynb7 TIBkrRn9wkM3fBReMTSy8dpVAPS/s7DT6EVrjT0kU7cLQOaADJQb7qP3a7L6JNR6 kpSw2lOCXmJYHpQXGU4CoBt/6vQxVft50tSA/9qpLwD5jjqD7zpqPV21qZzyXtRc CUN8ZujNrFz6/JAWvOQ2BxtxwACbvm0LiaNb3ssrOSJe4Yr0wfhWUrIOYKcBrpol sjePf8MvdS9PrSj7iws42uixW2nRIRuV22EdU/Av9VDeed0oSY+uvb06D/ZlqwTy IaLd8FLpxyL+YTGq7xMgDpk5JDjazCh0tNgTfb7FKKi9JbaQAI/hVZH4yt9gVQUI s+4lANKUcAm9iyk0NzNtQZE8duy+S43kD550Rz3o5gaFsdlKH1wd+RzTNtlwoO8T SEww1p//TAv9Y+HuNorJj5e7qrH/y4sAcYj007fQ1jGMIqRG0446W+OMcDr2QNEd rFBVu1A24Vtrcgk49mG7aPCA5kh3Njb4A0zDcoCP8vYywgHV5apcp3iEWqYZ+zA5 WFe/l7EmBsko =gKfv -----END PGP SIGNATURE-----
