Package: relacy-dev
Source: relacy
Priority: optional
Section: universe/libdevel
Installed-Size: 368
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 0.0+git20191025.acc09bb-2build1
Filename: pool/universe/r/relacy/relacy-dev_0.0+git20191025.acc09bb-2build1_all.deb
Size: 47864
MD5sum: 440d052f088bd76574b8fc59edfdf00d
SHA1: 74a61a7b0470fa10c61a3e355914ba9462c72ac8
SHA256: a933bcd03ffd5983d8cd70ac8eba21502ceedb13581fa8f1a8047b8ce5830876
SHA512: 7253ce06f4cea70a85b87927000ac9e0f5a4fbe7b2470bac218f3f41c7cd040dab65c0fbb51fa2fa981673acbba0f0147339742b30abbe3b0097ea007c593451
Homepage: https://github.com/dvyukov/relacy
Description: meticulous synchronization algorithm verifier for relaxed memory models
Description-md5: 5fb023c0fbccebd3496fe6030812d152
Original-Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug