Package Descriptions for Ubuntu

Browsing French translation

  1. Series raring
  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.
72767 → 72776 of 76009 results First • • • Last
72767.
It supports Arch Linux (and AUR), Debian, Fedora, Gentoo, openSUSE, Slackware (and linuxpackages.net), Source Mage Linux, Ubuntu, FreeBSD, NetBSD, OpenBSD, Fink, Mandriva, MacPorts and opkg (OpenMoko community) repositories.
 
Description
(no translation yet)
Located in Package: whohas
72768.
whohas was designed to help package maintainers find ebuilds, pkgbuilds, and similar package definitions from other distributions to learn from. However, it can also be used by normal users who want to know which distribution provides certain packages, and which version of a given package is in use in each distribution or in each release of a distribution.
 
Description
Whohas a été conçu pour aider les responsables de paquets à trouver ebuilds, pkgbuilds et des descriptions de paquet similaire dans d’autres distributions pour s’en inspirer. Cependant, il peut être utiliser par des utilisateurs normaux voulant savoir quelle distribution fournit certains paquets, et quelle version d’un paquet donné est utilisée dans chaque distribution ou dans chaque publication d’une distribution.
Translated by Michael Vogt
Located in Package: whohas
72769.
Real-time user logins monitoring tool
 
Summary
Outil de surveillance de connexions utilisateurs temps réel
Translated by Michael Vogt
Located in Package: whowatch
72770.
whowatch is a ncurses who-like utility that displays information about the users currently logged on to the machine, in real-time. Besides standard information (login name, tty, host, user's process), the type of the connection (ie. telnet or ssh) is shown.
 
Description
whowatch est un outil ncurses qui affiche en temps réel des informations sur les utilisateurs actuellement connectés sur la machine. En plus des informations standards (nom de connexion, tty, hôte, processus de l' utilisateur), le type de connexion (i.e. telnet ou ssh) est affiché.
Translated by Michael Vogt
Located in Package: whowatch
72771.
Software verification tool
 
Summary
Outil de vérification logicielle
Translated by Michael Vogt
Located in Package: why
72772.
Examples of programs certified with Why
 
Summary
exemple de programmes certifiés avec Why
Translated by Michael Vogt
Located in Package: why-examples
72773.
Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
 
Description
Why est une interface de générateur de vérification de conditions (VCG[nbsp]: verification conditions generator) pour d'autres outils de vérification. Il utilise un langage puissant incluant des fonctions d'ordre supérieur, le polymorphisme, les références, les tableaux et les exceptions. Il construit des obligations de preuve pour plusieurs systèmes[nbsp]: les assistants de preuve Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar et les procédures de décision Simplify, Alt-Ergo, Yices, CVC Lite et haRVey.
Translated by Michael Vogt
Located in Package: why-examples Package: why
72774.
This package contains examples of programs verified using Why.
 
Description
Ce paquet contient des exemples de programmes vérifiés en utilisant Why.
Translated by Michael Vogt
Located in Package: why-examples
72775.
DSSI Soft Synth Interface
 
Summary
interface de synthèse audio logicielle DSSI
Translated by Michael Vogt
Located in Package: whysynth
72776.
Disposable Soft Synth Interface (DSSI). A brief list of features:
- 4 oscillators, 2 filters, 3 LFOs, and 5 envelope generators per voice.
- 10 oscillator modes minBLEP, wavecycle, asynchronous granular, three
FM modes, waveshaper, noise, PADsynth, and phase distortion.
- 6 filter modes.
- flexible modulation and mixdown options.
DSSI is a plugin API for software instruments (soft synths) with user interfaces, permitting them to be hosted in-process by audio applications. More information on DSSI can be found at: http://dssi.sourceforge.net/
 
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.
(no translation yet)
Located in Package: whysynth
72767 → 72776 of 76009 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 Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Ash26, Aurélien RIVIERE, Aurélien Ribeiro, Babey, Baptiste, 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, CoudCoud, Damien H, DarkVodKa, David ., David Futcher, David Nottin, David Racine, Eglantine Schmitt, Emmanuel Gil Peyrot, Enrico Rosina, Ersplus, Flo Rahl, Florent (LSc), Florian-delaroche, FreddyONe73, GIRONE Remi, Geoffrey, Glyca, Goshu, GuiMol, Guillaume, Gwab, Havok Novak, Indhi Rousseau, Ir0nsh007er, J&V Georges, Jean-Christophe, Jean-Marc, Jerod212, Joachim R., Jonas Rockenbauer, Jonathan Pasquier, Julien, Julien Henry, Julien Humbert, Julien Rouvier, JurisZombie, Kafi, Kolibry, Ktux, Laurent N, Laurent Thibaud, Le Bourhis Mikaël, Lentdormi, Lola Farret, Louis Dubois, Louis Moureaux, Lucas Bayol, Maeda, Marot Célestin, Mathieu Disy, Max, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Robin, Nissar Chababy, NoZ, OUBRAIM Rachid, Olivier, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, OlivierT, PEIGNOT Kévin, Paer, Paquelier Alain, Pascal Maugendre, Paul Forget, 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, Sydney, 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_, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bloch, bpascal123, clappier, clement62910, cocof35, constantin, 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, jplemoine, judejude, kidpaddle, kleiber, kura, lann, ldmpub, le_youki, lebendre, ljere, londumas, louis1806, mart3300, michel_95, moberch, mothsArt, oswald_volant, parislanuit, pythaboc, royto, samuel poette, seb35690, shunesburg69, slurbe, stagelll, sylvain, thenasa, tiritchi, titouan le folgoc, vmerlet, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.