Package: ec2-init Description-md5: 4cf74a8ef9cc7376e227720b76813136 Description-en: package renamed -> cloud-init This package has been renamed to 'cloud-init'. Package: libnss-mymachines Description-md5: 588342105e1fdd6ff74c093651cb80cc Description-en: nss module to resolve hostnames for local container instances nss-mymachines is a plugin for the GNU Name Service Switch (NSS) functionality of the GNU C Library (glibc) providing hostname resolution for local containers that are registered with systemd-machined.service(8). The container names are resolved to IP addresses of the specific container, ordered by their scope. . Installing this package automatically adds mymachines to /etc/nsswitch.conf. Package: libnss-resolve Description-md5: fa2bc74d218dfae9ad286df8f31fa19f Description-en: nss module to resolve names via systemd-resolved nss-resolve is a plugin for the GNU Name Service Switch (NSS) functionality of the GNU C Library (glibc) providing DNS and LLMNR resolution to programs via the systemd-resolved daemon (provided in the systemd package). . Installing this package automatically adds resolve to /etc/nsswitch.conf. Package: linux-aws-headers-4.15.0-1078 Description-md5: 078cd95100064817aba3184734988867 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-1078/debian.README.gz for details Package: linux-aws-hwe-tools-4.15.0-1078 Description-md5: 46f7897f890799d5b75277d75cb34126 Description-en: Linux kernel version specific tools for version 4.15.0-1078 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-1078 on 64 bit x86. You probably want to install linux-tools-4.15.0-1078-. Package: linux-buildinfo-4.15.0-1078-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-1078-aws Description-md5: b72da70f64393bd2603aafbe889e0727 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-1078/debian.README.gz for details. Package: linux-image-4.15.0-1078-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-modules-4.15.0-1078-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-1078-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-tools-4.15.0-1078-aws Description-md5: 7f13b5df1198db9b959847275cfb9b28 Description-en: Linux kernel version specific tools for version 4.15.0-1078 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-1078 on 64 bit x86. Package: snapd-xdg-open Description-md5: ba6c49ad1a4e739a75a7e8d0fde06a77 Description-en: Transitional package for snapd-xdg-open This is a transitional dummy package. It can safely be removed. 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: systemd-container Description-md5: b7c71babcc98683461816fc34c8f42ba Description-en: systemd container/nspawn tools This package provides systemd's tools for nspawn and container/VM management: * systemd-nspawn * systemd-machined and machinectl * systemd-importd Package: systemd-coredump Description-md5: 149b22bdf2366b7d731957d1b710e54f Description-en: tools for storing and retrieving coredumps This package provides systemd tools for storing and retrieving coredumps: * systemd-coredump * coredumpctl Package: systemd-journal-remote Description-md5: 6bd80842a0c96acb169877c7a6a25ff6 Description-en: tools for sending and receiving remote journal logs This package provides tools for sending and receiving remote journal logs: * systemd-journal-remote * systemd-journal-upload * systemd-journal-gatewayd 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: ubuntu-snappy Description-md5: 1f317b04f78374dba7d1e14def0b7f80 Description-en: transitional dummy package This is a transitional dummy package. It can safely be removed. Package: ubuntu-snappy-cli Description-md5: 1f317b04f78374dba7d1e14def0b7f80 Description-en: transitional dummy package This is a transitional dummy package. It can safely be removed. 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: linux-aws-hwe-cloud-tools-4.15.0-1078 Description-md5: 9c6b84970e8f72e413382bb85724ae74 Description-en: Linux kernel version specific cloud tools for version 4.15.0-1078 This package provides the architecture dependant parts for kernel version locked tools for cloud tools for version 4.15.0-1078 on ARMv8. You probably want to install linux-cloud-tools-4.15.0-1078-. Package: linux-aws-hwe-tools-4.15.0-1078 Description-md5: 69feb6bb1a392a539699bc17c6966e08 Description-en: Linux kernel version specific tools for version 4.15.0-1078 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-1078 on ARMv8. You probably want to install linux-tools-4.15.0-1078-. Package: linux-buildinfo-4.15.0-1078-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-1143-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-1078-aws Description-md5: d759ef8e98d75c7b07b77076f7dbbbc0 Description-en: Linux kernel version specific cloud tools for version 4.15.0-1078 This package provides the architecture dependant parts for kernel version locked tools for cloud for version 4.15.0-1078 on ARMv8. Package: linux-headers-4.15.0-1078-aws Description-md5: 1c0c8ef1592ed46795be4df8909cf707 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-1078/debian.README.gz for details. Package: linux-headers-4.4.0-1143-snapdragon Description-md5: 6e64869e852a044dcfc1ef9c905f4ee5 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-1143/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-1078-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-1143-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-1078-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-1143-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-1078-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-1143 Description-md5: 1e099329942ad2b8e58fc63f9d898807 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-1143/debian.README.gz for details Package: linux-snapdragon-tools-4.4.0-1143 Description-md5: a494585c31429ee4baca5ed99e7de888 Description-en: Linux kernel version specific tools for version 4.4.0-1143 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-1143 on ARMv8. You probabaly want to install linux-tools- meta package. Package: linux-tools-4.15.0-1078-aws Description-md5: f1c2c5762a6147623888c71e7dab2b60 Description-en: Linux kernel version specific tools for version 4.15.0-1078 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-1078 on ARMv8. Package: linux-tools-4.4.0-1143-snapdragon Description-md5: 891fc1a071fda8d89295e33879c516b5 Description-en: Linux kernel version specific tools for version 4.4.0-1143 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-1143 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-1139-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-1139-raspi2 Description-md5: 2c97ffd52aecc53e38bbc286fd505c50 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-1139/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-1139-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-1139-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-1139 Description-md5: 3152dc04890c8a8d11f427a0d80dc811 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-1139/debian.README.gz for details Package: linux-raspi2-tools-4.4.0-1139 Description-md5: de4f9b66cd0a94699c711ed3e500f4ad Description-en: Linux kernel version specific tools for version 4.4.0-1139 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-1139 on ARM (hard float). You probabaly want to install the linux-tools- meta package. Package: linux-tools-4.4.0-1139-raspi2 Description-md5: 3deabd6be65bc9927dfe05ec04e62285 Description-en: Linux kernel version specific tools for version 4.4.0-1139 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-1139 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.