Bug#1053590: marked as done (RFP: rust-sync-wrapper -- compiler aid for proving the absence of concurrency)
Your message dated Wed, 25 Oct 2023 16:00:18 +0000
with message-id <E1qvgIs-003JFO-6E@fasolo.debian.org>
and subject line Bug#1053590: fixed in rust-sync-wrapper 0.1.2-1
has caused the Debian Bug report #1053590,
regarding RFP: rust-sync-wrapper -- compiler aid for proving the absence of concurrency
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.)
--
1053590: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1053590
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
X-Debbugs-Cc: Reinhard Tartler <siretart@tauware.de>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
* Package name : rust-sync-wrapper
Version : 0.1.2
Upstream Contact: Actyx AG <developer@actyx.io>
* URL : https://github.com/actyx/sync_wrapper
* License : Apache-2.0
Programming Lang: Rust
Description : compiler aid for proving the absence of concurrency
sync_wrapper is a tool for enlisting the compiler’s help
in proving the absence of concurrency.
This package is needed for rust-axum (bug#1052404).
- Jonas
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEn+Ppw2aRpp/1PMaELHwxRsGgASEFAmUg++oACgkQLHwxRsGg
ASEFrA//VnhiuHyrylGzZR2WzUANhsjnVzVsrejx3sNnmuDb35fS3aSbjzDklpkd
ar1OrvIuEtvi8ilH6Zp5ArwHOa/b5SAS91vPogMqJFCk9jnw8C/2Vm9wSIj2Ofn/
cuiHhjHNgcyLyOy6L6VNjZbWRGKR8g14I6lH5z384GsfbWFjS7k/qGIU/9VF2AJ2
fhY+xs4fzZUGI8/PYfQ33djdjhY4CvKlZV5ZZUKsqxqMA+LvLRsEw+ni9eaEzi0h
6FrLGACsniG/96uHH6EyKBNfGembBh6x67VKClyCnUQI45WHXGOBWp2X9fD9nVKc
0bhSSVRsBA7VXu1U8ifYDSjLZsYTOp+vwHDIBHo+5PfAVhU5i6gqTpLuourWl3f2
2sgbU/zOtsR9TmFky6NTCa/pJ8mV6IsGOv/On1gr6kSMskjlyipMbHNFSdIh4nG2
0Z7rVxmN6Kx5/TgtVoUqYaXHDfm5PA91/iR2cPwzFI2WwQqPqCbrQaLOBsplVgK/
i9msZhsetMI6EioZQDR5CbNPhnToH2frJCSvOV2s/CwqIQgnmIZD6XPZLVI37y2D
Oy/zalB3sr8zMPF0LYy5axa+slMCSecWIvMAZbprs+Zbuk80WiV51lJI5Bv9eaMx
Ylw4s1Hw8fp3tLd7171LcTryWhlrdmSUP7fPjdZJzeunYpxTeGU=
=Sqlh
-----END PGP SIGNATURE-----
--- End Message ---
--- Begin Message ---
Source: rust-sync-wrapper
Source-Version: 0.1.2-1
Done: Reinhard Tartler <siretart@tauware.de>
We believe that the bug you reported is fixed in the latest version of
rust-sync-wrapper, 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 1053590@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Reinhard Tartler <siretart@tauware.de> (supplier of updated rust-sync-wrapper 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: Tue, 24 Oct 2023 06:05:59 EDT
Source: rust-sync-wrapper
Binary: librust-sync-wrapper-dev
Architecture: amd64 source
Version: 0.1.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Changed-By: Reinhard Tartler <siretart@tauware.de>
Description:
librust-sync-wrapper-dev - Enlisting the compiler’s help in proving the absence of concurren
Closes: 1053590
Changes:
rust-sync-wrapper (0.1.2-1) unstable; urgency=medium
.
* Package sync_wrapper 0.1.2 from crates.io using debcargo 2.6.0
* Initial Release, Closes: #1053590
Checksums-Sha256:
0cbe3786181994973810dc0e6af8107f2e1636bb80b9d4582ecbf4ea9d323b89 8472 librust-sync-wrapper-dev_0.1.2-1_amd64.deb
84bfc36a7bc083df1983d48728b20523be5274ce4290f11f1a96d933e2d59fc9 7460 rust-sync-wrapper_0.1.2-1_amd64.buildinfo
3d114b3c1c6be586fd46d94b9ea89ee89c96da2b793afa913ff4193b96155b12 2302 rust-sync-wrapper_0.1.2-1.dsc
2047c6ded9c721764247e62cd3b03c09ffc529b2ba5b10ec482ae507a4a70160 6933 rust-sync-wrapper_0.1.2.orig.tar.gz
124b674bd4727f0a661bace18a4b49e374aa2d9e7c3b7386063fae3ca03246e6 2152 rust-sync-wrapper_0.1.2-1.debian.tar.xz
Checksums-Sha1:
051e8f2318b71dd5319e3ed4e39e92550906cc4f 8472 librust-sync-wrapper-dev_0.1.2-1_amd64.deb
f49d46a757d13f2ff0566b92b0ed14cfbfe1b265 7460 rust-sync-wrapper_0.1.2-1_amd64.buildinfo
e7134e51277a26e68d57aabe0aa743f9f14fb2c8 2302 rust-sync-wrapper_0.1.2-1.dsc
055bee017ab67627da457f80a112baffea736db5 6933 rust-sync-wrapper_0.1.2.orig.tar.gz
e928911ad1dc153be3ca20fa8e2e9c1ea07ebc60 2152 rust-sync-wrapper_0.1.2-1.debian.tar.xz
Files:
62f7d23bce77de76d5babb8970396a82 8472 rust optional librust-sync-wrapper-dev_0.1.2-1_amd64.deb
2556473b9f7ec58c64f1c033e56ee2b7 7460 rust optional rust-sync-wrapper_0.1.2-1_amd64.buildinfo
da7d3b765b13ce4a0aa57ab4b6a8bd63 2302 rust optional rust-sync-wrapper_0.1.2-1.dsc
d9794aa522094bdd0f66c045c29e5d01 6933 - - rust-sync-wrapper_0.1.2.orig.tar.gz
86b3113c4149f431a541a387bb64e234 2152 - - rust-sync-wrapper_0.1.2-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEMN59F2OrlFLH4IJQSadpd5QoJssFAmU3lwgUHHNpcmV0YXJ0
QGRlYmlhbi5vcmcACgkQSadpd5QoJssH2g//fMUhZb4Z6qI5sydfrRUWdAnnecfN
VD56m97tJbUUF1xNnzUSHX2/F14UiUSmgNzpy226QA54mySQbLTk6SvLi+Dw/WZf
t39TF+dd1psmsnyUzCU67cr8ZZAXp4L9Vqjoq8E1q0+Cwf4jtH0NDqfw86W2FaSi
v9jUqS33hFRG+zEh/fD2fedYFGkWyl36b0J3iiMITxX6HIjQBadljYPee7X6MYLD
IhgMMxF7RMGN2bM+RlvTvM4xL2fGZoTWfghFBWBM2WfAB8SCpvnAzq22fPlvyjbz
DUx11uNpcCaOxPrXb7GPHBWho5PPwosek2tv0RrV9pg1zh0/dDfIw8W0E8G+8zDA
gwYV00DhFFOqj1J6hg3CcFK51WDBPWH7QAwmeaa4SopCxFYM21s5L1w3Jo2bblVp
rmdhxTHFZO70ZKz+4iK16h7ix/UtzIqNqBmmuYT6pOcFsAl7OCtkV9sfpRATw2cZ
LJ3M3ZI9pk8CbKeIAgCGLtOuZeZi1bizzyLrux1qt8VemZ15M+W39tNv5/2MBFur
vcCdd3Q1DerH3krtn6z78xGLkMHRGspo35jNVbBTURrh81+6Ro2LyCveLwEAdn7b
m1ioarPsTyr47CmJ/8BuKvOiGEennUglDmCN0cwe9ZiVVBInv7PO/LWZKyHpY0jY
ja9Qy0QDoqcjvMs=
=YXrA
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: