Package: gcc-4.7-plugin-dev Priority: optional Section: devel Installed-Size: 5555 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.3-12ubuntu1 Depends: gcc-4.7-base (= 4.7.3-12ubuntu1), gcc-4.7 (= 4.7.3-12ubuntu1), libgmp-dev (>= 2:5.0.1~), libc6 (>= 2.14) Filename: pool/main/g/gcc-4.7/gcc-4.7-plugin-dev_4.7.3-12ubuntu1_amd64.deb Size: 704654 MD5sum: 15b9253ec75c805f895a0fd1e89c0c74 SHA1: dd8435bb8451eb7a526ed5e497d68c6c71b08d3e SHA256: 3e74a24cd7cca91aa7575ec53bceef470a15ec6cc0a785d5a2b7457e3233f67c Description: Files for GNU GCC plugin development. Homepage: http://gcc.gnu.org/ Description-md5: f04e3fe2e4b62ffb72f0dc5ae683f155 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu Supported: 9m