1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • mathcomp-algebra-tactics_0.3.0-1_amd64.changes ACCEPTED into unstable,

    From Debian FTP Masters@21:1/5 to All on Mon May 16 20:20:01 2022
    Accepted:

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

    Format: 1.8
    Date: Fri, 22 Apr 2022 13:02:06 +0200
    Source: mathcomp-algebra-tactics
    Binary: libcoq-mathcomp-algebra-tactics
    Architecture: source amd64
    Version: 0.3.0-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-algebra-tactics - Ring and field tactics for Mathematical Components
    Closes: 1010014
    Changes:
    mathcomp-algebra-tactics (0.3.0-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1010014)
    Checksums-Sha1:
    2e20a9f726f5d6f31c6a7eb3836e32e0232c8009 2175 mathcomp-algebra-tactics_0.3.0-1.dsc
    d5d1d1a9c294947936c1eb46be782a302c7fb9b7 32700 mathcomp-algebra-tactics_0.3.0.orig.tar.gz
    6cf56eae937ac8048eae370c1212a403755c92a7 8440 mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz
    d81154f7ae54490c68a49f4fbb6b4ae83b1933c2 221664 libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb
    d2be91734dd66569c52bf668ea4b9325a1e32932 7309 mathcomp-algebra-tactics_0.3.0-1_amd64.buildinfo
    Checksums-Sha256:
    9a8d067b63a95ac535835094750207e6d85bc094ebcb36ab5edd47ac6e2f7c33 2175 mathcomp-algebra-tactics_0.3.0-1.dsc
    5539bedd4ec15bdccfd52412c618d63b7e69447189bf23289f5169d9e23a8dcc 32700 mathcomp-algebra-tactics_0.3.0.orig.tar.gz
    3b1a757b1d71f13edca6563ef6fd8aa2675a427cb37b596d196df60a2c0e64b1 8440 mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz
    f5228793250180af277e97812220abbe08c9a1e4d0487fc774fb1c71fb939868 221664 libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb
    bdb8767f37089703644a5922bf496e25d2c2e93b7d4c7e75820f2fd791a00da7 7309 mathcomp-algebra-tactics_0.3.0-1_amd64.buildinfo
    Files:
    2b0821cefe398ab8f82de90af082ab4a 2175 ocaml optional mathcomp-algebra-tactics_0.3.0-1.dsc
    4056c4fa92303092f4f2abf40dd0d039 32700 ocaml optional mathcomp-algebra-tactics_0.3.0.orig.tar.gz
    2e719a5b322066357fbc727a13bd7a50 8440 ocaml optional mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz
    56e413e49a5f69f298bb46493e9742ce 221664 ocaml optional libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb
    e1e0153527a53345e9d6ea2896f1c29f 7309 ocaml optional mathcomp-algebra-tactics_0.3.0-1_amd64.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ+RI4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRJ/wP/3eWV+NNPhFKAy5IRBP1+FFPRF/4+JXK 1LLTGhuCsOLIp+ZwJlD+OA9uS0HSTVGTd+WpQeElDFML6UTVKX+A1ZjJpuThbt4n VmXA+G0RF89G9A7aihSh/uUpVce8PnRbt/Ifx0ZWwvr8cz0kdj+vLKSCPjKcFiao 5g8TkN/1NGJg4Gim+P/F+xJ1nSxrnAvWBBclT8WgQKyiEpI/7sw9H5tOBiXAQbUk MwUuUV5+oB8OHuSOX7DbOPEdu9A1Mi28SUr0OYqniju5dFIp90PFYk1vjY9q/wUv oNqgsifXTEANlB6eJALxxq075bYghDAczWt91m6t9RQ0UbeJhtS0tQWwAsO9XuIN bsVPy55/sZtrkdvRfjXZdCYbardqUz6ex93EClGsZFsgT2jf4MQFRuX2xCUEnxNU v7rvHOpkYoc7qBeDuAEvmOlyTgtR7A8IqXEufEbRpnOpznIecdEWRsHlBLJgQPlw 1k7LsRVYI5zLusJX+vxOpmZq1gj4MrgyGW+7+lxhytYSR4lHdGV6ZJfNi9Okst92 Y7PT9epfAHLrt7Fub4PutBuasu14qN/GriSNXlfVr8VElH8pTa2AgUZsfTteHNy5 3PNhtcYIa8MVbaobNbilpUfbdWMsWPGbpJGqcXHNqoFwa7qg7xC1F4w7YUB5zGUK
    rvEfZGn2fnma
    =b04z
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)