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.
25057 → 25066 of 82199 results First • • • Last
25057.
runtime libraries for Coq
 
Summary
Bibliothèques d'exécution pour Coq
Translated and reviewed by Pierre Slamich
Located in Package: libcoq-core-ocaml
25058.
This package provides runtime libraries for Coq.
 
Description
Ce paquet fournit les bibliothèques d'exécution pour Coq.
Translated and reviewed by Pierre Slamich
Located in Package: libcoq-core-ocaml
25059.
development libraries and tools for Coq
 
Summary
Bibliothèques et outils de développement pour Coq
Translated by Sylvie Gallet
Reviewed by Sylvie Gallet
Located in Package: libcoq-core-ocaml-dev
25060.
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
 
Description
Coq est un assistant de preuve pour la logique d'ordre supérieur, qui permet le développement de programmes d'ordinateur correspondant à une spécification formelle. Il est développé en Objective Caml et Camlp5.
Translated by Michael Vogt
Located in Package: libcoq-stdlib Package: libcoq-core-ocaml-dev Package: libcoq-core-ocaml Package: coqide Package: coq
25061.
This package provides coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
 
Description
(no translation yet)
Located in Package: libcoq-ocaml-dev
25062.
cache abstraction library for Clojure
 
Summary
(no translation yet)
Located in Package: libcore-cache-clojure
25063.
core.cache is a Clojure library that provides implementations of basic caching strategies such as:
 
Description
(no translation yet)
Located in Package: libcore-cache-clojure
25064.
* First-in-first-out (FIFOCache)
* Least-recently-used (LRUCache)
* Least-used (LUCache -- sometimes called Least Frequently Used)
* Time-to-live (TTLCache)
* Naïve cache (BasicCache)
* Naïve cache backed with soft references (SoftCache)
* Low inter-reference recency set algorithm (LIRSCache)
 
Description
There are line breaks here. Each one represents a line break. Start a new line in the equivalent position in the translation.
There are leading/trailing spaces here. Each one represents a space character. Enter a space in the equivalent position in the translation.
(no translation yet)
Located in Package: libcore-cache-clojure
25065.
All implementation use a common base abstraction (CacheProtocol) which, in combination with suitable macros, allows for the easy integration of user defined caching strategies that hook into the Clojure associative data capabilities.
 
Description
(no translation yet)
Located in Package: libcore-cache-clojure
25066.
Java library that provides an XML/XHTML/CSS 2.1 Renderer
 
Summary
(no translation yet)
Located in Package: libcore-renderer-java
25057 → 25066 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.