Accepted mathcomp-analysis 0.5.3-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-analysis 0.5.3-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 06 Sep 2022 09:39:15 +0000
- 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=hmSXokqXyS8gOBLOmNhk2mcLG62MOg027dnmHGqgWFE=; b=IueMAQjAWBg6/pX91jwkvPnpwp zsWAyGo7fFqY2lbhAvKD+Re3veXu488vrJdaTd80zbYGwOgxvGy/DMId9+nDzgH/yP6cWE61T7N0l ++FH8/eMDxjiYf/DVKR3utim344oWpEY3o6+x0eK1gK+COAXaqWkWCky9XB0SDlr4xHenVapvPQRd 8v/tVp7QkWU7Z+WDxOH/3iP3kc9P66M3ixExACLnlZlDKMTiPdZe3vc2kPQT8lTseaxCjTZJnDubv u9cj3Gf4mhL4zp6p2nl+7lbP+g6/doUT0cz5HDUuzmXPM/y954pRXPCSe7Pku9JnKNVffTtuSRsl1 PsrAA04w==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oVV35-00DhhZ-UX@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Sep 2022 22:55:41 +0200
Source: mathcomp-analysis
Architecture: source
Version: 0.5.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
mathcomp-analysis (0.5.3-2) unstable; urgency=medium
.
* Adapt to coq-elpi packaging.
Checksums-Sha1:
cefaf640127985f98b539d0f47f9948e8401530a 2343 mathcomp-analysis_0.5.3-2.dsc
bdcc8ae2746b856bf605711a18ef10af963d434d 8708 mathcomp-analysis_0.5.3-2.debian.tar.xz
f8c016df372e8ed4511ca9d98348b3b9dc3a6ddd 7862 mathcomp-analysis_0.5.3-2_source.buildinfo
Checksums-Sha256:
df46e9e38c681f8fa857d242912938de2517274f29a06fc0e87506815f1333c6 2343 mathcomp-analysis_0.5.3-2.dsc
dd1f7e750a30c54a51ae0772c215f22baf57b25f0e61ecdc76e20828f7a5e6ee 8708 mathcomp-analysis_0.5.3-2.debian.tar.xz
04b12e9fffbb20912445bac7528854471bba4da4abcdf6346dfc525b07471140 7862 mathcomp-analysis_0.5.3-2_source.buildinfo
Files:
49502ede851c00168a256bab690ae57a 2343 ocaml optional mathcomp-analysis_0.5.3-2.dsc
053ee969965da70ddcbfa43c1f7460a9 8708 ocaml optional mathcomp-analysis_0.5.3-2.debian.tar.xz
ce3341818f10f08b4252a172e4fc35a9 7862 ocaml optional mathcomp-analysis_0.5.3-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWYm0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQ/oP/ArW/rzeh8kjgQtEjJFOMcyk/4I6knKn
RAN/3na8P1Wiy2/SFE+qLRdERgmEbsYJAYcLiHE32c29OAsqtrSCQ7rXgpJfkfO1
gmZKYZVCfB7DpWkb8yrulGZBf3lgKJaraWcfTu4eYUmmu7xItQncdX6AtzIhAeW2
+RF5cV3cfFuavJPDyNvZoPYTKKPnex20ytrxPe07da2QTcOySMb/nWCZGPOFOaGG
02dOv/jyYtwCAwXJMaq8CkQ3OpiST7eauMH7RHDmH2+ProRZ5Xk0fcNE5U6M9/IB
XWqDhb1hemxlZd1lmG82oDVfdm2FjN4Xpj7Nigj7ENypkwO3pIlyqxGBOnVkAfVd
wSjwI01NT39jMdkMP989pg/fX/sh2Tr2Z3ns8HfJ/kYKadMUszHeeW8VRX8OpI2N
RQ13FNhI0S+H4iKsDWBrXQ0mOwqN/vp3XMcpNy76f0MR8kuKc/ksD9LPBT1JIKaF
T9W++rPGJBtulwi60NASGvK8I0iFXU1p1dEiCW+3NEmPqpZprR3HCDQTK6Px5jKb
cQuuYSw0KJoUmbT2eMs0CltaC0nQfdaJlQOTHeZP8wnlIsfaFvWKZZBtjiv3tDfT
m+ftrSdGGFufv0BqEwpWkD9king99yDxMm9H3FO/dmm8oRzwMtwi/UEybQttXO5I
wXO4NqyPmco0
=yTa0
-----END PGP SIGNATURE-----