Bug#518048: science-mathematics: Suggests 'Isabelle' package, which contains uppercase letter

[Eugene V. Lyubimkin]

Package: science-mathematics
Version: 0.4
Severity: serious
Justification: Policy 5.6.7

Package names cannot contain uppercase letters.

-- System Information:
Debian Release: squeeze/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.28-rc7jackyf (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash