имена на пакети описания имена на пакети-източници съдържание на пакети всички настройки

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Връзки за relacy

Ресурси за Ubuntu:

• Доклади за грешки
• Журнал на промените в Ubuntu
• Авторски права
• Хранилище на изходен код (Git)

Отговорник:

• Ubuntu MOTU Developers (Пощенски архив)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian Med Packaging Team (Пощенски архив)
• Shayan Doust

It should generally not be necessary for users to contact the original maintainer.

Външни препратки:

• Начална страница [github.com]

Следните двоични пакети са компилирани от този пакет-източник:

relacy-dev

meticulous synchronization algorithm verifier for relaxed memory models

Други пакети, свързани с relacy

зависимости при компилиране

зависимости при компилиране (архитектурно-независими)

• adep: debhelper-compat (= 13)

  Пакетът не е наличен

Download relacy

Файл	Големина (в кБ)	контролна сума MD5
relacy_0.0+git20191025.acc09bb.orig.tar.xz	87,6 кБ	5561873cb27e8b852cca03eb23beb5fa
relacy_0.0+git20191025.acc09bb-2build1.debian.tar.xz	2,6 кБ	26451ce6460e5d4f2570d25e3b143e4f
relacy_0.0+git20191025.acc09bb-2build1.dsc	2,0 кБ	61504b20e68346660fa951c58c023716

Хранилище на изходния код на пакета (СКП: Git)

https://salsa.debian.org/med-team/relacy.git

Хранилище на изходния код на пакета (за разглеждане през браузър)

https://salsa.debian.org/med-team/relacy