Package: gcc-4.7-plugin-dev Priority: optional Section: universe/devel Installed-Size: 5581 Maintainer: Ubuntu Core developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Architecture: amd64 Source: gcc-4.7 Version: 4.7.4-3ubuntu12 Depends: gcc-4.7-base (= 4.7.4-3ubuntu12), gcc-4.7 (= 4.7.4-3ubuntu12), libgmpv4-dev (>= 2:5.0.1~), libc6 (>= 2.14) Filename: pool/universe/g/gcc-4.7/gcc-4.7-plugin-dev_4.7.4-3ubuntu12_amd64.deb Size: 706722 MD5sum: 3d2a302a92d274b9ed1bc537b529b137 SHA1: d46797e270f5ea9bc83f204327d85d7f87303a0b SHA256: a73a892b6a4305d82e8470648451c0962ed6f7a182a2daadc1b069590035b1ee Description: Files for GNU GCC plugin development. Homepage: http://gcc.gnu.org/ Description-md5: f04e3fe2e4b62ffb72f0dc5ae683f155 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu