Back to mathcomp-analysis PTS page

Accepted mathcomp-analysis 0.3.13-1 (source amd64) into unstable, unstable



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

Format: 1.8
Date: Wed, 09 Feb 2022 14:02:31 +0100
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: source amd64
Version: 0.3.13-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
Closes: 1005224
Changes:
 mathcomp-analysis (0.3.13-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1005224)
Checksums-Sha1:
 8dcf33082f7d72bcb1247aaa4b82867ae862499c 2195 mathcomp-analysis_0.3.13-1.dsc
 605efeefa23fa40c7c79292b74c249a6afa3d9bd 513213 mathcomp-analysis_0.3.13.orig.tar.gz
 21c0651aee8c344517c48563c348c1f6be9f08e1 8276 mathcomp-analysis_0.3.13-1.debian.tar.xz
 15bdbc13f6a37fd2fcb5a295d6bcfe1ac275e147 5633384 libcoq-mathcomp-analysis_0.3.13-1_amd64.deb
 5666b6969d15998671d0ca465c099335216481d0 8210 mathcomp-analysis_0.3.13-1_amd64.buildinfo
Checksums-Sha256:
 493b85a637239afcaf6b0bf8c2f7cbc0022e908d7bad6dabb3186d0443e5515f 2195 mathcomp-analysis_0.3.13-1.dsc
 422572233fcc00a812d853e62e83090718908bb296f44604a5762a6df35931de 513213 mathcomp-analysis_0.3.13.orig.tar.gz
 81efdfd1e282327571bdaa4fd90b327202ece06f6d93d10516500de96fa4a04b 8276 mathcomp-analysis_0.3.13-1.debian.tar.xz
 0a13632cb0aa5bb42ef51170afbe183c8c987c373da583cc37715ab3390ef501 5633384 libcoq-mathcomp-analysis_0.3.13-1_amd64.deb
 4d4f511cf0a3c95f41c834c717f4adcdda046ecca65f09b2b5ee6ef6f02e2da6 8210 mathcomp-analysis_0.3.13-1_amd64.buildinfo
Files:
 20732878e86bdaec1c485f10f2c1a3b3 2195 ocaml optional mathcomp-analysis_0.3.13-1.dsc
 ab04c94e8db5319b6630358393eec3b7 513213 ocaml optional mathcomp-analysis_0.3.13.orig.tar.gz
 5994a6a75efa85b2b1fc726ddb2c24c4 8276 ocaml optional mathcomp-analysis_0.3.13-1.debian.tar.xz
 7fe6571593bd297f5f5a412f2b63d9dd 5633384 ocaml optional libcoq-mathcomp-analysis_0.3.13-1_amd64.deb
 5bab2d9f675ca16624e60971e37b0d70 8210 ocaml optional mathcomp-analysis_0.3.13-1_amd64.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIDvNkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpkAQAIMvB3lMMPyxYrjUJ0AJZGuixqjr96YR
qF/bD57Qirhec2A+sd1aQb+VnLW/OWxNNsr8BmYF9UtMeSMza8q+JMove2RmN4P+
vBHnpKxUuNBVmRslTkcUuFD7wvuUbo1FNRcVBHL3TDDoh94M9QusOsdOhalD9mw6
LkxLTSF+Ho6hR2otfhfZck0QPVPwzt27PuUix/ntplQyxexcHbDg7EdW9quWkma5
eq3PjRYYZxSUnCUthE1SU3/JHWnjg5eo/qy096MDGLTBFpgp9cO/drSGBa4uXLCO
CpmUDCRZS9UnwY61kAvEblVtqVlfwuEHvKekVXQEwupiItP/Q2cHT9cOa4fN3iZp
sPtGHX0qetW7TZyAycxZ15xtziuUFisBTJTrLz10YgTTzPMh4NWNU1jIf6HKyLcg
4jjQ9cX5hKtlP6NAJJgDcfjHTXfoF3lieEj3LzQ+bxybYYRP8Pzl0zwH22UKJr1Z
hfpXqW51AibEWDYApDD07Var+TqohhrJItvaENoQRCWZCRW79O2AHiqbwI4948j9
J+8FNTQXDmN8GnrIKhHsqNnJo7WXBc2E6DuW/2g2JSz/XKyseH4qszA8JxfT620a
hsRZddnYVEUHVNDNyFgf+cY/Z1rwQdz1hD6uFhGpFEBVyuY8kHQSeujt/TOtbVo5
hB5zOXI7uJg7
=3zY+
-----END PGP SIGNATURE-----