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

Bug#1053590: RFP: rust-sync-wrapper -- compiler aid for proving the absence of concurrency



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

Reply to: