The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code; it has been written by John Cremona to compute his elliptic curve database.

Symmetrica is a library for combinatorics. It has support for the representation theory of the symmetric group and related groups, combinatorics of tableaux, symmetric functions and polynomials, Schubert polynomials, and the representation theory of Hecke algebras of type A_n.

FLINT is a C library for number theory. It supports arithmetic with numbers, polynomials, power series and matrices over many base rings, including multiprecision integers and rationals, integers modulo n, p-adic numbers, finite fields (prime and non-prime order) and real and complex numbers (via the Arb extension library).

Operations that can be performed include conversions, arithmetic, GCDs, factoring, solving linear systems, and evaluating special functions. In addition, FLINT provides various low-level routines for fast arithmetic.

android-libziparchive is a library in common use by the various Android core host applications.

Android applications are Java programs that run on a customized virtual machine, which is part of the Android operating system, the Dalvik VM. Their bytecode differs from the bytecode of normal Java applications. Enjarify can translate the Dalvik bytecode back to equivalent Java bytecode, which simplifies the analysis of Android applications. It's an alternative fork of not maintained Goole's project https://github.com/google/enjarify.

While the Android client integrates with the system with regular update checks and notifications, this is a simple command line client that talks to connected devices via ADB.

This package contains headers used for developing software for Android. More precicely the headers from include/android in platform/frameworks/native.

This package provides fastboot, a tool to upload file system images to Android devices.

Repo is a tool built on top of Git. Repo helps manage many Git repositories, does the uploads to revision control systems, and automates parts of the development workflow. Repo is not meant to replace Git, only to make it easier to work with Git. The repo command is an executable Python script that you can put anywhere in your path.

android-safe-iop provides a set of functions for performing and checking safe integer operations. Ensure that integer operations do not result in silent overflow.

android-bionic-uapi provides the part of the Linux API that is safe to use for user space. It also includes system_properties.h and _system_properties.h.

android-ext4-utils is a library in common use by the Android core.

android-libsparse is a library in common use by the various Android core host applications.

The libselinux library provides an API for SELinux applications to get and set process and file security contexts, and to obtain security policy decisions. It is required for any applications that use the SELinux API, and used by all applications that are SELinux-aware. This package also includes the core SELinux management utilities.

android-f2fs-utils is a library in common use by the Android core. It allows the user to create images for the f2fs Flash file system.

etc1 is a command line utility that lets you encode PNG images to the ETC1 compression standard and decode ETC1 compressed images back to PNG. This tool is part of the Android SDK for working with media files for game apps.

The standard for the ETC1 texture format can be found at http://www.khronos.org/registry/gles/extensions/OES/OES_compressed_ETC1_RGB8_texture.txt.

Provides a set of udev rules to allow using Android devices with tools such as adb and fastboot without root privileges. This package is intended to be added as a rule to the udev-service-type in your operating-system configuration. Additionally, an adbusers group must be defined and your user added to it.

Simply installing this package will not have any effect. It is meant to be passed to the udev service.

This package provides a Qt graphical interface for transferring files with Android devices using MTP. It also allows the Android device to be mounted via FUSE.

This package is an Emacs interface to F-Droid. Its purpose is to aid in the management of F-Droid packages for an Android device or an emulator inside the comfort of Emacs.

The F-Droid server tools provide various scripts and tools that are used to maintain F-Droid, the repository of free Android applications. You can use these same tools to create your own additional or alternative repository for publishing, or to assist in creating, testing and submitting metadata to the main repository.

This package provides a tool for manipulating old Android Boot Images. abootimg can work directly on block devices, or, the safest way, on a file image.

Androguard is a full Python tool to manipulate Android files. It is useful for reverse engineering, analysis of Android applications and more.

This package provides a tool to create Android Boot Images.

liblog represents an interface to the volatile Android Logging system for NDK (Native) applications and libraries and contain interfaces for either writing or reading logs. The log buffers are divided up in Main, System, Radio and Events sub-logs.