Package Descriptions for Ubuntu

Browsing French translation

  1. Series maverick
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
509 → 518 of 57897 results First • • • Last
509.
OpenAL-Soft configuration utility
 
Summary
utilitaire de configuration OpenAL-Soft
Translated by Michael Vogt
Reviewed by Pierre Slamich
Located in Package: alsoft-conf
510.
An easy to use tool to configure OpenAL-Soft.
 
Description
Ce paquet fournit un outil simple d'utilisation pour configurer OpenAL- Soft.
Translated by Michael Vogt
Located in Package: alsoft-conf
511.
Automatic theorem prover dedicated to program verification
 
Summary
démonstrateur automatique dédié à la vérification de programme
Translated by Michael Vogt
Located in Package: alt-ergo
512.
Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X) a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism.
 
Description
Alt-Ergo est un prouveur automatique de théorème dédié à la vérification de programme. Alt-Ergo est basé sur CC(X), un algorithme de close de congruence paramétré par une théorie équationnelle X. Actuellement, CC(X) peut être instancié par la théorie équationnelle vide et par les arithmétiques linéaires. Alt-Ergo contient également un solveur SAT fait maison et un mécanisme d'instanciation.
Translated by Michael Vogt
Located in Package: alt-ergo
513.
Alt-Ergo is both safe and modular: each box is described by a small set of inference rules and is implemented as an OCaml functor.
 
Description
Alt-Ergo est à la fois sûr et modulaire[nbsp]: chaque boîte est décrite par un petit ensemble de règles d'inférence et est implémenté en tant que functor OCaml.
Translated by Michael Vogt
Located in Package: alt-ergo
514.
utility used to alter mime-encoded mailpacks
 
Summary
utilitaire pour modifier des mailpack encodés en mime
Translated by Michael Vogt
Reviewed by Pierre Slamich
Located in Package: altermime
515.
alterMIME is a small program which is used to alter your mime-encoded mailpacks as typically received by Inflex, Xamime and AMaViS. alterMIME can:
* Insert disclaimers
* Insert arbitrary X-headers
* Modify existing headers
* Remove attachments based on filename or content-type
* Replace attachments based on filename
 
Description
There are line breaks here. Each one represents a line break. Start a new line in the equivalent position in the translation.
There are leading/trailing spaces here. Each one represents a space character. Enter a space in the equivalent position in the translation.
alterMIME est un petit programme qui permet de modifier vos mailpacks MIME comme typiquement reçues par Inflex, Xamime et AMaViS. alterMIME peut[nbsp]:
* Insérer des avertissements
* Insérer des en-têtes X arbitraires
* Modifier des en-têtes existants
* Supprimer les pièces jointes en fonction du nom de fichier ou du type de contenu
* Remplacer les pièces jointes en fonction du nom de fichier
Translated and reviewed by Sylvie Gallet
Located in Package: altermime
516.
program to perform phylogeny based analyses
 
Summary
programme d'analyses phylogénétiques
Translated by Michael Vogt
Located in Package: altree
517.
ALTree was designed to perform phylogeny based analysis: first, it allows the detection of an association between a candidate gene and a disease, and second, it enables to make hypothesis about the susceptibility loci.
 
Description
ALTree a été conçu pour réaliser des analyses phylogénétiques[nbsp]; il permet tout d'abord la détection d'une association entre un gène candidat et une maladie puis permet de faire des hypothèses sur les loci susceptibles.
Translated by Michael Vogt
Located in Package: altree
518.
example files for ALTree
 
Summary
fichiers d'exemple pour ALTree
Translated by Michael Vogt
Located in Package: altree-examples
509 → 518 of 57897 results First • • • Last

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.

Contributors to this translation: 4E4F, AUGUSTIN BRONDINO, Abdoulaye, Alban V, Alekso42, Alexandre Franke, Anne-Rose Gratadour, Anne017, Anthony Noël, Antoine Jouve, Apophis666, Aquilon, Arnaud Assad, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, AsCi, Ash26, Aurélien Ribeiro, Babey, Baptiste, Baptiste Fontaine, Benitron, Bernos Guillaume, Bertrand Croq, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bruno, Bruno, Bruno Avet, Béranger Dumont, Cajuteq, Canbakan Axel, Carcasse, CedS, Charlie Merland, Christophe Eschbach, Christophe Painchaud, Citron28, Clarence Snickers, CoudCoud, Cyrille Grosdemange, Damien H, DarkVodKa, David ., David Bruant, David Futcher, David Nottin, David Perrenoud, David Racine, Devil505, Djainette, Djiboun, Doyen Philippe, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Fabrice Mathis, Flo Rahl, Florent (LSc), Florian-delaroche, GIRONE Remi, Gaëtan Godineau, Gaëtan Petit, Geoffrey, Glyca, Goshu, GuiMol, Guillaume, Guillaume F, Gwab, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, JVC, Jean-Christophe, Jean-Christophe Baptiste, Jean-Marc, Jerod212, Joachim R., John, Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Chiquet, Julien Henry, Julien Humbert, JurisZombie, Kafi, Kolibry, Ktux, Kwakpiper, Laurent N, Laurent Thibaud, Le Bourhis Mikaël, Leduc, Lentdormi, Loic Pefferkorn, Lola Farret, Lolopro, Louis Dubois, Louis-Philippe Savoie, Macaroni, Maeda, Maijin, Majaaaax, Makidoko, Marot Célestin, Mathieu Disy, Mathieu Goeminne, Mathieu Hajder, Max, Mbarek Firas, Michael Vogt, Mika, MilkaJinka, Moneron Xavier, NSV, NaSH, Networlds, Nicolas Delvaux, Nicolas Maître, Nicolas Quenouille, Nicolas Robin, Nicolog, OUBRAIM Rachid, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul Forget, Paulvirtuel, Philip Millan, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Plank, Quentin Santander, Ralphi2811, Robin Dumont-Chaponet, Romain, Romain DEJEAN, Roms, Rémi Berthoz, Rémi Larrouquis, Salim, Salvato-Vallverdu, SamheG, SarahSlean, Seb24, Serge Pilon, Sika, Simon, Simon THOBY, St3ph, Stanislas Michalak, Steve Langasek, Stéphane, Stéphane Maniaci, Stéphane V, Surfoo, Sydney, Sylvain Doctrinal, Sylvie Gallet, Sébastien, Sébastien DUMORTIER, Tarek, Teromene, Testing Tigerwolf, Thibault Févry, Thomas, Thomas LAROCHE, Thomas Quaglio, Thomas.M, Titanet, Tom Swartz, Toxxic Zad, Tubuntu, Valentin Lorentz, Xarkam, YannUbuntu, Yayel, Yohann, Yvance77, Yves MATHIEU, _Syzygy_, arkan, axelle oxford, baj, bameylan, belbeoch, bloch, bpascal123, clement62910, cocof35, davandg, deactivated--, dpl29, electroluth, elyr, evannc, fabkzo, flobe, fredurb1, gisele perreault, hamelin, hucste, idon'thaveaname, jdt37b, jean-bernard marcon, judejude, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, mart3300, michel_95, moberch, mothsArt, oswald_volant, parislanuit, paulcreusat@yahoo.fr, piti, prunier charly, pythaboc, royto, samuel poette, seb35690, shunesburg69, slurbe, stagelll, sylvain, teza, thebachman, thenasa, tiritchi, titouan le folgoc, toins, yasmine, yeassay, ymadec, Łukasz Zemczak.