[ Pakiet źródłowy: relacy ]
Pakiet: relacy-dev (0.0+git20191025.acc09bb-2build1) [universe]
Odnośniki dla relacy-dev
Zasoby systemu Ubuntu:
Pobieranie pakietu źródłowego relacy:
- [relacy_0.0+git20191025.acc09bb.orig.tar.xz]
- [relacy_0.0+git20191025.acc09bb-2build1.debian.tar.xz]
- [relacy_0.0+git20191025.acc09bb-2build1.dsc]
Opiekun:
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 (Archiwum e-mail)
- Shayan Doust
It should generally not be necessary for users to contact the original maintainer.
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Podobne pakiety:
meticulous synchronization algorithm verifier for relaxed memory models
Pobieranie relacy-dev
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 46,7 KiB | 368,0 KiB | [lista plików] |