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.
1495 → 1504 of 57897 results First • • • Last
1495.
In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties.
 
Description
De plus, ATS contient une composante ATS/LF qui gère une forme (interactive) de vérification de théorème, où les preuves sont construites comme des fonctions totales. Avec cette composante, ATS prône un style de programmation combinant la programmation avec la preuve de théorème. Par ailleurs, cette composante peut être utilisée comme un cadre logique pour encoder divers systèmes de déduction et leurs (méta-)propriétés.
Translated by Steve Langasek
Located in Package: ats2-lang
1496.
This package contains some examples of the language.
 
Description
Ce paquet contient quelques exemples du langage.
Translated and reviewed by Sylvie Gallet
Located in Package: ats-lang-anairiats-examples
1497.
system activity reporter
 
Summary
Rapporteur d'activité système
Translated by Michael Vogt
Located in Package: atsar
1498.
Monitor system resources such as CPU, network, memory & disk I/O, and record data for later analysis
 
Description
Surveille les ressources système telles que processeur, réseau, mémoire et entrées/sorties disque, et enregistre les données pour une analyse ultérieure.
Translated by Michael Vogt
Located in Package: atsar
1499.
turn-based strategy game
 
Summary
jeu de stratégie en tour par tour
Translated by Michael Vogt
Located in Package: asc
1500.
You control Lords with armies and you have to fight against opponents and achieve quests.
 
Description
Vous contrôlez Lords avec des armées et vous devez vous battre contre des adversaires et de réaliser des quêtes.
Translated by Pierre Slamich
Reviewed by gisele perreault
Located in Package: attal
1501.
medieval theme for attal
 
Summary
Thème médiéval pour attal
Translated and reviewed by Nicolas Robin
Located in Package: attal-themes-medieval
1502.
Attal is an turn-based strategy game that can be played alone (against AI) or against other through a network.
 
Description
Attal est un jeu de stratégie en tour par tour qui peut se jouer seul (contre l'ordinateur) ou bien contre un autre joueur à travers un réseau.
Translated by Michael Vogt
Located in Package: attal-themes-medieval Package: attal
1503.
This package provides the medieval theme for attal.
 
Description
Ce paquet fournit le thème médiéval pour attal
Translated and reviewed by Nicolas Robin
Shared:
Ce paquet fournit le thème médiéval pour attal.
Suggested by Michael Vogt
Located in Package: attal-themes-medieval
1504.
a library for audio segmentation -- utilities
 
Summary
Bibliothèque pour la segmentation sonore - utilitaires
Translated by Michael Vogt
Located in Package: aubio-tools
1495 → 1504 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.