[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1009116: marked as done (ITP: pstm2-frontend -- Parse and type-check SMT-LIB 2)

Your message dated Thu, 12 May 2022 18:00:12 +0000
with message-id <E1npD6i-0002tB-EW@fasolo.debian.org>
and subject line Bug#1009116: fixed in psmt2-frontend 0.4.0-1
has caused the Debian Bug report #1009116,
regarding ITP: pstm2-frontend -- Parse and type-check SMT-LIB 2
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1009116: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1009116
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

* Package name    : pstm2-frontend
  Version         : 0.4.0
  Upstream Author : Albin Coquereau
* URL             : https://github.com/ACoquereau/psmt2-frontend
* License         : Apache-2
  Programming Lang: OCaml
  Description     : Parse and type-check SMT-LIB 2

 A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism.

This is a new dep of the alt-ergo package in the OCaml team ; so I want to
package it and maintain it in the team to update alt-ergo.

Cheers,

J.Puydt

--- End Message ---
--- Begin Message --- 
Source: psmt2-frontend
Source-Version: 0.4.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
psmt2-frontend, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1009116@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated psmt2-frontend package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


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

--- End Message ---
Reply to: