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.
167 → 176 of 57897 results First • • • Last
167.
A Computational Logic for Applicative Common Lisp: infix source
 
Summary
Logique alogrithmique pour application Common Lisp[nbsp]: source infix
Translated and reviewed by seb35690
Shared:
Logique algorithmique pour le Common Lisp applicatif : source infix
Suggested by Pierre Slamich
Located in Package: acl2-infix-source
168.
This package contains the source files to the infix interface to ACL2.
 
Description
Ce paquet contient les fichiers source pour l'interface infix d'ACL2
Translated by Mika
Reviewed by Pierre Slamich
Shared:
Ce paquet contient les fichiers source pour l'interface infix de ACL2.
Suggested by SarahSlean
Located in Package: acl2-infix-source
169.
A Computational Logic for Applicative Common Lisp: source files
 
Summary
Logique alogrithmique pour application Common Lisp[nbsp]: fichiers sources
Translated and reviewed by seb35690
Shared:
Logique algorithmique pour le Common Lisp applicatif : fichiers source
Suggested by Pierre Slamich
Located in Package: acl2-source
170.
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
 
Description
ACL2 est à la fois un langage de programmation dans lequel il est possible de modeler des systèmes informatiques et un outil pour aider à prouver les propriétés de ces modèles.
Translated by Michael Vogt
Located in Package: elpa-acl2 Package: acl2-source Package: acl2-infix-source Package: acl2-infix Package: acl2-doc Package: acl2-books-source Package: acl2-books-certs Package: acl2-books Package: acl2
171.
This package contains the lisp source files to the main ACL2 binary.
 
Description
Ce paquet contient les fichiers sources lisp de l'exécutable principal ACL2.
Translated and reviewed by Pierre Slamich
Shared:
Ce paquet contient les fichiers sources lisp de l'exécutable principal ACL2
Suggested by Pierre Slamich
Located in Package: acl2-source
172.
Analog dockapp clock for GNUstep
 
Summary
horloge analogique pour barre des tâches pour GNUstep
Translated by Michael Vogt
Located in Package: aclock.app
173.
This little application displays the time of the day (analog).
 
Description
Cette petite application affiche l'heure actuelle (analogique).
Translated by Michael Vogt
Reviewed by Pierre Slamich
Located in Package: aclock.app
174.
Homepage: http://www.linuks.mine.nu/aclock/
 
Description
Page d'accueil[nbsp]: http://www.linuks.mine.nu/aclock/
Translated by Michael Vogt
Reviewed by Pierre Slamich
Located in Package: aclock.app
175.
Multi-player classic air combat simulator
 
Summary
Simulateur de combat aérien multi-joueur classique
Translated and reviewed by Pierre Slamich
Located in Package: acm
176.
A multi-player aerial combat simulation. Players engage in air to air combat against one another using heat seeking missiles and cannons.
 
Description
Une simulation de combat aérien en mode multijoueur. Les joueurs engagent le combat dans les airs, ils font usage de missiles à tête chercheuse et de canons.
Translated by SarahSlean
Reviewed by Pierre Slamich
Located in Package: acm
167 → 176 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.