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.
504 → 513 of 57897 results First • • • Last
504.
This is a module for alsaplayer that will output the sound through OSS.
 
Description
Ceci est un module pour alsaplayer qui produira le son à travers la sortie OSS.
Translated by Bonsoir
Reviewed by Pierre Slamich
Located in Package: alsaplayer-oss
505.
PCM player designed for ALSA (text version)
 
Summary
Lecteur PCM conçu pour ALSA (version texte)
Translated by Bonsoir
Reviewed by Pierre Slamich
Located in Package: alsaplayer-text
506.
This package provides a text interface to alsaplayer, and does not require X or GTK+ to run.
 
Description
Ce paquet fournit une interface texte à alsaplayer, et ne nécessite pas X ou GTK+ pour fonctionner.
Translated and reviewed by Pierre Slamich
Located in Package: alsaplayer-text
507.
PCM player designed for ALSA (osd version)
 
Summary
Lecteur PCM conçu pour ALSA (version OSD)
Translated by Bonsoir
Reviewed by Pierre Slamich
Located in Package: alsaplayer-xosd
508.
This package provides a non-interactive interface to the player. All output will be displayed on screen through the X On-Screen Display library.
 
Description
Ce paquet fournit une interface non-interactive pour le lecteur. Tout les rendements seront affichés à l'écran à travers la bibliothèque X d'affichage à l'écran (OSD).
Translated and reviewed by Pierre Slamich
Located in Package: alsaplayer-xosd
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
504 → 513 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.