Back to coquelicot PTS page

Accepted coquelicot 3.2.0-6 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 19 Jun 2022 11:48:08 +0200
Source: coquelicot
Architecture: source
Version: 3.2.0-6
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coquelicot (3.2.0-6) unstable; urgency=medium
 .
   * Add missing dep on coq to the autopkgtests.
Checksums-Sha1:
 ccae00478523f8c28d0421cce0e81091f0b8b734 2080 coquelicot_3.2.0-6.dsc
 b8f6015043a286c513e9c05ff86a142929df6b5b 2268 coquelicot_3.2.0-6.debian.tar.xz
 26956be0c550a8bbedd17910e8a18785707012b3 6872 coquelicot_3.2.0-6_source.buildinfo
Checksums-Sha256:
 5746a8f36a01cc2283ed3795d06f2214bd4b6ed403d19da1915f0acef8c0fe5d 2080 coquelicot_3.2.0-6.dsc
 45eaef81a07e33c4f2aede091b46c7f3b5d3004e66cd3728cc7c2e2c80e5c8e6 2268 coquelicot_3.2.0-6.debian.tar.xz
 4cc92dc82347684eebee09cec399ba84abd4a367ecb4742cc7e0e5e3daeced9e 6872 coquelicot_3.2.0-6_source.buildinfo
Files:
 4a403fd038ad5000bc9cf458474fdbab 2080 ocaml optional coquelicot_3.2.0-6.dsc
 a73268ec7baab9479042489c19359ba2 2268 ocaml optional coquelicot_3.2.0-6.debian.tar.xz
 82934cd30bab919f60ad0ea8dd662834 6872 ocaml optional coquelicot_3.2.0-6_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKu8PkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3voP/1gQ9oWxJXDP3PPbuPOQEs98QN31JCoj
N3fpskq6k+Um9Wb/rqiSfBH0vxRT3gEFcI2BvV8pD1optY/fgAVgSr+rdUFcfIxX
I48yACQRew8/6ZIjAywONFGS9muCmpSdEG+8l4lO9wHtHgSuWT+3vW5QGTU+hsbr
o1mIj3w2SzIDfgivmYs9Gd9/VQMtFlu/bdzk9McWPonC97gcBVMP4aatO8QIaozE
SMm4G7IJA1SfZtvV+qC0SBvvEqDr9KBWRRPJwF89hprmv21At5PyW8rg4Ltz1PR+
4bi5hX74JEzuaWHnK4wa8G3KV808pnFDcaghcKPN0Uw0npSH1gS0wy6nPaOFgRqi
Hdvao1OLuYNxAM6XE2hBNteZo89bLwYKwIqvz69xSFR6aqMviH3jYxMJLhXe5wYU
JWLi6+cJfx45kT1wk1Np/zHhTzXyOrknUw1ms+sy7pLZFpHemjtqvRRoeF655e0l
3svTEBsQqrpaRs2lY5w70S1w9K9BNMpUoPhV4VjzCUO6B2tDyIpWXtzclD+BmScn
9CDKv84IaxI1w/2W092djN9JdwgRKByrORDH6FblSnajWFQufHlRA7ZSnJtLyUnt
dvS7ZcNYrQHKDuLx23sS4a0+hr6oGdtoVsxaVw5qDVjgmdeLi4b/rnDahIooqHcE
OEx33Hed6gOL
=MscL
-----END PGP SIGNATURE-----