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.