Package: mono-tools-devel
Architecture: all
Version: 4.2-2.2
Priority: optional
Section: universe/devel
Source: mono-tools
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Mono Group <pkg-mono-group@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 108
Depends: mono-runtime (>= 3.0~), gendarme, libmono-corlib4.5-cil (>= 4.6.1.3), libmono-system-core4.0-cil (>= 4.6.1.3), libmono-system4.0-cil (>= 4.6.1.3)
Filename: pool/universe/m/mono-tools/mono-tools-devel_4.2-2.2_all.deb
Size: 27528
MD5sum: 3a71a0fd4f2d3aed3eee02c5fb0a3292
SHA1: 7cb86e2d69c25c459e55992eb95aa324e51e4cb4
SHA256: e259a215d14b9f34fb700e2e0922c386ffcefad9b3636c7a0f46c860b5ff815c
Description: Various development tools for mono
Description-md5: f5c3ca9b2e91306bde7b7c6b853e639f