|
|
@ -35,6 +35,7 @@ mkIf profiles.isDesktop {
|
|
|
|
gnuplot # générateur de graphes à partir de données numériques
|
|
|
|
gnuplot # générateur de graphes à partir de données numériques
|
|
|
|
graphviz # dot, neato : traçage de graphes (carré, rond)
|
|
|
|
graphviz # dot, neato : traçage de graphes (carré, rond)
|
|
|
|
jekyll # générateur statique de site web
|
|
|
|
jekyll # générateur statique de site web
|
|
|
|
|
|
|
|
odpdown # conversion md -> presentation ODP : https://github.com/thorstenb/odpdown
|
|
|
|
pandoc
|
|
|
|
pandoc
|
|
|
|
texLiveFull # distribution LaTeX
|
|
|
|
texLiveFull # distribution LaTeX
|
|
|
|
#texLive # distribution LaTeX de base
|
|
|
|
#texLive # distribution LaTeX de base
|
|
|
|