gir1.2-networkmanager-1.0 1.12.6-0ubuntu2 (armhf binary) in ubuntu disco

 NetworkManager is a system network service that manages your network devices
 and connections, attempting to keep active network connectivity when
 available. It manages ethernet, WiFi, mobile broadband (WWAN), and PPPoE
 devices, and provides VPN integration with a variety of different VPN
 services.
 .
 This package contains introspection data for NetworkManager using
 libnm-glib/libnm-util.
 .
 It can be used by packages using the GIRepository format to generate
 dynamic bindings.