Le mainteneur Debian y mentionne en effet l'endroit où il a récupéré le code source du programme et il est probable qu'il s'agisse justement du site web en question.
The Debian maintainer generally indicates in this file where they got the program's source code, and this is likely to be the website that you need to find.
par compilation du code source du programme et établissement de la liaison entre le programme compilé et au moins une annotation de spécification formelle extraite afin de créer un programme exécutable contenant au moins une référence à un module de spécification formelle exécutable
compiling the program source code and linking the compiled program and the at least one extracted formal specification annotation to create an executable program that includes at least one reference to an executable formal specification module
Ces informations établissent la correspondance entre le code source du programme et le code machine.
This section holds line number information for symbolic debugging, which describes the correspondence between the program source and the machine code.
Le changement est annoncé comme suit : Le répertoire doit contenir le code source du programme et, sous forme de source, tout code dont il dépend.
Ce logiciel est disponible gratuitement pour tous les utilisateurs et ceux-ci peuvent modifier le code source du programme.
This Software is available for free of cost for all users and they can do changes in the source code of the program.
Des instructions concernant la construction du code source de chaque article de programme sont extraites de la bibliothèque et intégrées dans un résumé.
Instructions for building the source code of each program asset is extracted from the library and into a digest.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.