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