Package: mono-tools-gui Source: mono-tools Version: 4.2-2 Installed-Size: 485 Maintainer: Debian Mono Group <pkg-mono-group@lists.alioth.debian.org> Architecture: all Replaces: gnunit (<< 1.2.1) Depends: mono-runtime (>= 3.0~), gendarme, libglib2.0-cil (>= 2.12.10-1ubuntu1), libgtk2.0-0 (>= 2.24.0), libgtk2.0-cil (>= 2.12.10-1ubuntu1), libmono-cairo4.0-cil (>= 4.0.4.1), libmono-corlib4.5-cil (>= 4.6.1.3), libmono-csharp4.0c-cil (>= 4.6.1.3), libmono-management4.0-cil (>= 1.0), libmono-posix4.0-cil (>= 4.6.1.3), libmono-sharpzip4.84-cil (>= 1.0), libmono-system-core4.0-cil (>= 4.6.1.3), libmono-system-drawing4.0-cil (>= 4.6.1.3), libmono-system-xml-linq4.0-cil (>= 4.2.0), libmono-system-xml4.0-cil (>= 4.6.1.3), libmono-system4.0-cil (>= 4.6.1.3), libwebkit1.1-cil (>= 0.3) Description: Various GUI tools for mono Description-md5: 856462674ba9600e11803ffd1504971e Tag: role::program, uitoolkit::gtk Section: cli-mono Priority: optional Filename: pool/main/m/mono-tools/mono-tools-gui_4.2-2_all.deb Size: 135210 MD5sum: ab970da6d05b9c26d542bda0fae27066 SHA256: f4ffa2c4fefcbe0cfa448878997f931931d92c661ffa07257bb4de303b7cd960