Accepted coq-equations 1.3-8.17-1 (source) into unstable
-----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-----
Reply to: