Accepted mathcomp-analysis 0.6.4-1 (source amd64) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-analysis 0.6.4-1 (source amd64) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 17 Aug 2023 18:00:11 +0000
- Debian: DAK
- Debian-architecture: source amd64
- Debian-archive-action: accept
- Debian-changes: mathcomp-analysis_0.6.4-1_amd64.changes
- Debian-source: mathcomp-analysis
- Debian-suite: unstable
- Debian-version: 0.6.4-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=2p8XdlY1mtuS9+hVBBG/23xL5XYKG1cjeH3EzxYPvhM=; b=TeuszrtkzWmHPYwTWDzAY7CDNG 39+YVkGWXR6Uk2CXPGZVX7pV63Yh2OWc5P+PeKOfY3cTuPzvGZeskyG7FHy8ybam86sTCZAAX8vxM BWoZ7Kn1+GxOGtdkLycyoiw1aJaQr4DBxOdwcTQLInFt2Wqd1b2bNcfQ/aZy71eQV168cdsDLOaVY 4M+YxNZ1y4VY2FHlTrKOo9YfjnLBgMiZV6Z0DpjnkFRQa/aHoIoUN/TjLfmUaJhA3kUm0sbXU/hZO EjdJ5/84lQmuqFrnxq32ZEm9ypCc5wK58uvNyv/6jt1g7kECHNRsz9Bo2SHuHxV6EpxStQzar8+lo +cDNWYYA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qWhI3-005lRL-FR@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 08 Aug 2023 10:17:45 +0200
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis libcoq-mathcomp-classical
Architecture: source amd64
Version: 0.6.4-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-mathcomp-analysis - analysis extension for Mathematical Components
libcoq-mathcomp-classical - classical logic extension for Mathematical Components
Changes:
mathcomp-analysis (0.6.4-1) unstable; urgency=medium
.
* New upstream release.
* Split the package in two following upstream decision.
Checksums-Sha1:
1cbc54984b6976e497725085eb9e5a3564cb0a45 2425 mathcomp-analysis_0.6.4-1.dsc
3e279609445621669c86c8e54b40a28ced957c73 811547 mathcomp-analysis_0.6.4.orig.tar.gz
b7f20471162d131aec2dce7e2e7a2c821a2931dc 9056 mathcomp-analysis_0.6.4-1.debian.tar.xz
32b80aa6a25aaced97ae4900b31832a2a6f8a5a2 12076004 libcoq-mathcomp-analysis_0.6.4-1_amd64.deb
e772b15d422f73c904f8ca134eda0777d33134a4 2112932 libcoq-mathcomp-classical_0.6.4-1_amd64.deb
c65a77d5a8b75db9cb8aad14ab92d00e98084a0d 8987 mathcomp-analysis_0.6.4-1_amd64.buildinfo
Checksums-Sha256:
0712412320677f2fdd183f377246a5b01b6f4394eab5c80fb647052e461c58bf 2425 mathcomp-analysis_0.6.4-1.dsc
cfe97292d3cb573806e432edc32081d4c7d91994423b1d8b7dea51bed5448ac0 811547 mathcomp-analysis_0.6.4.orig.tar.gz
64d45652157b3031fb5a3656a2440ea0e572893ec5fb01110eb611bd9400ab9a 9056 mathcomp-analysis_0.6.4-1.debian.tar.xz
e05c018d6e941a0605a624d74642149ecc0cacf22baebb4592cb26fdbf9f3a13 12076004 libcoq-mathcomp-analysis_0.6.4-1_amd64.deb
316516d88c807bcb8dcddd705d779ff4cc218eb614ea98266816539bffb91224 2112932 libcoq-mathcomp-classical_0.6.4-1_amd64.deb
3a708b391cf0000ef6113f94a2a77fa0e952c5006cd3e75f4604dd4ecede1f2e 8987 mathcomp-analysis_0.6.4-1_amd64.buildinfo
Files:
ac60b4990f1e51305f3392bd7e38f9fb 2425 ocaml optional mathcomp-analysis_0.6.4-1.dsc
0649d8c5827de2d1d4aa746e68bb6215 811547 ocaml optional mathcomp-analysis_0.6.4.orig.tar.gz
ce1329688ff17ed344a448d685d8a479 9056 ocaml optional mathcomp-analysis_0.6.4-1.debian.tar.xz
d8c2a9bab4aa02bc293d1ac9f99e1150 12076004 ocaml optional libcoq-mathcomp-analysis_0.6.4-1_amd64.deb
de8aa47b31f771a93ac67e4ac421d4fd 2112932 ocaml optional libcoq-mathcomp-classical_0.6.4-1_amd64.deb
20f3151d0ac705b3afe93838539f16a5 8987 ocaml optional mathcomp-analysis_0.6.4-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTd7z8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRmvQQAKU09IN83QNMvflFwb8KVB7keF9riLbV
mNCDpLVbIg5ovln8/OV4gwekin6RLwEDO2Y0Z1oORwanJ0kpTL/Pd7wlz2V4q4m6
zZ8foziSXw+TNr10uMlpKokmsm6vznXCyiaXa51tR5N6e7aMmF6A2xry/zCDpw/N
uCVeNoIDyYJl7QKIVHvTWLaehVkGsAJ4+f96bJF33ZvytCms33ITnN5MB23aeTtB
Ioa6OvWZv8ydaVUJqrVBB9R94Nod6LeRnIg+uVsobIr90nUu+bO696rP9SwPtnGC
X+XKAkyIwkRcdj5Uj3eUOvMui3A2uvPQgcKsXc/8li0kG3GEV7h9P+YO0yuvxSVv
DicoW2YI4qC4Y+Qn4DvKXmoLIA+LjmOAXg2frq10oZdhaS9iXtbA79jGRiqmv782
D7Fm8fvNUC+nu7webgar3A1Jv9rOsW6c2WI+n2ya8kGpVReLZpcknYLCF5I924Yd
IqFoqqL2aAvfEsb4h+0YQCx6h9zTb+yZWLwK7OZ0t3b93fuKnl//ZAYzKBU2qHoi
GD50ppHjB5IyNqyu3Yla05EMT+fTHLAOfou3ofvnK7VrqvqOEIkcVCFdSlbiA5fD
M4aEamXigw3c1NvmXv2RaP52rqHInjsXmPDnbyNHwGdkvdH7DgMl8Drzo/o7y8fu
VmXR2yo9FJ9M
=RXoi
-----END PGP SIGNATURE-----