Package Descriptions for Ubuntu

Browsing French translation

  1. Series wily
  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.
678 → 687 of 93140 results First • • • Last
678.
alsaplayer XOSD display module
 
Summary
module d'affichage XOSD pour alsaplayer
Translated by Michael Vogt
Located in Package: alsaplayer-xosd
679.
This package provides a non-interactive interface to alsaplayer, an audio player. Information about the file currently being played will be displayed on screen through the X On-Screen Display library (xosd).
 
Description
Ce paquet fournit une interface non interactive pour alsaplayer, un lecteur audio. Les informations concernant le fichier joué actuellement sont affichées à l'écran grâce à la bibliothèque xosd («[nbsp]X On-Screen Display[nbsp]»).
Translated by Michael Vogt
Located in Package: alsaplayer-xosd
680.
OpenAL-Soft configuration utility
 
Summary
utilitaire de configuration OpenAL-Soft
Translated by Michael Vogt
Reviewed by Pierre Slamich
Located in Package: alsoft-conf
681.
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
682.
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
683.
Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic.
 
Description
Alt-Ergo est un démonstrateur de théorème automatique dédié à la vérification de programme. Il est basé sur CC(X), un algorithme de clôture de congruence paramétré par une théorie équationnelle[nbsp]X. Alt-Ergo possède des démonstrateurs intégrés pour la logique propositionnelle, l’arithmétique linéaire, les symboles de fonctions non interprétées, les symboles de fonctions associatives/commutatives, des tableaux polymorphes, les types d’enregistrements polymorphes personnalisés et des types d’énumération polymorphes. Il possède une gestion restreinte pour raisonner sur des types d’algèbre personnalisés, des quantifieurs de premier ordre et de l’arithmétique non linéaire.
Translated by Michael Vogt
Located in Package: alt-ergo
684.
This package contains the prover as a command-line executable as well as the graphical interface.
 
Description
Ce paquet fournit le démonstrateur avec des interfaces en ligne de commande et graphique.
Translated by Michael Vogt
Located in Package: alt-ergo
685.
tool to help developers improve keyboard accelerators
 
Summary
outil pour aider les développeurs à améliorer les raccourcis claviers
Translated by Michael Vogt
Located in Package: alt-key
686.
Alt_Key is an application that instantly shows where keyboard accelerators should go in menu option texts and dialog labels. It is very fast because it uses the Kuhn-Munkres algorithm, easily outperforming all the naive algorithms.
 
Description
Alt_Key est une application qui montre instantanément où les raccourcis claviers doivent aller dans les textes des options des menus ou dans les étiquettes des boîtes de dialogues. Il est très rapide car basé sur l'algorithme Kuhn-Munkres et surpasse facilement les algorithmes naïfs.
Translated by Michael Vogt
Located in Package: alt-key
687.
The program makes it straightforward for developers to find the right characters to use as accelerators for menu option texts and for dialog labels. This helps make GUI programs more usable by catering for users who can't use the mouse and for fast typists who don't want to use the mouse.
 
Description
Le programme facilite le travail des développeurs en pointant le bon caractère à utiliser comme raccourci pour les textes des options des menus ou pour les étiquettes de boîtes de dialogues. Il aide à créer des interfaces utilisateurs plus utilisables et plus accessibles pour ceux qui n'utilisent pas de souris par obligation ou par choix.
Translated by Michael Vogt
Located in Package: alt-key
678 → 687 of 93140 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 CLERGEOT, Alban V, Alexandre, Alexandre Croteau, Alexandre Franke, Anne017, Anthony Diep, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Ash26, Aurélien James, Aurélien Ribeiro, Babey, Baptiste Fontaine, Benitron, Berenger Okei, Bernos Guillaume, Bertrand Croq, Beuss, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bristow, Bruno, Bruno, Bruno Avet, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Clarence Snickers, ClemZ, DarkVodKa, Darry, David ., David Futcher, David Nottin, David Racine, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Flo Rahl, Florent (LSc), Florian-delaroche, FreddyONe73, GIRONE Remi, Gaëtan Petit, Geoffrey, Glyca, Goshu, Grégoire Markey, GuiMol, Guillaume, Gwab, Gérard Duteil, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jenny B, Jerod212, Joachim R., Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Henry, Julien Humbert, JurisZombie, Kafi, Kolibry, Ktux, Laurent N, Laurent Thibaud, Lentdormi, Lola Farret, Louis Dubois, Louis Moureaux, Lucas Bayol, Maeda, Marot Célestin, Mathieu Disy, Max, Maxence BOTHOREL, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, Morgan, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Maître, Nicolas Robin, Nissar Chababy, OUBRAIM Rachid, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, Olivier Vopat, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul FEUVRAUX, Paulvirtuel, Philip Millan, Philippe, Pier-Luc Ducharme, Pierre Scacchi, Pierre Slamich, Pierre-Alexandre Racine, Pierre-Alexis, Pierrick Vandenbroucke, Pique, Plank, Quentin Dorveaux, Quentin Santander, Ralphi2811, Remiweb, Removed by request, Robin Dumont-Chaponet, Romain, Romain DEJEAN, Roms, Rémi Berthoz, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, Simon THOBY, St3ph, Stanislas Michalak, Steve Langasek, Stéphane Maniaci, Stéphane V, Sylvhem, Sylvie Gallet, Tarek, Teo Tedoldi, Teromene, Thibault Févry, Thomas, Thomas Quaglio, Thomas.M, Titanet, Toxxic Zad, Tubuntu, Valentin Lorentz, William, Xavier, YannUbuntu, Yayel, Yohann, Youcef PhnixLord, Yvan Arnaud, Yvance77, _Syzygy_, afro luffy, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bloch, bpascal123, clappier, clement62910, cocof35, constantin, dhorne, didier Belot, dom, dpl29, electroluth, elyr, enebre, fabkzo, flobe, fredb59, fredurb1, gerard, gfds, gisele perreault, grosvalpin, hamelin, hucste, idon'thaveaname, jdt37b, jean-bernard marcon, jlla, joel, jplemoine, judejude, kidpaddle, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, marcus, mart3300, michel_95, moberch, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, shunesburg69, slurbe, stagelll, sylvain, thenasa, tiritchi, titouan le folgoc, utybo, vincent dumont, vmerlet, vovd, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.