Processed: ITP: relacy -- meticulous synchronization algorithm verifier for relaxed memory models
Processing commands for control@bugs.debian.org:
> owner 966204 Shayan Doust <hello@shayandoust.me>
Bug #966204 [wnpp] ITP: relacy -- meticulous synchronization algorithm verifier for relaxed memory models
Owner recorded as Shayan Doust <hello@shayandoust.me>.
>
End of message, stopping processing here.
Please contact me if you need assistance.
--
966204: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=966204
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: