Package Descriptions for Ubuntu

Browsing French translation

  1. Series saucy
  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.
16102 → 16111 of 78723 results First • • • Last
16102.
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
Le système HOL est un assistant de preuve interactif dans une logique d'ordre supérieur. Il est particulièrement remarquable par son haut degré de programmabilité, grâce au méta-langage ML. HOL a de nombreux usages qui vont de la formalisation en mathématiques pures à la vérification de matériel industriel. HOL est utilisé par des institutions universitaires et des industries du monde entier.
Translated by Michael Vogt
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
16103.
poker client
 
Summary
Client de poker
Translated by Sylvie Gallet
Reviewed by Pierre Slamich
Located in Package: holdingnuts
16104.
This package provides the client.
 
Description
Ce paquet fournit le client.
Translated by Sylvie Gallet
Reviewed by Pierre Slamich
Located in Package: snowflake-client
16105.
poker server
 
Summary
serveur de poker
Translated by Pierre Slamich
Reviewed by Sylvie Gallet
Located in Package: holdingnuts-server
16106.
HoldingNuts is an open source multi-platform poker client and server. You can play the popular Texas Hold'em variant with people all over the world, meet your friends, run your own games and even setup your own poker network.
 
Description
HoldingNuts est un client et un serveur de poker, open source et multiplate-forme. Vous pouvez jouer à la célèbre variante Texas Hold'em avec des gens partout dans le monde, rencontrer vos amis, gérer vos propres parties et même configurer votre propre réseau de poker.
Translated and reviewed by Jean-Marc
Located in Package: holdingnuts-server Package: holdingnuts
16107.
This package provides the server.
 
Description
Ce paquet fournit le serveur.
Translated and reviewed by Pierre Slamich
Located in Package: holdingnuts-server
16108.
platform game with high doses of mystery
 
Summary
Jeu de plateformes fortement dosé en mystère
Translated by Michael Vogt
Located in Package: holotz-castle
16109.
A great mystery is hidden beyond the walls of Holotz's Castle. Will you be able to help Ybelle and Ludar to escape alive from the castle? Test your dexterity with this tremendously exciting platform game!
 
Description
Un grand mystère est caché derrière les murs du château de Holotz. Serez-vous capable d'aider Ybelle et Ludar à s'échapper vivants du château[nbsp]? Testez votre dextérité avec ce jeu de plateformes extrêmement prenant[nbsp]!
Translated by Michael Vogt
Located in Package: holotz-castle
16110.
platform game with high doses of mystery - data files
 
Summary
jeu de plateformes à forte dose de mystère –[nbsp]fichiers de données
Translated by Michael Vogt
Located in Package: holotz-castle-data
16111.
This package contains data files for the Holotz's Castle game.
 
Description
Ce paquet contient les fichiers de données pour le jeu Holotz's Castle.
Translated by Michael Vogt
Located in Package: holotz-castle-data
16102 → 16111 of 78723 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, Maxence BOTHOREL, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, Morgan, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Robin, Nissar Chababy, OUBRAIM Rachid, Olivier, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, Olivier Vopat, 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_, afro luffy, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bloch, bpascal123, calvin, 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, vovd, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.