User Tools

Site Tools


crabe

Liste des logiciels installés sur crabe

  • gcc
  • Perl (+modules),
  • firefox
  • thunderbird
  • éditeurs divers : nedit, emacs, vim-gtk, gedit
  • Serveur X pour les terminaux d'Illkirch
  • manpages-fr-dev manpages-fr-extra manpages-fr
  • acroread
  • coq, coqide
  • bison, flex
crabe.txt · Last modified: 2019/03/11 15:09 (external edit)