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.
238 → 247 of 78723 results First • • • Last
238.
This package contains an emacs interface to ACL2.
 
Description
Ce paquet contient une interface emacs pour ACL2.
Translated by Thomas
Reviewed by Pierre Slamich
Located in Package: elpa-acl2
239.
Computational Logic for Applicative Common Lisp: infix interface
 
Summary
Logique algorithmique pour Common Lisp applicatif[nbsp]: interface infix
Translated by Pierre Slamich
Reviewed by Pierre Slamich
Located in Package: acl2-infix
240.
This package contains utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.
 
Description
Ce paquet contient des utilitaires et des bibliothèques pour accéder à ACL2 via une notation infix semblable à celles utilisées dans de nombreux langages de programmation non-lisp.
Translated by SarahSlean
Reviewed by Pierre Slamich
Located in Package: acl2-infix
241.
Computational Logic for Applicative Common Lisp: infix source
 
Summary
Logique algorithmique pour Common Lisp applicatif[nbsp]: source infix
Translated by Pierre Slamich
Reviewed by Pierre Slamich
Located in Package: acl2-infix-source
242.
This package contains the source files to the infix interface to ACL2.
 
Description
Ce paquet contient les fichiers source pour l'interface infix de ACL2.
Translated by SarahSlean
Reviewed by Pierre Slamich
Located in Package: acl2-infix-source
243.
Computational Logic for Applicative Common Lisp: source files
 
Summary
Logique algorithmique pour Common Lisp applicatif[nbsp]: fichiers sources
Translated by Pierre Slamich
Reviewed by Pierre Slamich
Located in Package: acl2-source
244.
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
245.
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
Located in Package: acl2-source
246.
Analog dockapp clock for GNUstep
 
Summary
horloge analogique pour barre des tâches pour GNUstep
Translated by Michael Vogt
Located in Package: aclock.app
247.
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
238 → 247 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.