Package Descriptions for Ubuntu

Browsing French translation

  1. Series trusty
  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.
37131 → 37140 of 82199 results First • • • Last
37131.
These are the OCaml bindings for the GtkMathView widget, that is currently available in the libgtkmathview0 package.
 
Description
(no translation yet)
Located in Package: liblablgtkmathview-ocaml-dev
37132.
This package contains the development part of the lablgtkmathview package.
 
Description
Ce paquet contient la partie développement du paquet lablgtkmathview.
Translated by Pierre Slamich
Reviewed by Sylvie Gallet
Located in Package: liblablgtkmathview-ocaml-dev
37133.
OCaml bindings for libgtksourceview2 (runtime)
 
Summary
Liaisons OCaml pour libgtksourceview2 (exécutables)
Translated by Pierre Slamich
Reviewed by Sylvie Gallet
Located in Package: liblablgtksourceview2-ocaml
37134.
OCaml bindings for libgtksourceview2, a source editor GTK+ widget
 
Summary
(no translation yet)
Located in Package: liblablgtksourceview2-ocaml-dev
37135.
This is the OCaml binding for the GtkSourceView2 widget, a text widget that extends the standard GTK+ 2.x text widget with syntax highlighting and other features typical of a source editor.
 
Description
(no translation yet)
Located in Package: liblablgtksourceview2-ocaml-dev Package: liblablgtksourceview2-ocaml
37136.
This package contains the development part of the lablgtksourceview2 package.
 
Description
Ce paquet contient la partie développement du paquet lablgtksourceview2.
Translated by Pierre Slamich
Reviewed by Sylvie Gallet
Located in Package: liblablgtksourceview2-ocaml-dev
37137.
the LADR deduction library, development files
 
Summary
(no translation yet)
Located in Package: libladr-dev
37138.
This package provides development support files for LADR.
 
Description
Ce paquet fournit les fichiers d'aide au développement pour LADR.
Translated by Pierre Slamich
Reviewed by Sylvie Gallet
Located in Package: libladr-dev
37139.
the LADR deduction library
 
Summary
(no translation yet)
Located in Package: libladr4
37140.
LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator.
 
Description
LADR (Library for Automated Deduction Research –[nbsp]bibliothèque pour la recherche déductive automatique) est une bibliothèque utilisable dans la construction de démonstrateur de théorème. Entre autres routines utiles, elle fournit des moyens pour appliquer les règles d'inférence telles que la résolution et la «[nbsp]paramodulation[nbsp]» de propositions. LADR est utilisée par le démonstrateur de théorème Prover9 et par le générateur de contre-exemples Mace4.
Translated by Michael Vogt
Located in Package: libladr4 Package: libladr-dev Package: ladr4-apps
37131 → 37140 of 82199 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 Diep, 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, Darry, 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, Jenny B, Jerod212, Joachim R., Joel Chav, 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, Mehdi Benadel, Michael Vogt, MilkaJinka, Moneron Xavier, Morgan, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Maître, 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, clappier, clement62910, cocof35, constantin, dhorne, 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, shunesburg69, slurbe, stagelll, sylvain, thenasa, tiritchi, titouan le folgoc, vmerlet, vovd, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.