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

  • coqprime_8.15-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Mon Jul 18 17:20:01 2022
    Accepted:

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

    Format: 1.8
    Date: Fri, 15 Jul 2022 10:22:26 +0200
    Source: coqprime
    Binary: coqprime-tools coqprime-tools-dbgsym libcoq-coqprime
    Architecture: source amd64
    Version: 8.15-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    coqprime-tools - Primality certification for Coq (tools)
    libcoq-coqprime - Primality certification for Coq (library)
    Closes: 1014940
    Changes:
    coqprime (8.15-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1014940)
    Checksums-Sha1:
    369ac5612714861c60d706bac95a154e606a8bb1 2144 coqprime_8.15-1.dsc
    54268a36f46073d12733b9ac834b02e529b219c6 987167 coqprime_8.15.orig.tar.gz
    e1eecfb9f414737f80885e970c8de40197cb139f 3512 coqprime_8.15-1.debian.tar.xz
    cc8889c47c949932e55666be200da78750fddf1a 60144 coqprime-tools-dbgsym_8.15-1_amd64.deb
    b17aa1773fc3dc9c919d2e786563f9ad65b99061 135200 coqprime-tools_8.15-1_amd64.deb
    c0e4c723a34fd303080ccd7294457608e446c142 7882 coqprime_8.15-1_amd64.buildinfo
    580727d952807fc630dde872211ec1e787771fd6 1643096 libcoq-coqprime_8.15-1_amd64.deb
    Checksums-Sha256:
    8987f821e1a59a917709f4135e7d8b869db10a578a0b401bf57d24f2866c5140 2144 coqprime_8.15-1.dsc
    36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1 987167 coqprime_8.15.orig.tar.gz
    1111e847cf66800406ab3a54b4d9f20006d34e7b39c0619a7438f7c4a7f476c1 3512 coqprime_8.15-1.debian.tar.xz
    6591863f3ea13b3bc2e8cc191c6674901a3d4ecacef45210724d68b6baaceae9 60144 coqprime-tools-dbgsym_8.15-1_amd64.deb
    cce6e67546a7e0937b76cd5241498f6658e8ec253378220421231a4abf09e9b8 135200 coqprime-tools_8.15-1_amd64.deb
    4d8b05ce6d98c333020fd17bead1b229daf65b79d71baf8a4c25c4753772ac32 7882 coqprime_8.15-1_amd64.buildinfo
    d9a9160fc070c253d41cbd31b538b172a6c7cdf6256326a409face131393385e 1643096 libcoq-coqprime_8.15-1_amd64.deb
    Files:
    7241f4060980305e38322641ebfe1110 2144 ocaml optional coqprime_8.15-1.dsc
    0dc627139bc3e53bf5ebfc0a0803e216 987167 ocaml optional coqprime_8.15.orig.tar.gz
    53d99f6f915001c4db4be087d0cd43d8 3512 ocaml optional coqprime_8.15-1.debian.tar.xz
    d9101eabd493734d004cf75069ec6f8b 60144 debug optional coqprime-tools-dbgsym_8.15-1_amd64.deb
    82d2816e4a03d271e894961843d9234b 135200 ocaml optional coqprime-tools_8.15-1_amd64.deb
    fabcc863c3293a9b4f1bc9dbcab69ba1 7882 ocaml optional coqprime_8.15-1_amd64.buildinfo
    dd260ca6947c0e98b02cea61a7e72a8e 1643096 ocaml optional libcoq-coqprime_8.15-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRJRoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR+vgP/3B2VRjyfIpyt67cH6PZ9RVrQvnaRwpc L/T/Oab5QLstBE0yQdgKJAbDh5zNMU7t4AxCxDwbowr2Xp90LJG7CpLR6acLhkG1 OCCUHt02hZYiWaGj1tdX6KL7BauHU6Scz7Mgl/TO/1dE1/4CMUNy2HyU/VnTCmZf lg/TRYaTx/Ldk1nvDip6D6YCpyyy7OSmcmL3RnPvvnNuliJI0Q9FpeDoS2/YP/BN l81GzxYcv3+dnfQf4MKUivIR0E99rVr1Pw9ks7B/9P7X3Go3cMyL+swbTC50fXym ihq1OO+n9fXSL9NICKW/pH/JZDlEyzb5ivaor8klZ98Mvsozgw20GWDFy0Y8Dqgf eK9OYFJ8x3x2VHRosFxxBP1Lwi7C2CXd5UdPcm0KdB1whKA7KOHvMLxS3yapCGr9 5HisyedcoIALuq1DnIOPdwUijfetoa7HdPMwFm+cwi33TVcQK1yoy7hOrnBBtDDs 2ynoarYJBcIyDATD3gWBvMnp+aMgljE4nJ6f1UcWFR0Us5PrK0Xj6xL5YXEPmWO6 sAp1S+W87iClV5nli3gCvyh2qx9+SUErEl7jbB54Kl8/2ZC9PwGaLkd0VlAuPiwB 2zY81wcroN1PjweCypbf0w4+aGATwL8Aohrgcuy26H/stvnjqJYfA4W02ABdz/p0
    5TkKolo71XGe
    =cwZB
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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