python3-sphinx-code-tabs

Sphinx extension for selectable code block tabs

This is an extension for the Sphinx documentation system. It adds a `tabs` directive for creating a widget with multiple tabs, allowing the user to switch between them. The individual tabs can be code blocks or general content.

python3-sphinx-hoverxref

Sphinx extension to show tooltips with content embedded when hover a reference

sphinx-hoverxref is a Sphinx extension to show a floating window (tooltips or modal dialogues) on the cross references of the documentation embedding the content of the linked section on them. With sphinx-hoverxref, you don’t need to click a link to see what’s in there.

pyro5-examples

distributed object middleware for Python (RPC)

Pyro (PYthon Remote Object) is an easy to use and powerful distributed object system for Python. In a distributed object system, clients send requests to distant servers, which owns the remote objects. Pyro simplifies a lot the creation of clients and servers, and has among its features: - dynamic and static proxies for all remote method invocations, - a naming service which keeps record of the location of objects, - mobile objects support: clients and servers can pass objects around, - exceptions that occur in the remote object is raised on the client too, - multithreaded server support to handle multiple requests simultaneously.

google-android-cmdline-tools-17.0-installer

Google's Android SDK Command-line Tools (17.0) Installer

This package will download the Google's Android SDK Command-line Tools (17.0) package and unpacks it into Debian-friendly paths.

consolefonts-bedstead

console fonts inspired by SAA5050 character generator

Bedstead is a family of angular monospaced fonts based on the characters produced by the Mullard SAA5050 series of Teletext Character Generators as used in the BBC Microcomputer.

google-android-build-tools-35.0.1-installer

Google's Android SDK Build-Tools 35.0.1 Installer

This package will download the binary Google Android build tools and create a Debian package. The build tools are used in the process of assembling the java code into the APK package. They can also be useful for inspecting APKs.