Package: libglib2.0-0-refdbg Description-md5: cea4cdd8830593baa14ee430f4147a0b Description-en: GLib library of C routines - refdbg library GLib is a library containing many useful C routines for things such as trees, hashes, lists, and strings. It is a useful general-purpose C library used by projects such as GTK+, GIMP, and GNOME. . This package contains the shared library built with --disable-Bsymbolic so that it can be used with refdbg, a GObject refcount debugger. Package: libglib2.0-tests Description-md5: 08c6a283a0e7547a1f8014a0ba341a09 Description-en: GLib library of C routines - installed tests GLib is a library containing many useful C routines for things such as trees, hashes, lists, and strings. It is a useful general-purpose C library used by projects such as GTK+, GIMP, and GNOME. . This package contains test programs, designed to be run as part of a regression testsuite. Package: linux-aws-edge Description-md5: e8e612af03def1f6105fcd39ec83fed3 Description-en: Complete Linux kernel for AWS systems (dummy transitional package) Transitional package for upgrades from aws-edge. Package: linux-aws-headers-4.15.0-1064 Description-md5: 6777706176554691ff20331951b68bc0 Description-en: Header files related to Linux kernel version 4.15.0 This package provides kernel header files for version 4.15.0, for sites that want the latest kernel headers. Please read /usr/share/doc/linux-aws-headers-4.15.0-1064/debian.README.gz for details Package: linux-aws-hwe Description-md5: a360a2f58d38d9ba68cb893f8c81bf34 Description-en: Complete Linux kernel for AWS systems. This package will always depend on the latest complete Linux kernel available for AWS systems. Package: linux-aws-hwe-tools-4.15.0-1064 Description-md5: 355f6901187f8e931b57203c1318f96d Description-en: Linux kernel version specific tools for version 4.15.0-1064 This package provides the architecture dependant parts for kernel version locked tools (such as perf and x86_energy_perf_policy) for version 4.15.0-1064 on 64 bit x86. You probably want to install linux-tools-4.15.0-1064-. Package: linux-buildinfo-4.15.0-1064-aws Description-md5: ec6b9a317bc4aefc4bb8618c8c2a11bc Description-en: Linux kernel buildinfo for version 4.15.0 on 64 bit x86 SMP This package contains the Linux kernel buildinfo for version 4.15.0 on 64 bit x86 SMP. . You likely do not want to install this package. Package: linux-headers-4.15.0-1064-aws Description-md5: ebc5b6258c8ebb3cd5d7bdfaedbb4f54 Description-en: Linux kernel headers for version 4.15.0 on 64 bit x86 SMP This package provides kernel header files for version 4.15.0 on 64 bit x86 SMP. . This is for sites that want the latest kernel headers. Please read /usr/share/doc/linux-headers-4.15.0-1064/debian.README.gz for details. Package: linux-headers-aws-hwe Description-md5: a7480e6794e1196fe6c4493bb10de495 Description-en: Linux kernel headers for AWS systems. This package will always depend on the latest kernel headers available for AWS systems. Package: linux-image-4.15.0-1064-aws Description-md5: faf23600882c3d906ab9424476eda056 Description-en: Linux kernel image for version 4.15.0 on 64 bit x86 SMP This package contains the Linux kernel image for version 4.15.0 on 64 bit x86 SMP. . Supports AWS processors. . Geared toward Amazon Web Services (AWS) systems. . You likely do not want to install this package directly. Instead, install the linux-aws meta-package, which will ensure that upgrades work correctly, and that supporting packages are also installed. Package: linux-image-aws-hwe Description-md5: f5900f8bb5fe9e4927d8cbe98b340ae1 Description-en: Linux kernel image for AWS systems. This package will always depend on the latest kernel image available for AWS systems. Package: linux-modules-4.15.0-1064-aws Description-md5: 20a13d07778ebdf4680b184206194be4 Description-en: Linux kernel extra modules for version 4.15.0 on 64 bit x86 SMP Contains the corresponding System.map file, the modules built by the packager, and scripts that try to ensure that the system is not left in an unbootable state after an update. . Supports AWS processors. . Geared toward Amazon Web Services (AWS) systems. . You likely do not want to install this package directly. Instead, install the linux-aws meta-package, which will ensure that upgrades work correctly, and that supporting packages are also installed. Package: linux-modules-extra-4.15.0-1064-aws Description-md5: a4818cb6efa4ed9d255cae8127080e29 Description-en: Linux kernel extra modules for version 4.15.0 on 64 bit x86 SMP This package contains the Linux kernel extra modules for version 4.15.0 on 64 bit x86 SMP. . Also includes the corresponding System.map file, the modules built by the packager, and scripts that try to ensure that the system is not left in an unbootable state after an update. . Supports AWS processors. . Geared toward Amazon Web Services (AWS) systems. . You likely do not want to install this package directly. Instead, install the linux-aws meta-package, which will ensure that upgrades work correctly, and that supporting packages are also installed. Package: linux-modules-extra-aws-hwe Description-md5: d63d87dde1b61e9837ce2bfb52eeaa46 Description-en: Extra modules for Amazon Web Services (AWS) systems. This package will always depend on the latest extra modules package available for Amazon Web Services (AWS) systems. Package: linux-tools-4.15.0-1064-aws Description-md5: 24a80d5a94b7e5315acb90fbf73e4d63 Description-en: Linux kernel version specific tools for version 4.15.0-1064 This package provides the architecture dependant parts for kernel version locked tools (such as perf and x86_energy_perf_policy) for version 4.15.0-1064 on 64 bit x86. Package: linux-tools-aws-hwe Description-md5: 1c760f9cd682d4a2ce1e4f32facd8003 Description-en: Linux kernel versioned tools for AWS systems. This package will always depend on the latest Linux kernel versioned tools available for AWS systems. Package: openssh-client-ssh1 Description-md5: 0a3748ca6a712bbffcc838280a2dede7 Description-en: secure shell (SSH) client for legacy SSH1 protocol This is the portable version of OpenSSH, a free implementation of the Secure Shell protocol as specified by the IETF secsh working group. . Ssh (Secure Shell) is a program for logging into a remote machine and for executing commands on a remote machine. It provides secure encrypted communications between two untrusted hosts over an insecure network. X11 connections and arbitrary TCP/IP ports can also be forwarded over the secure channel. It can be used to provide applications with a secure communication channel. . This package provides the ssh1 and scp1 clients and the ssh-keygen1 utility, all built with support for the legacy SSH1 protocol. This protocol is obsolete and should not normally be used, but in some cases there may be no alternative way to connect to outdated servers. . In some countries it may be illegal to use any encryption at all without a special permit. . ssh replaces the insecure rsh, rcp and rlogin programs, which are obsolete for most purposes. Package: postgresql-plperl-9.5 Description-md5: 72a8d9aac6d121326f37aff0b19abbdf Description-en: PL/Perl procedural language for PostgreSQL 9.5 PL/Perl enables an SQL developer to write procedural language functions for PostgreSQL 9.5 in Perl. You need this package if you have any PostgreSQL 9.5 functions that use the languages plperl or plperlu. . PostgreSQL is an object-relational SQL database management system. Package: postgresql-plpython-9.5 Description-md5: e9f3ccd737d3fad8edbddb52bb883c73 Description-en: PL/Python procedural language for PostgreSQL 9.5 PL/Python enables an SQL developer to write procedural language functions for PostgreSQL 9.5 in Python. You need this package if you have any PostgreSQL 9.5 functions that use the languages plpython or plpythonu. . PostgreSQL is an object-relational SQL database management system. Package: postgresql-plpython3-9.5 Description-md5: a977badee37f47f7ed08208cfbfbc14d Description-en: PL/Python 3 procedural language for PostgreSQL 9.5 PL/Python 3 enables an SQL developer to write procedural language functions for PostgreSQL 9.5 in Python 3. You need this package if you have any PostgreSQL 9.5 functions that use the languages plpython3 or plpython3u. . PostgreSQL is an object-relational SQL database management system. Package: postgresql-pltcl-9.5 Description-md5: 6ade04a534309cb1db46beb57d9b1d16 Description-en: PL/Tcl procedural language for PostgreSQL 9.5 PL/Tcl enables an SQL developer to write procedural language functions for PostgreSQL 9.5 in Tcl. You need this package if you have any PostgreSQL 9.5 functions that use the languages pltcl or pltclu. . PostgreSQL is an object-relational SQL database management system. Package: postgresql-server-dev-9.5 Description-md5: 09ec7e2d9fec5c8f07fd96f6ac33317e Description-en: development files for PostgreSQL 9.5 server-side programming Header files for compiling SSI code to link into PostgreSQL's backend; for example, for C functions to be called from SQL. . This package also contains the Makefiles necessary for building add-on modules of PostgreSQL, which would otherwise have to be built in the PostgreSQL source-code tree. . PostgreSQL is an object-relational SQL database management system. Package: pulseaudio-esound-compat Description-md5: c4bef34c6a4dad881a8090fdc8386ec8 Description-en: PulseAudio ESD compatibility layer PulseAudio, previously known as Polypaudio, is a sound server for POSIX and WIN32 systems. It is a drop in replacement for the ESD sound server with much better latency, mixing/re-sampling quality and overall architecture. . This package contains the ESD compatibility components used by some older versions of complete desktop environments, e.g., GNOME, and many useful applications. It enables a PulseAudio sound server to fully replace ESD. Package: pulseaudio-module-droid Description-md5: e70f68f46cc885c0c297c4b43069a3f1 Description-en: Android Audio HAL module for PulseAudio sound server PulseAudio, previously known as Polypaudio, is a sound server for POSIX and WIN32 systems. It is a drop in replacement for the ESD sound server with much better latency, mixing/re-sampling quality and overall architecture. . This module enables PulseAudio to work on top of the Android Audio HAL. . The module is called module-droid. Package: pulseaudio-module-gconf Description-md5: c3adf0ed8c67f1355a3e02e8fd0d85c2 Description-en: GConf module for PulseAudio sound server PulseAudio, previously known as Polypaudio, is a sound server for POSIX and WIN32 systems. It is a drop in replacement for the ESD sound server with much better latency, mixing/re-sampling quality and overall architecture. . This module enables PulseAudio to store additional configuration in GConf. . The module is called module-gconf. Package: pulseaudio-module-jack Description-md5: a45f4943771fb4ccf89a76a36f7f6f13 Description-en: jackd modules for PulseAudio sound server PulseAudio, previously known as Polypaudio, is a sound server for POSIX and WIN32 systems. It is a drop in replacement for the ESD sound server with much better latency, mixing/re-sampling quality and overall architecture. . These modules enables PulseAudio to connect to a jackd daemon. . The modules are called module-jack-sink, module-jack-source. Package: pulseaudio-module-lirc Description-md5: 476ebc36bd51c387e0a12a54352ae162 Description-en: lirc module for PulseAudio sound server PulseAudio, previously known as Polypaudio, is a sound server for POSIX and WIN32 systems. It is a drop in replacement for the ESD sound server with much better latency, mixing/re-sampling quality and overall architecture. . This module enables the volume of a PulseAudio sink to be controlled when buttons of an infrared remote control are pressed (through LIRC). . The module is called module-lirc. Package: pulseaudio-module-raop Description-md5: f443b32abfa3073d1874fa9b76cf88b1 Description-en: RAOP module for PulseAudio sound server PulseAudio, previously known as Polypaudio, is a sound server for POSIX and WIN32 systems. It is a drop in replacement for the ESD sound server with much better latency, mixing/re-sampling quality and overall architecture. . This module enables PulseAudio to stream audio to an Apple Airport Express. Package: pulseaudio-module-trust-store Description-md5: 7f433fe624a66b64614d5c18b353a142 Description-en: trust-store module for PulseAudio sound server PulseAudio, previously known as Polypaudio, is a sound server for POSIX and WIN32 systems. It is a drop in replacement for the ESD sound server with much better latency, mixing/re-sampling quality and overall architecture. . This module enables PulseAudio to use the trust-store in Ubuntu touch systems. . The module is called module-trust-store. Package: pulseaudio-module-zeroconf Description-md5: bccd0c2eacb18c71f7d829db12f93aae Description-en: Zeroconf module for PulseAudio sound server PulseAudio, previously known as Polypaudio, is a sound server for POSIX and WIN32 systems. It is a drop in replacement for the ESD sound server with much better latency, mixing/re-sampling quality and overall architecture. . This module enables PulseAudio to publish available sinks and sources via zeroconf (aka. Avahi, mdns). . The module is called module-zeroconf-publish. Package: quassel Description-md5: 83ad5bf95f7dabdf4664ad63c6379fc3 Description-en: IRC client This is a modern, cross-platform, distributed IRC client. One (or multiple) client(s) can attach to and detach from a central core. It's much like the popular combination of screen and a text-based IRC client such as WeeChat, but graphical. . This package provides a complete traditional IRC client (client and core) in a single integrated package Package: quassel-client Description-md5: 0e233943f71a7360ee9d3dfe4e4b1d47 Description-en: distributed IRC client - client component This is the client component of Quassel. A modern, cross-platform, distributed IRC client, meaning that one (or multiple) client(s) can attach to and detach from this central core. It's much like the popular combination of screen and a text-based IRC client such as WeeChat, but graphical. . This package only provides Quassel's client component. If you need to run the core/server component on your local machine install the package 'quassel' instead. Package: quassel-client-qt4 Description-md5: 7b0cf4ea43bcf57a580fc46f83a32ef4 Description-en: Transitional package for Quassel Client This is an empty package to transition to quassel-client, it can be safely removed. Package: quassel-core Description-md5: 540693170dce4ecc1a717d785285e671 Description-en: distributed, KDE/Qt-based IRC client - core/server component This is the core component of Quassel. A modern, cross-platform, distributed IRC client, meaning that one (or multiple) client(s) can attach to and detach from this central core. It's much like the popular combination of screen and a text-based IRC client such as WeeChat, but graphical. . This package only provides Quassel's core/server component. Package: quassel-data Description-md5: fb700ef89dc001d4591a445017aedf6d Description-en: distributed, KDE/Qt-based IRC client - data files This is a modern, cross-platform, distributed IRC client, meaning that one (or multiple) client(s) can attach to and detach from a central core. It's much like the popular combination of screen and a text-based IRC client such as WeeChat, but graphical. . This package contains architecture-independent data files needed to run Quassel. Package: quassel-dbg Description-md5: d8eab96d2a43947b3cd1640f4bae2cd7 Description-en: distributed, KDE/Qt-based IRC client - debugging symbols These are the debugging symbols of Quassel. A modern, cross-platform, distributed IRC client, meaning that one (or multiple) client(s) can attach to and detach from this central core. It's much like the popular combination of screen and a text-based IRC client such as WeeChat, but graphical. . This package only provides Quassel's debugging symbols. Package: quassel-qt4 Description-md5: 0bda1d2eaa485600a26732f03332d2f3 Description-en: Transitional package for Quassel This is an empty package to transition to quassel, it can be safely removed. Package: ssh-askpass-gnome Description-md5: e888e7e8e5a6ee7b30f000dc22ed083f Description-en: interactive X program to prompt users for a passphrase for ssh-add This has been split out of the main openssh-client package so that openssh-client does not need to depend on GTK+. . You probably want the ssh-askpass package instead, but this is provided to add to your choice and/or confusion. Package: ssh-krb5 Description-md5: 97f2344812bdc3899f4e9dd9a1b4f5fe Description-en: secure shell client and server (transitional package) This is a transitional package depending on the regular Debian OpenSSH client and server, which now support GSSAPI natively. It will add the necessary GSSAPI options to the server configuration file. You can remove it once the upgrade is complete and nothing depends on it. Package: stress-ng Description-md5: e4b37767e71cce0d013c8e30c3be093b Description-en: tool to load and stress a computer stress-ng can stress various subsystems of a computer. It can stress load CPU, cache, disk, memory, socket and pipe I/O, scheduling and much more. stress-ng is a re-write of the original stress tool by Amos Waterland but has many additional features such as specifying the number of bogo operations to run, execution metrics, a stress verification on memory and compute operations and considerably more stress mechanisms. Package: systemtap Description-md5: 0aaa66102baf710a00ed98dc88fd7534 Description-en: instrumentation system for Linux SystemTap provides infrastructure to simplify the gathering of information about the running Linux system. This assists diagnosis of a performance or functional problem. SystemTap eliminates the need for the developer to go through the tedious and disruptive instrument, recompile, install, and reboot sequence that may be otherwise required to collect data. . SystemTap provides a simple command line interface and scripting language for writing instrumentation for a live running system. Package: systemtap-client Description-md5: ed93790e53261104420740cd37037a8e Description-en: instrumentation system for Linux (client for compile server) This package contains client for SystemTap compile server. It can be used to compile probes on a remote machine running systemtap-server. This client can be run on a machine without full kernel debug information and development environment required for 'systemtap' package. . If you only want to compile systemtap probes locally just install 'systemtap' package. . SystemTap provides infrastructure to simplify the gathering of information about the running Linux system. Package: systemtap-common Description-md5: c5d2c140f32e968c63c24e4c6a3b1c4b Description-en: instrumentation system for Linux (common component) SystemTap provides infrastructure to simplify the gathering of information about the running Linux system. . To be able to write new SystemTap probes, install systemtap package. . This package contains the common files Package: systemtap-doc Description-md5: 423c79924d2af3ef7018de62dd2edbd8 Description-en: documentation and examples for SystemTap This package contains examples and documentation for SystemTap. . SystemTap provides infrastructure to simplify the gathering of information about the running Linux system. Package: systemtap-runtime Description-md5: 3b8442240972060b39c7cabf63a3eb04 Description-en: instrumentation system for Linux (runtime component) This package contains staprun program that can be used to run compiled SystemTap probes. . SystemTap provides infrastructure to simplify the gathering of information about the running Linux system. . To be able to write new SystemTap probes, install systemtap package. Package: systemtap-sdt-dev Description-md5: ecef96f7dab2e30fd0d586168053cc6b Description-en: statically defined probes development files This package contains header file and executable (dtrace) that can be used to add static probes into userspace applications for use with SystemTap. . SystemTap provides infrastructure to simplify the gathering of information about the running Linux system. . To be able to write new SystemTap probes, install systemtap package. Package: systemtap-server Description-md5: b06185466bc2c394362abf8236e40c53 Description-en: instrumentation system for Linux (compile server) This package contains compile server for SystemTap. It can be used together with systemtap client to compile probes on a remote machine. Probes will be compiled by the server on request of remote clients. . SystemTap provides infrastructure to simplify the gathering of information about the running Linux system. Package: thunderbird-globalmenu Description-md5: fd9f1e7c342cabe4de92af51203c160c Description-en: Email, RSS and newsgroup client (transitional package) This is a transitional package to ensure that upgrades work correctly. It can be safely removed Package: thunderbird-mozsymbols Description-md5: ac1a6a5ccd00092e19efbf6f6f9538a0 Description-en: Email, RSS and newsgroup client - Breakpad symbols Thunderbird is a full-featured email, RSS and newsgroup client that makes emailing safer, faster and easier than ever before. It supports different mail accounts (POP, IMAP, Gmail), has a simple mail account setup wizard, one- click address book, tabbed interface, an integrated learning spam filter, advanced search and indexing capabilities, and offers easy organization of mails with tagging and virtual folders. It also features unrivalled extensibility. . This package contains the Firefox symbols in a format expected by Mozilla's Breakpad. Eventually this package should go away and the symbol upload be implemented in soyuz (or other builders that build this package) Package: unicode-data Description-md5: 8ca2003962df648573522c5c3ca66f11 Description-en: Property data for the Unicode character set This package contains the property data, for the Unicode data set. Package: xfce4-weather-plugin Description-md5: 75261edfb17dac04dbe7f9212ab0574b Description-en: weather information plugin for the Xfce4 panel The weather plugin displays information about the current weather according your timezone and settings. It allows one to search weather location code in the same plugin and displays weather status in little icons. . Features include: - Temperature, atmospheric pressure and state. - Wind speed, gust, and direction. - Humidity, Visibility, Dew-point, UV Index. Package: xul-ext-calendar-timezones Description-md5: aa51586667f70f4444de07214c475b6d Description-en: Calendar Extension for Thunderbird (transitional package) This is a transitional package to ensure that upgrades work correctly. It can be safely removed Package: xul-ext-gdata-provider Description-md5: aa51586667f70f4444de07214c475b6d Description-en: Calendar Extension for Thunderbird (transitional package) This is a transitional package to ensure that upgrades work correctly. It can be safely removed Package: xul-ext-lightning Description-md5: a0293e147dba3d166b3727a30a6634a0 Description-en: Calendar Extension for Thunderbird Lighting is the Mozilla Calendar extension for Thunderbird, based on Sunbird - the Mozilla Standalone Calendar application. It is tightly integrated with Thunderbird, allowing it to easily perform email-related calendaring tasks. Package: linux-aws-hwe-cloud-tools-4.15.0-1064 Description-md5: f374fc801149f5c1ced3d20991c2719d Description-en: Linux kernel version specific cloud tools for version 4.15.0-1064 This package provides the architecture dependant parts for kernel version locked tools for cloud tools for version 4.15.0-1064 on ARMv8. You probably want to install linux-cloud-tools-4.15.0-1064-. Package: linux-aws-hwe-tools-4.15.0-1064 Description-md5: b5392e87194dc7947fb900acbb4d9f69 Description-en: Linux kernel version specific tools for version 4.15.0-1064 This package provides the architecture dependant parts for kernel version locked tools (such as perf and x86_energy_perf_policy) for version 4.15.0-1064 on ARMv8. You probably want to install linux-tools-4.15.0-1064-. Package: linux-buildinfo-4.15.0-1064-aws Description-md5: 4f01ed96492a10e6297bb9e9a0bf104c Description-en: Linux kernel buildinfo for version 4.15.0 on ARMv8 SMP This package contains the Linux kernel buildinfo for version 4.15.0 on ARMv8 SMP. . You likely do not want to install this package. Package: linux-buildinfo-4.4.0-1135-snapdragon Description-md5: a505cd1f93c23e97d833935905c9daed Description-en: Linux kernel buildinfo for version 4.4.0 on ARMv8 SMP This package contains the Linux kernel buildinfo for version 4.4.0 on ARMv8 SMP. . You likely do not want to install this package. Package: linux-cloud-tools-4.15.0-1064-aws Description-md5: ede7c44d0f9e0ec22a3084f955475797 Description-en: Linux kernel version specific cloud tools for version 4.15.0-1064 This package provides the architecture dependant parts for kernel version locked tools for cloud for version 4.15.0-1064 on ARMv8. Package: linux-headers-4.15.0-1064-aws Description-md5: 081ac87cacf4f81e2787bcd019508728 Description-en: Linux kernel headers for version 4.15.0 on ARMv8 SMP This package provides kernel header files for version 4.15.0 on ARMv8 SMP. . This is for sites that want the latest kernel headers. Please read /usr/share/doc/linux-headers-4.15.0-1064/debian.README.gz for details. Package: linux-headers-4.4.0-1135-snapdragon Description-md5: d26a041e413155b968af04aae6116258 Description-en: Linux kernel headers for version 4.4.0 on ARMv8 SMP This package provides kernel header files for version 4.4.0 on ARMv8 SMP. . This is for sites that want the latest kernel headers. Please read /usr/share/doc/linux-headers-4.4.0-1135/debian.README.gz for details. Package: linux-headers-snapdragon Description-md5: b91660f4ed21735e89725e56b0700976 Description-en: Linux kernel headers for the Qualcomm Snapdragon 410c architecture. This package will always depend on the latest kernel headers available for ARM64 Qualcomm Snapdragon 410c systems. Package: linux-image-4.15.0-1064-aws Description-md5: aa63fbbf7b07eee00ba97652a9e72170 Description-en: Linux kernel image for version 4.15.0 on ARMv8 SMP This package contains the Linux kernel image for version 4.15.0 on ARMv8 SMP. . Supports AWS processors. . Geared toward Amazon Web Services (AWS) systems. . You likely do not want to install this package directly. Instead, install the linux-aws meta-package, which will ensure that upgrades work correctly, and that supporting packages are also installed. Package: linux-image-4.4.0-1135-snapdragon Description-md5: 9a90dabe6f1b83f31b07ba739b51f64a Description-en: Linux kernel image for version 4.4.0 on ARMv8 SMP This package contains the Linux kernel image for version 4.4.0 on ARMv8 SMP. . Supports Generic processors. . Geared toward desktop and server systems. . You likely do not want to install this package directly. Instead, install the linux-snapdragon meta-package, which will ensure that upgrades work correctly, and that supporting packages are also installed. Package: linux-image-snapdragon Description-md5: 0af4796d3c4ce8fe5783f36d3e8f3e97 Description-en: Linux kernel image for the Qualcomm Snapdragon 410c architecture. This package will always depend on the latest kernel image available for ARM64 Qualcomm Snapdragon 410c systems. Package: linux-modules-4.15.0-1064-aws Description-md5: 2130d3024e19e4644de5e113b9a4348d Description-en: Linux kernel extra modules for version 4.15.0 on ARMv8 SMP Contains the corresponding System.map file, the modules built by the packager, and scripts that try to ensure that the system is not left in an unbootable state after an update. . Supports AWS processors. . Geared toward Amazon Web Services (AWS) systems. . You likely do not want to install this package directly. Instead, install the linux-aws meta-package, which will ensure that upgrades work correctly, and that supporting packages are also installed. Package: linux-modules-4.4.0-1135-snapdragon Description-md5: 8379b6d3fa9d6c8f29e7e586d9744004 Description-en: Linux kernel extra modules for version 4.4.0 on ARMv8 SMP Contains the corresponding System.map file, the modules built by the packager, and scripts that try to ensure that the system is not left in an unbootable state after an update. . Supports Generic processors. . Geared toward desktop and server systems. . You likely do not want to install this package directly. Instead, install the linux-snapdragon meta-package, which will ensure that upgrades work correctly, and that supporting packages are also installed. Package: linux-modules-extra-4.15.0-1064-aws Description-md5: 8d2a290b7ff329719a900d4205564e03 Description-en: Linux kernel extra modules for version 4.15.0 on ARMv8 SMP This package contains the Linux kernel extra modules for version 4.15.0 on ARMv8 SMP. . Also includes the corresponding System.map file, the modules built by the packager, and scripts that try to ensure that the system is not left in an unbootable state after an update. . Supports AWS processors. . Geared toward Amazon Web Services (AWS) systems. . You likely do not want to install this package directly. Instead, install the linux-aws meta-package, which will ensure that upgrades work correctly, and that supporting packages are also installed. Package: linux-snapdragon Description-md5: 1f9e24b14982ffe37e835f5f471daf2e Description-en: Complete Linux kernel for the Qualcomm Snapdragon 410c architecture. This package will always depend on the latest complete Linux kernel available for ARM64 Qualcomm Snapdragon 410c systems. Package: linux-snapdragon-headers-4.4.0-1135 Description-md5: 1e8728adce9341d1ad9ff7418be3b6a1 Description-en: Header files related to Linux kernel version 4.4.0 This package provides kernel header files for version 4.4.0, for sites that want the latest kernel headers. Please read /usr/share/doc/linux-snapdragon-headers-4.4.0-1135/debian.README.gz for details Package: linux-snapdragon-tools-4.4.0-1135 Description-md5: 5bf1f42c54458ee9c706433a7ebbf2d9 Description-en: Linux kernel version specific tools for version 4.4.0-1135 This package provides the architecture dependant parts for kernel version locked tools (such as perf and x86_energy_perf_policy) for version 4.4.0-1135 on ARMv8. You probabaly want to install linux-tools- meta package. Package: linux-tools-4.15.0-1064-aws Description-md5: 7558c107b99ffb2b77dddbdcca10ea04 Description-en: Linux kernel version specific tools for version 4.15.0-1064 This package provides the architecture dependant parts for kernel version locked tools (such as perf and x86_energy_perf_policy) for version 4.15.0-1064 on ARMv8. Package: linux-tools-4.4.0-1135-snapdragon Description-md5: f3dd494bd71509d18e2327f4071ca663 Description-en: Linux kernel version specific tools for version 4.4.0-1135 This package provides the architecture dependant parts for kernel version locked tools (such as perf and x86_energy_perf_policy) for version 4.4.0-1135 on ARMv8. Package: linux-tools-snapdragon Description-md5: 9a28fe420f7c5e03e4f3914a96d3254f Description-en: Linux kernel versioned Tools. This package will always depend on the latest Linux kernel versioned tools available for ARM64 Qualcomm Snapdragon 410c systems. The Ubuntu patches have been applied. Package: petitboot Description-md5: 280b7da8852eec1982897447dba6cf8f Description-en: ncurses version of petitboot, a kexec based bootloader Petitboot is a platform independent bootloader based on the Linux kexec warm reboot mechanism. Petitboot supports loading kernel and initrd image files from any mountable Linux device, plus can load image files from the network using TFTP, NFS, HTTP, HTTPS, and SCP. Petitboot can boot any operating system supported by kexec. Package: petitboot-twin Description-md5: d886d16895a18d56ed4783387f3ccb96 Description-en: Twin GUI version of petitboot, a kexec based bootloader Petitboot is a platform independent bootloader based on the Linux kexec warm reboot mechanism. Petitboot supports loading kernel and initrd image files from any mountable Linux device, plus can load image files from the network using TFTP, NFS, HTTP, HTTPS, and SCP. Petitboot can boot any operating system supported by kexec. Package: agda-bin Description-md5: f8e26d204d9ccc3a3cfdad460ae35595 Description-en: commandline interface to Agda Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources. Package: libghc-agda-dev Description-md5: 367dee38c949eb56c7f0325161eedb49 Description-en: dependently typed functional programming language Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. Package: linux-buildinfo-4.4.0-1131-raspi2 Description-md5: 37251d530035006334331845917b466e Description-en: Linux kernel buildinfo for version 4.4.0 on ARM (hard float) SMP This package contains the Linux kernel buildinfo for version 4.4.0 on ARM (hard float) SMP. . You likely do not want to install this package. Package: linux-headers-4.4.0-1131-raspi2 Description-md5: 08f34470105b0597fb2a330919260c0d Description-en: Linux kernel headers for version 4.4.0 on ARM (hard float) SMP This package provides kernel header files for version 4.4.0 on ARM (hard float) SMP. . This is for sites that want the latest kernel headers. Please read /usr/share/doc/linux-headers-4.4.0-1131/debian.README.gz for details. Package: linux-headers-raspi2 Description-md5: 325961295b16189333c01b5cecc65ef8 Description-en: Linux kernel headers for the BCM2709 architecture. This package will always depend on the latest kernel headers available for ARM BCM2709 systems. Package: linux-image-4.4.0-1131-raspi2 Description-md5: cf241f4620886fe2587367119d625378 Description-en: Linux kernel image for version 4.4.0 on ARM (hard float) SMP This package contains the Linux kernel image for version 4.4.0 on ARM (hard float) SMP. . Supports Generic processors. . Geared toward desktop and server systems. . You likely do not want to install this package directly. Instead, install the linux-raspi2 meta-package, which will ensure that upgrades work correctly, and that supporting packages are also installed. Package: linux-image-raspi2 Description-md5: 814523097d87cdb6c10b9bdee6d70059 Description-en: Linux kernel image for the BCM2709 architecture. This package will always depend on the latest kernel image available for ARM BCM2709 systems. Package: linux-modules-4.4.0-1131-raspi2 Description-md5: 9f3043a604907999ebd0a829bb29dd0d Description-en: Linux kernel extra modules for version 4.4.0 on ARM (hard float) SMP Contains the corresponding System.map file, the modules built by the packager, and scripts that try to ensure that the system is not left in an unbootable state after an update. . Supports Generic processors. . Geared toward desktop and server systems. . You likely do not want to install this package directly. Instead, install the linux-raspi2 meta-package, which will ensure that upgrades work correctly, and that supporting packages are also installed. Package: linux-raspi2 Description-md5: af1a07d43e83f239c2162c6c99131cc7 Description-en: Complete Linux kernel for the BCM2709 architecture. This package will always depend on the latest complete Linux kernel available for ARM BCM2709 systems. Package: linux-raspi2-headers-4.4.0-1131 Description-md5: 8e3b30d92cae9ba06322da71fa0369cb Description-en: Header files related to Linux kernel version 4.4.0 This package provides kernel header files for version 4.4.0, for sites that want the latest kernel headers. Please read /usr/share/doc/linux-raspi2-headers-4.4.0-1131/debian.README.gz for details Package: linux-raspi2-tools-4.4.0-1131 Description-md5: 9e049965fbe036094d2b44fd61302737 Description-en: Linux kernel version specific tools for version 4.4.0-1131 This package provides the architecture dependant parts for kernel version locked tools (such as perf and x86_energy_perf_policy) for version 4.4.0-1131 on ARM (hard float). You probabaly want to install the linux-tools- meta package. Package: linux-tools-4.4.0-1131-raspi2 Description-md5: 8cf1fdd2f5e03a736156d0394be80294 Description-en: Linux kernel version specific tools for version 4.4.0-1131 This package provides the architecture dependant parts for kernel version locked tools (such as perf and x86_energy_perf_policy) for version 4.4.0-1131 on ARM (hard float). Package: linux-tools-raspi2 Description-md5: 1dcd2a3e7720acd859349d339e6d4649 Description-en: Linux kernel versioned Tools. This package will always depend on the latest Linux kernel versioned tools available for ARM BCM2709 systems. The Ubuntu patches have been applied.