Yirmiuc / relacy-dev

meticulous synchronization algorithm verifier for relaxed memory models

•     Debian Med Packaging Team
•     debian-med-packaging@lists.alioth.debian.org
•     https://github.com/dvyukov/relacy
•     0.0+git20191025.acc09bb-2
•     relacy-dev_0.0+git20191025.acc09bb-2_all.deb
•     46.6 KiB
•     libdevel
•     all
•      relacy_0.0+git20191025.acc09bb-2.debian.tar.xz
            relacy_0.0+git20191025.acc09bb-2.dsc
            relacy_0.0+git20191025.acc09bb.orig.tar.xz
•     Debian Versiyonu: 0.0+git20191025.acc09bb-2
•     meticulous synchronization algorithm verifier for relaxed memory models

Diğer Pardus sürümlerindeki versiyonlar