Accepted coq-unimath 20230420-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-unimath 20230420-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 20:59:16 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-unimath_20230420-1_source.changes
- Debian-source: coq-unimath
- Debian-suite: unstable
- Debian-version: 20230420-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-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=6ZxEJpSUxyMBxS8HC0BnRfsos1CSFJqSxx6qfOEw04M=; b=KGMf8xET1P696x1AF4XcW3Zd4b jnA+gHVwT8JfSfovJ++Hki9dQMvbpPI+oH2O41IIJeMVEpMOOeQnn8hLyOlPuPDylmlw+DMuwiEZk WuOQbSQ0HQS2e/T3HSQimokAnkLtTj/GdtDLLlLOluolgT9LWMdABQWWwmjF6/a1Pvm3+KaCDhosW 0m4UyYZZdDcTT6Tmww2HN1iGjydsL0pOLAvwUb4WLmQYDG5llF5jhGomYY0OZZyhposyt2w6RZQfE aiYz5/pulRt74Cy31M5X0cNsRGIAluZDzQW3FqzwjvXF5a2JlYWQqaHNhfPz6AUocLjZKQKQpxEqD oMf4I/eg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8odA-000GcS-4q@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 12 Jun 2023 19:34:04 +0200
Source: coq-unimath
Architecture: source
Version: 20230420-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-unimath (20230420-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
Checksums-Sha1:
0e962936642dddfca69bce8e1321fda14c9dc24b 2099 coq-unimath_20230420-1.dsc
b559c26193e64961f2d3f9856cb744e90ae1a352 2601704 coq-unimath_20230420.orig.tar.gz
da3d1f1bc5ff888e68997229785f1b1c2f9ba46f 1816 coq-unimath_20230420-1.debian.tar.xz
b407002f6dda3357d8bed47301c28f85a262973d 7351 coq-unimath_20230420-1_source.buildinfo
Checksums-Sha256:
cfcb1bd6fe8dc418da73ba4299423435d7bbdc62a0597312dd6409f7d317063f 2099 coq-unimath_20230420-1.dsc
62d23e9be4208e6ff1eab4d5d762ac6a9e7cdaaeeaea165b5aa8f79a569f0b50 2601704 coq-unimath_20230420.orig.tar.gz
92c202aa2af8d23740d3f4dd73164ccf2d81280fc5855f76ac622c6f3c53f584 1816 coq-unimath_20230420-1.debian.tar.xz
9a29d69fec1f4259543d949cfef01f9f5bb27467e4a860d3ddf41da0dbed2e09 7351 coq-unimath_20230420-1_source.buildinfo
Files:
d9fb2205cba9b849b1193a54dbabc0af 2099 ocaml optional coq-unimath_20230420-1.dsc
792a9689ce36bff58fb6aa58c4f7eb6b 2601704 ocaml optional coq-unimath_20230420.orig.tar.gz
8bef7a61755c9d33114ae92bda82b447 1816 ocaml optional coq-unimath_20230420-1.debian.tar.xz
2f62844ca6b1f793884591f4257f4564 7351 ocaml optional coq-unimath_20230420-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVx0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRtQkP/jTrHJvabM6YP9L++uzJx2TRf336j3bm
fKaokklqYgbYG0DN9+1z/l0HO4E99fM6fexga+58ishZ4iAoS1Lck9Jy40BA6y3a
n5bEm9NSij+0J6CArU6ktpYQxTzpzu7IH7vPAGj4G0tWEt1dB/F79Qx59I5DWucn
fUuM2sbuGU40xfx8/5CoISNCzoEMTGw+FDIPEChusKTG0gPVwddx5NiGREKP2MxA
lThzN74QfIKaiYDpn32vFfS4gVy1TeKmTR+46vNz23jn5ozP8Lqf/VfbyMkCMR8X
7UcI3SQcMh3PivjSDGzACLfYxCAejtPFn2PBndFYRgeLdN5LGxBZg6AQv5AM2iHT
RCl2efq0R5+68llssd7xkr0sUqfi5q+1o7rXr8sBBWNh/NEaw+D6Asl60HYa3ONq
pWtGUfk9GP2Gtyk5f9G0Ft4eltfbCgoP2+9ZWbe8EP3JE5sHvukb6J+Fl5FYFqgx
5ZTBQmjSQMNpk5krvQW9EmFvpGStVQmBSqtgGTcZjhl1mX4zhF1rSwG5s0cqUMzZ
vTaDVi3MvC1glV6miOuJ4xn6ZLT4Q3ovkUudt0iLXM5YnQwudQmUo0Y+S0TOQs2D
5mH4ZZkkJjSL4t615i2fAwSP/QpNC8xo8jdK+xqopdYdjhOUX3yIUYNHpW3wW/Fb
cLJv0Y0QGaRk
=dTpP
-----END PGP SIGNATURE-----