Accepted coqeal 1.1.1-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coqeal 1.1.1-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 27 Jan 2023 16:34:10 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coqeal_1.1.1-3_source.changes
- Debian-source: coqeal
- Debian-suite: unstable
- Debian-version: 1.1.1-3
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=r7+s5pz+QNCTcbom0dIXJc4cg2UJ02q9IKTBLdjfY4c=; b=KJ1PzxXwBGwGVjkvVtNtRDwZhg Tw0zT9+fIR0sM2fhNONnpX5F+jGYazGsxNbbxCptmArrRAXlXxmwOWBAHuEqJXGGz8dNSQTszj/uE jE89WmeRDjVqRdQJIGG3HCb22k6PxAdp6IMd6fH6rzZBqpwUXy4T5UXgAny0Lo99p9MgOcGAePvhr 7dmwQIsjFwLtt3x2rjQLA57ZkzOAZPw6i61kAw1/+jUDIQNXkh0xu/eBKU/DHGuM6qXHD+wy2Kdgm rmzI2h+1t0oSUy77nN8hHmNd0V0uvDyJd9LQ8L8bD1SO/6RwqXNlw7+Ma0GFIedV7WAER62qZdCYl GxZ1TmiQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pLRg2-00FNbp-KK@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----