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.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.