Package Descriptions for Ubuntu

Browsing French translation

  1. Series raring
  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.
34782 → 34791 of 76009 results First • • • Last
34782.
the LADR deduction library, development files
 
Summary
(no translation yet)
Located in Package: libladr-dev
34783.
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
34784.
the LADR deduction library
 
Summary
(no translation yet)
Located in Package: libladr4
34785.
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
34786.
OCaml bindings for LADSPA -- runtime files
 
Summary
Liaisons OCaml pour LADSPA - fichiers d'exécution
Translated and reviewed by Sylvie Gallet
Located in Package: libladspa-ocaml
34787.
This package contains only the shared runtime stub binaries.
 
Description
(no translation yet)
Located in Package: libladspa-ocaml
34788.
OCaml bindings for LADSPA -- developpement files
 
Summary
Liaisons OCaml pour LADSPA - fichiers de développement
Translated and reviewed by Sylvie Gallet
Located in Package: libladspa-ocaml-dev
34789.
LADSPA is a free standard specification for audio effect plugins. Ocaml-ladspa provide an interface for OCaml programmers to this architecture.
 
Description
LADSPA est une spécification standard libre pour les greffons d'effets audio. Ocaml-ladspa fournit une interface pour les programmeurs OCaml à cette architecture.
Translated by Jean-Marc
Reviewed by Anne017
Located in Package: libladspa-ocaml-dev Package: libladspa-ocaml
34790.
This package contains all the development stuff you need to develop OCaml programs which use ladspa.
 
Description
Ce paquet contient tous les éléments de développement dont vous avez besoin pour développer des programmes OCaml qui utilisent ladspa.
Translated and reviewed by Pierre Slamich
Located in Package: libladspa-ocaml-dev
34791.
support for third-party components in Java look-and-feel libraries
 
Summary
(no translation yet)
Located in Package: liblaf-plugin-java
34782 → 34791 of 76009 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, Maxim Lopez, Michael Vogt, MilkaJinka, Moneron Xavier, NSV, NaSH, Nguyen Jérémy, Nicolas Delvaux, Nicolas Robin, Nissar Chababy, NoZ, OUBRAIM Rachid, Olivier, Olivier Copetto, Olivier FAYOLLE, Olivier Febwin, 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_, antoine, arkan, axelle oxford, baj, bameylan, blackorpheus, bloch, bpascal123, 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, yasmine, yeassay, ymadec, yohann, Łukasz Zemczak.