Back to coq-mtac2 PTS page

Accepted coq-mtac2 1.4+8.19-1 (source) into unstable

To: debian-devel-changes@lists.debian.org
Subject: Accepted coq-mtac2 1.4+8.19-1 (source) into unstable
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sun, 28 Apr 2024 14:36:10 +0000
Debian: DAK
Debian-architecture: source
Debian-archive-action: accept
Debian-changes: coq-mtac2_1.4+8.19-1_source.changes
Debian-source: coq-mtac2
Debian-suite: unstable
Debian-version: 1.4+8.19-1
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-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=g80W3sF2yhdiDTHt2VrVSGUZuiIPWiGidpft1LmobKQ=; b=Jpne8WkhXrDssnieKwuPu7m+Of 1ut68AwyNWgaQORccnQr3U2mbovBAfyU/TbgxdBqQ5rqxqzD0baLCTJRMjYiInQ4kPnIRn6y4efC+ O/qewuRJcY1jAy7Ou/EuuGrF0u03zwhiofVHDJKTMrmnqH7EH2+RxDKivOUgiGfAJnjIE+o4uRJt4 er/jBExzl+YoRXi3hR48PjW8aBBPqGD8q8GdqqaR54EezcVzcDPIkqo9rUM/LgBaRHszDEiLP8zdz tcKKfv9cS4rnFnJgWWTJPsJklLrU3GZH6CkwvcjT1JqtxtgrNJp/Py+pUeutI1yx/TWvBLATzxEg6 Ac5XxKwA==;
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1s15dS-00HI30-Pj@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

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

Format: 1.8
Date: Fri, 26 Apr 2024 15:03:48 +0200
Source: coq-mtac2
Architecture: source
Version: 1.4+8.19-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-mtac2 (1.4+8.19-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.0.
Checksums-Sha1:
 edbb8890a8b99aa6bb6035568924e2ac295f3e63 2100 coq-mtac2_1.4+8.19-1.dsc
 a7b7758bce394cc9d0ca99a4929f4a4f3316462a 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 7af8d21476b4eaced646e3a1c98b219ae6c37e50 2788 coq-mtac2_1.4+8.19-1.debian.tar.xz
 4deb8ca128f54e3e600225b532d4a7011f55ef28 8161 coq-mtac2_1.4+8.19-1_source.buildinfo
Checksums-Sha256:
 351965f26c08bc55ec9d70d5d895d361979c677e99682743f2a9022807e2bf16 2100 coq-mtac2_1.4+8.19-1.dsc
 7906a4302bbed3325d766f1b1275303afbc660b8dcc61870924fcf56b04e0d3f 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 7378a3d32e74cdf4c71c06c5d5d9cf8a3c379d65bd8eae01a72f6f5d3867af20 2788 coq-mtac2_1.4+8.19-1.debian.tar.xz
 0da99f52c5fdefe9e1c1b136073ca6333097f67f88bcdc08cc7b922641b56bd4 8161 coq-mtac2_1.4+8.19-1_source.buildinfo
Files:
 f5c5b2b6ffcac510c7003f969a91cb00 2100 ocaml optional coq-mtac2_1.4+8.19-1.dsc
 4d4d247f672a25d9c8b59f9f0ce38d99 252242 ocaml optional coq-mtac2_1.4+8.19.orig.tar.gz
 3867b25da447333f926b77952b7c0283 2788 ocaml optional coq-mtac2_1.4+8.19-1.debian.tar.xz
 a4739f3b6ec2675275b620ba8d35334a 8161 ocaml optional coq-mtac2_1.4+8.19-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrrGwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR6q8QAJ7oZVtvRHATztgN9CP9ObCbcPanUj8y
mRo13q6lEk11x1xDqlcjoEDPFEwaPxoMOgcD242VPMyn25xFRQulT3lsBATOLRzH
X0R2w4ULGr3DiQi3tJxv515YoWvQaRdGqtw5i5xwmU41G+cxN3rcIxGwByC7tCsx
pEiMV0/YsQEeyEVS1mXEa4Fc7HTgRMy7cEjeFTxyx3veP/GrLOFZUxswGcMe5Ozt
abmUq6goV3tY8n4mSNkHryXcypQoQEwx/WacTcR4dmCZ6UIsALIMczk2FY5s5CnI
X86U2GqHvqXeYHDrQdyHtL4xt+aNh7SnGzDxmaMZzn95Pqt+EXnxMahRyh7Ih23T
k8tcYHjVvi4R3hi7xYwTg6McXwP0loYWWFIF43awqSEY7tIXoq1wYeoflT7PYqed
SC77VTWE+xQGkkdFAtSL3BwGeAyAu8Ian1XTJEQu5SBGu4yp8reLtS/dsLHTtHkk
mTe8VINVT660SdMvaqQv3xL7XGRHSBk7ycnhUVgjISJ9GyLMZqTxqRMBhaI5XvIY
5HabkAa3S7rU8C7pa6CSiiMw6/ofYSacHIuepYq7HxrLggnWSlMbpoHEkKkPm7v+
8DSONbAgxqTWKpdrP4I+R2C5B4osEiKnd3C3EquLdbJFyyTPWFDMOlCplZFe30FI
BfACpWSVe1dz
=hNSG
-----END PGP SIGNATURE-----

Attachment: pgpO4q2pAcwAE.pgp
Description: PGP signature