Browsing French translation

Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and French guidelines.
46014610 of 36952 results
16009.
hledger is a haskell port and friendly fork of John Wiegley's ledger accounting tool. This package provides a web interface as an alternative to the hledger command line interface.
Description
(no translation yet)
Located in Package: hledger-web
16032.
Included client plugins:
* apt - check for outstanding updates
* backuppc - check for errors reported by BackupPC servers (needs
backuppc and sudo)
* dirtyetc - check for conffiles which are modified compared to
Debian's defaults but should not be (needs sudo and debsums,
supports dphys-config)
* dirtyvcs - check for dirty VCS working copies (supports Git,
Mercurial, Bzr and Subversion, needs appropriate VCS packages
installed)
* entropy - check kernel entropy pool size
* ipmi - read IPMI sensors and event log (needs ipmitool)
* libs - check for running processes with upgraded libraries
(needs lsof and sudo)
* mailman - check for the existence of Mailman qfiles. (needs sudo)
* mdstat - check for failed or resyncing RAID devices
* mq - check (postfix's) mail queue
* misc - meta plugin for running series of scripts (needs
libsysadm-install-perl)
* ntpq - check the ntpd daemon synchronization status (needs ntp)
* postgres - statistics graphs for PostgreSQL databases (needs
libdbd-pg-perl)
* sftbnc - check if the local Postfix MTA has soft_bounce enabled.
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: hobbit-plugins
16033.
Included server plugins:
* aptdiff - monitor list of installed packages in host pools
* conn6 - check IPv6 connectivity (needs fping)
* ircbot - relay status changes to IRC (needs libpoe-component-irc-perl)
* tftp - checks TFTP servers by downloading a file from them
(needs libnet-tftp-perl)
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: hobbit-plugins
16034.
Helper software:
* Hobbit.pm: Perl module for writing plugins
* xynagios: adaptor for running Nagios plugins with Xymon
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: hobbit-plugins
16035.
Hockeypuck is an OpenPGP Key Server implementing the HTTP Keyserver Protocol.
Summary
(no translation yet)
Located in Package: hockeypuck
16040.
xboard compatible chess engine to play chess with
Summary
(no translation yet)
Located in Package: hoichess
16041.
chess engine compatible with xboard, but may also be used stand-alone, via terminal. Hoichess is written in C++ for GNU/Linux systems, but should work on most other Unix like systems. It provides also a xiangqi ("Chinese chess") playing program.
Description
(no translation yet)
Located in Package: hoichess
16042.
HOL Light theorem prover
Summary
(no translation yet)
Located in Package: hol-light
16043.
HOL Light is an interactive theorem prover for Higher-Order Logic with a very simple logical core running in an OCaml toplevel. HOL Light is famous for the verification of floating-point arithmetic as well as for the Flyspec project, which aims at the formalization of Tom Hales' proof of the Kepler conjecture.
Description
(no translation yet)
Located in Package: hol-light
16053.
The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.
Description
(no translation yet)
Located in Package: hol88-source Package: hol88-library-source Package: hol88-library-help Package: hol88-library Package: hol88-help Package: hol88-doc Package: hol88-contrib-source Package: hol88-contrib-help Package: hol88
46014610 of 36952 results

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, Achraf cherti, Alban CLERGEOT, Alban V, Alex THIERRY, Alexandre, Alexandre Croteau, Alexandre Franke, Anne, Anthony Noël, Apophis666, Aquilon, ArnaultVandeveld, Arnold Couchard, Arthur Sauvage, Arzach, Aurélien RIVIERE, Aurélien Ribeiro, Babey, Baptiste, Baptiste Fontaine, Bass_DR, Benitron, Berenger Okei, Bernos Guillaume, Bertrand Croq, Beuss, Bi30, Blackestmajor, Bonsoir, Borni DHIFI, Bristow, Bruno, Bruno Avet, Bruno Patri, Cajuteq, Carcasse, CedS, Christophe Eschbach, Citron28, Clarence Snickers, ClemZ, CoudCoud, Damien Haïkal, DarkVodKa, David ., David Futcher, David Nottin, Eglantine Schmitt, Eloiltiti Achraf, Elrick, 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, Pika3D, Pique, Plank, Quentin Dorveaux, Quentin Santander, Ralphi2811, Remiweb, Robin Dumont-Chaponet, Romain, Romain, Roms, Rémi Larrouquis, Salvato-Vallverdu, SarahSlean, Seb24, Serge Pilon, Simon, Simon THOBY, St3ph, Stanislas Michalak, Stéphane Maniaci, Stéphane V, Sydney, Sylvhem, Sylvie Gallet, Tarek, Teo Tedoldi, Teromene, Thibault Févry, Thomas, Thomas Quaglio, Thomas.M, TiiXel, Titanet, Toxxic Zad, Tubuntu, Valentin Lorentz, William, Xavier, YannUbuntu, Yayel, Yohann, Youcef PhnixLord, Yvan Arnaud, Yvance77, _Syzygy_, antoine, axelle oxford, bameylan, blackorpheus, bloch, bpascal123, clappier, clement62910, cocof35, constantin, didier Belot, dom, dpl29, electroluth, elyr, enebre, fabkzo, flobe, fredb59, fredurb1, gerard, 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, vmerlet, yasmine, yeassay, ymadec, yohann.