packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain relacy-dev in all suites, all sections, and all architectures. Found 1 matching packages.

Exact hits

Package relacy-dev

• jammy (22.04LTS) (libdevel): meticulous synchronization algorithm verifier for relaxed memory models [universe]
  0.0+git20191025.acc09bb-2: all
• noble (24.04LTS) (libdevel): meticulous synchronization algorithm verifier for relaxed memory models [universe]
  0.0+git20191025.acc09bb-2: all
• plucky (25.04) (libdevel): meticulous synchronization algorithm verifier for relaxed memory models [universe]
  0.0+git20191025.acc09bb-2: all
• questing (25.10) (libdevel): meticulous synchronization algorithm verifier for relaxed memory models [universe]
  0.0+git20191025.acc09bb-2: all
• resolute (libdevel): meticulous synchronization algorithm verifier for relaxed memory models [universe]
  0.0+git20191025.acc09bb-2build1: all