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.
72764 → 72773 of 76009 results First • • • Last
72764.
It works with ghostview-based and xdvi-based previewers, but enhanced visual effects and wider variety of options will be available when using the advi DVI-previewer.
 
Description
Il fonctionne avec des prévisualisateurs basés sur ghostview et xdvi, mais des effets visuels supérieurs et une plus large variété d’options sont possibles avec le prévisualisateur DVI advi.
Translated by Michael Vogt
Located in Package: whizzytex
72765.
query multiple distributions' package archives
 
Summary
recherche dans les archives de paquets de plusieurs distributions
Translated by Michael Vogt
Located in Package: whohas
72766.
whohas is a command line tool that allows you to query several package collections at once.
 
Description
Whohas est un outil en ligne de commande permettant de rechercher plusieurs groupes de paquets en même temps.
Translated by Michael Vogt
Located in Package: whohas
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
72764 → 72773 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.