-----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-----
