psmt2-frontend_0.4.0-1_amd64.changes ACCEPTED into unstable, unstable
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.
Reply to: