Source: wmanager
Section: x11
Priority: optional
Maintainer: Peter Pentchev <roam@debian.org>
Standards-Version: 4.7.0
Build-Depends:
 cnee <!nocheck>,
 debhelper (>> 13.15.2~),
 dh-package-notes,
 dh-sequence-single-binary,
 dpkg-build-api (= 1),
 libfltk1.3-dev,
 python3 <!nocheck>,
 x11-utils <!nocheck>,
 xauth <!nocheck>,
 xvfb <!nocheck>,
X-DH-Compat: 14
Homepage: https://devel.ringlet.net/x11/wmanager/
Vcs-Git: https://gitlab.com/wmanager/wmanager.git -b debian/master
Vcs-Browser: https://gitlab.com/wmanager/wmanager/tree/debian/master
X-Style: black

Package: wmanager
Architecture: any
Multi-Arch: foreign
Suggests:
 menu,
Description: window-manager selection tool used at X startup
 wmanager is a small X11 application for selecting a window manager
 at X startup. wmanager looks for a file named '.wmmanagerrc' in
 the user's home directory which contains a list of window managers;
 you can create such a file with wmanagerrc-update. You can also use
 wmanager-loop that runs window managers chosen by the user until
 told to exit.