utils.h: use <stdint.h> (if available) instead of reinventing it.

[ginac.git] / debian / ginac-tools.menu

?package(ginac-tools):\
  needs="text"\
  section="Applications/Science/Mathematics"\
  title="Ginsh"\
  longtitle="Ginsh - GiNaC interactive shell"\
  command="/usr/bin/ginsh" \
  icon="/usr/share/pixmaps/ginac.xpm"