[ Paquet source : relacy ]
Paquet : relacy-dev (0.0+git20191025.acc09bb-2) [universe]
Liens pour relacy-dev
Ressources Ubuntu :
Télécharger le paquet source relacy :
- [relacy_0.0+git20191025.acc09bb-2.dsc]
- [relacy_0.0+git20191025.acc09bb.orig.tar.xz]
- [relacy_0.0+git20191025.acc09bb-2.debian.tar.xz]
Responsable :
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 (Archive du courrier électronique)
- Shayan Doust
It should generally not be necessary for users to contact the original maintainer.
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
meticulous synchronization algorithm verifier for relaxed memory models
Télécharger relacy-dev
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 46,0 ko | 368,0 ko | [liste des fichiers] |