This page shows all known information about package relacy-dev.

relacy-dev - meticulous synchronization algorithm verifier for relaxed memory models

From source: relacy

debian/control

Section

Architecture

Distribution