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

  • psmt2-frontend_0.4.0-1_amd64.changes ACCEPTED into unstable, unstable

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

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

    Format: 1.8
    Date: Mon, 18 Apr 2022 16:38:48 +0200
    Source: psmt2-frontend
    Binary: libpsmt2-frontend-ocaml libpsmt2-frontend-ocaml-dbgsym libpsmt2-frontend-ocaml-dev psmt2-frontend psmt2-frontend-dbgsym
    Architecture: source amd64
    Version: 0.4.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libpsmt2-frontend-ocaml - Parse and type-check SMT-LIB 2 (runtime files)
    libpsmt2-frontend-ocaml-dev - Parse and type-check SMT-LIB 2 (dev files)
    psmt2-frontend - Parse and type-check SMT-LIB 2 (tool)
    Closes: 1009116
    Changes:
    psmt2-frontend (0.4.0-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1009116)
    Checksums-Sha1:
    f774ceded379e9cbd9842d27e713d09b8149bfcd 2216 psmt2-frontend_0.4.0-1.dsc
    634b890a2e414b7a92a99cd077ecf9b3556e787c 70801 psmt2-frontend_0.4.0.orig.tar.gz
    443b89051e44e1bc3a72c3ce2afff150294ebd47 2192 psmt2-frontend_0.4.0-1.debian.tar.xz
    ca5c5db101a64ff6537d0cafa5e5d2d4ea228b12 37732 libpsmt2-frontend-ocaml-dbgsym_0.4.0-1_amd64.deb
    4bab8a364c6f12113d09b3751cf54e1bcf9ce1ea 1473032 libpsmt2-frontend-ocaml-dev_0.4.0-1_amd64.deb
    6bf960c5126b059584fda9a180c10ae950d66be0 1322656 libpsmt2-frontend-ocaml_0.4.0-1_amd64.deb
    9d09a298961f40d5dbb6b44bfb033b63d856c92a 125316 psmt2-frontend-dbgsym_0.4.0-1_amd64.deb
    7ad7dd593830da2a7465730122e1f67d99bd5ba5 7608 psmt2-frontend_0.4.0-1_amd64.buildinfo
    c15b090bbfe2c3fbc1d36f622757be2ac8f9bef9 447880 psmt2-frontend_0.4.0-1_amd64.deb
    Checksums-Sha256:
    9c7d71670a396ecec3a50d86d1f6ffa55e17a4ff6d27f76409219157f7b26e9a 2216 psmt2-frontend_0.4.0-1.dsc
    06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 70801 psmt2-frontend_0.4.0.orig.tar.gz
    59c538aa832e7d786f10e2332aa4ae6d5480298e72677f24a1a6befefc342f43 2192 psmt2-frontend_0.4.0-1.debian.tar.xz
    30bc2868027054795978d9869405f8c85f381811498672e0a64be109b61f2281 37732 libpsmt2-frontend-ocaml-dbgsym_0.4.0-1_amd64.deb
    eb199629f334ddeeeac259bc43ae4535d0136d09301ce27fba9571eda5432d23 1473032 libpsmt2-frontend-ocaml-dev_0.4.0-1_amd64.deb
    d42550193cff2dd68a7b3ac5a7372676bfc6e31267c02f4c8d258faf64a80130 1322656 libpsmt2-frontend-ocaml_0.4.0-1_amd64.deb
    72c68d40a1636f3d8dab863fffe08e86fd304f8a9d6de50f8179fa5a2389de81 125316 psmt2-frontend-dbgsym_0.4.0-1_amd64.deb
    c453c49f0ccb52f808d706417300bafad79ef57a25b11bc9e8df121f24c7211b 7608 psmt2-frontend_0.4.0-1_amd64.buildinfo
    725eaa81301eb07ca689162c85260647d49d925b40e27b477e7245ccf8d3a160 447880 psmt2-frontend_0.4.0-1_amd64.deb
    Files:
    d0e41482c97a514a9ec9c0ab16d6ec72 2216 ocaml optional psmt2-frontend_0.4.0-1.dsc
    4fc9f9a68343b4614f120c1556bee644 70801 ocaml optional psmt2-frontend_0.4.0.orig.tar.gz
    bdb16904f5b5ce2a102068dfbcf346a5 2192 ocaml optional psmt2-frontend_0.4.0-1.debian.tar.xz
    2ab1ed94c01c3665a0b7bf75da7ab102 37732 debug optional libpsmt2-frontend-ocaml-dbgsym_0.4.0-1_amd64.deb
    05ad3b5b0a3ab527a386eed48b9a0b64 1473032 ocaml optional libpsmt2-frontend-ocaml-dev_0.4.0-1_amd64.deb
    03525c8de98dff8c4d3a9b2058dff72c 1322656 ocaml optional libpsmt2-frontend-ocaml_0.4.0-1_amd64.deb
    5f50b1957aafab624525fdd10970af0b 125316 debug optional psmt2-frontend-dbgsym_0.4.0-1_amd64.deb
    0f164e5fdd305873f5bf3d1ffcb616ce 7608 ocaml optional psmt2-frontend_0.4.0-1_amd64.buildinfo
    b7cbe1058446fef693f538e8a35ef784 447880 ocaml optional psmt2-frontend_0.4.0-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJdeCUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRgSEQAKeSyZO1HDBz1RLwv0f4k9/E/K19582a FiamYDkHNtuZfXeEXpqddZpIrjXWfYgy/z1m43YwHCAOCbDjluY/1sEE3d0BRrYQ JjyvRg7JF9LkN7wTuqQo7ppy9jOrQpztmVEEGMSrqFwZPAfKIZCvRq5CbElvaWt4 Za2aTbnoHWZCZa/7AvIXLbPa3JXR4uFTjCX3LMI/E1bMN17P6Yt8BvZPwQtHtvYT AAnyjgj9xHMA4UqMhqVSR/K5LWPhx6T5gVtnlNNEXLP0TGmaH3Vr5a/pqwAFmlWZ UPAIS1yFH2NsDm5h8OjBfbx8xsCPgWwmnSMtHf76r6x2nrBlutTsENlXOugqQ/lI 7h/z+vUToXZV7ZUabmodQmCjWEJy8AiGYAO/B+dNyOUdfYmMVPCz6GhHlrAlQuhi FnmdMOH3Iq/SlPoxIySbt67jTslRCorl5+JygYEpZPNjKDfPzv6Yj0dTB/i+nIMp 7cmnVBMDucX51jTksh1kQEMfLphQBgQzm+mThK57qItUHdS27HF4jexQZeSFjEAq KlgLPM7fWGMN3mMy9wJnmh55H1TXWxn0JWwZbWJdb9XxuWovbGD6xZqamTOO3qOg tQouLF0myctj4TgaQZ/cwyJw0gbaBOgSAzoDAtXt1lx7rQ+QGcQuwaLRcKl+yN4s
    JTWkWm2jY4f/
    =fBpb
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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