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.
5324 → 5333 of 78723 results First • • • Last
5324.
update copyright information in files
 
Summary
mise à jour des informations de copyright dans les fichiers
Translated by Michael Vogt
Located in Package: copyright-update
5325.
Update the copyright information in set of files, possibly recursively, matching content criteria. The updating affects copyright year, GPL address information etc.
 
Description
Ce paquet permet de mettre à jour les informations de copyright dans un ensemble de fichiers correspondant à un critère de contenu, de façon potentiellement récursive. La mise à jour affecte l'année de copyright, l'information de l'adresse de la GPL,[nbsp]etc.
Translated by Michael Vogt
Located in Package: copyright-update
5326.
proof assistant for higher-order logic (toplevel and compiler)
 
Summary
outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
Translated by Michael Vogt
Located in Package: coq
5327.
This package provides coqtop, a command line interface to Coq.
 
Description
Ce paquet fournit coqtop, une interface en ligne de commande pour Coq.
Translated and reviewed by Pierre Slamich
Located in Package: coq
5328.
A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
 
Description
Une interface graphique pour Coq est fournie dans le paquet coqide. On peut aussi utiliser Coq avec ProofGeneral, qui permet l'édition de preuves dans Emacs et XEmacs. Pour cela, le paquet proofgeneral doit être installé.
Translated by Michael Vogt
Located in Package: coq
5329.
proof assistant for higher-order logic (theories)
 
Summary
(no translation yet)
Located in Package: libcoq-stdlib
5330.
This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
 
Description
(no translation yet)
Located in Package: libcoq-stdlib
5331.
proof assistant for higher-order logic (gtk interface)
 
Summary
Assistant de preuve pour la logique d'ordre supérieur (interface GTK)
Translated by Pierre Slamich
Reviewed by Sylvie Gallet
Located in Package: coqide
5332.
This package provides CoqIde, a graphical user interface for developing proofs.
 
Description
Ce paquet fournit CoqIde, une interface utilisateur graphique pour l'élaboration d'épreuves.
Translated by Pascal Maugendre
Reviewed by Sylvie Gallet
Located in Package: coqide
5333.
enable core files and report crashes to the sysadmin
 
Summary
vidage des fichiers du noyau et rapport des plantages vers l’administrateur système
Translated by Michael Vogt
Located in Package: corekeeper
5324 → 5333 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.