]> www.ginac.de Git - ginac.git/blob - debian/ginac-tools.menu
Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac
[ginac.git] / debian / ginac-tools.menu
1 ?package(ginac-tools):\
2   needs="text"\
3   section="Applications/Science/Mathematics"\
4   title="Ginsh"\
5   longtitle="Ginsh - GiNaC interactive shell"\
6   command="/usr/bin/ginsh" \
7   icon="/usr/share/pixmaps/ginac.xpm"