coqeal_1.1.1-3_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 14:04:11 +0100
Source: coqeal
Architecture: source
Version: 1.1.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coqeal (1.1.1-3) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
c2f3eb3482d01b484a30723798e178cc59dbfd25 2158 coqeal_1.1.1-3.dsc
586d23b3e896befea0c69ada79096c2b2c18d101 2160 coqeal_1.1.1-3.debian.tar.xz
107c8dd56e1254c5b40990b2eb162be1fccfaa3c 7824 coqeal_1.1.1-3_source.buildinfo
Checksums-Sha256:
db6fed9dd4405e554c31abd89acd07e89bd1f086ef5f66c6e347ee80d14abe77 2158 coqeal_1.1.1-3.dsc
cb431c609ca2860608ab436231bd971b4d1b5b550ed1e3e33369a708b17765f1 2160 coqeal_1.1.1-3.debian.tar.xz
a707438666d66db3f9106057565a9349bb34e5eb5b6c5bd1cbaf726b37a41714 7824 coqeal_1.1.1-3_source.buildinfo
Files:
972d652e93ad8cf39264172883fb3039 2158 ocaml optional coqeal_1.1.1-3.dsc
66e77cd5c0e97c568cad6d7b28857671 2160 ocaml optional coqeal_1.1.1-3.debian.tar.xz
0c8410ff08165832010ca9ecaad99151 7824 ocaml optional coqeal_1.1.1-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRKOMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0UUP/iQ8hEGRq79VcyGoUXOp+h+XUVhAjA8p
ofNZhhBNC3qSZhGJiwkVSEqC4nmsGzbWxuXA+iDZy/iU6SzFALeSZGIAGUdptM2a
e5/dA8WWtpj60KqeAEy8iPi/nZ4VpfGU2QdVzO1ZdawF0BHYxH67O30f7jTUz4iu
eqIwYZ216HhoQppix8rojOzhvbTQyjNqXi7+0gQDmkuVO4r+EEyZQ5mi8fW5lmWk
XyTRpUMi1bbJ6olum7PZpcMSoLkmDRwoIwg2iFNO+J+rczigi0hCp4c7ysktDPAC
pyCCdfjOQQ0/6b5pNgxqnZnPadZbZIxcJB627GjaCbOFaSKJ0TePtJ5Rp5TBVazA
6MnpSRRX0TpmnvweODr2n2avcP2bXHGdHkKxgtcurS7Pgfue0GBr5Z03Wj8hTAL9
pVklG/Q94ajK5m7QnfsP5paNrWyXDg+OFyH9YdgN0ArQ98WDN0iBlDb+QV4o9ZLL
39u/qsZyHhJo221xMcmlJaXctCUKfMwCSLx97tLOt6eUMgKG4CvNEZrthkG/Mryj
5nYx84aFjwn1bsF1fQRFNd8X3KF/c2YAWnXaLNdeuM40unRASGO5hBS5sA5nJhnG
ScqrDNzsG/xucBXRcoBQvNT6VJC0xj71/h1TZxE3d7W2yUWH9zX97YcXgAre3iqf
kRpA8KOd8nC7
=La8N
-----END PGP SIGNATURE-----
Reply to: