Shayan Doust pushed to branch master at Debian Med / relacy
Commits:
80efbaaf by Shayan Doust at 2020-07-25T20:27:20+01:00
Section is libdevel
- - - - -
1 changed file:
- debian/control
Changes:
=====================================
debian/control
=====================================
@@ -13,6 +13,7 @@ Rules-Requires-Root: no
Package: relacy-dev
Architecture: all
Multi-Arch: foreign
+Section: libdevel
Depends: ${misc:Depends}
Description: meticulous synchronization algorithm verifier for relaxed memory
models
Relacy Race Detector is a tool for efficient execution of unit tests for
View it on GitLab:
https://salsa.debian.org/med-team/relacy/-/commit/80efbaaf321b0ce897f465f937b35002b880fc37
--
View it on GitLab:
https://salsa.debian.org/med-team/relacy/-/commit/80efbaaf321b0ce897f465f937b35002b880fc37
You're receiving this email because of your account on salsa.debian.org.
_______________________________________________
debian-med-commit mailing list
debian-med-com...@alioth-lists.debian.net
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-med-commit
