Package: ec2-init Description-md5: 4cf74a8ef9cc7376e227720b76813136 Description-en: package renamed -> cloud-init This package has been renamed to 'cloud-init'. Package: gce-compute-image-packages Description-md5: 64267a6e545764bf58dc230b691df688 Description-en: GCE's compute-image-packages for use in their guest environment This is a collection of scripts that are used on Google Compute Engine images to ensure compatibility with the cloud, as well as to enable features specific to the cloud. Package: google-compute-engine-oslogin Description-md5: 8ef2174f2e88cc973684fcd465db1eb7 Description-en: Google Compute Engine OS Login Contains libraries, applications and configurations for using OS Login on Google Compute Engine Virtual Machine Instances. 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-1050 Description-md5: 3e03bcac19ac6c4a83caebff3c248cfb 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-1050/debian.README.gz for details Package: linux-aws-headers-4.15.0-1051 Description-md5: 7c3c333feff8da5731b7fa9be5b18d0d 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-1051/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-1050 Description-md5: b689f09143c1d35168db441a9f29610c Description-en: Linux kernel version specific tools for version 4.15.0-1050 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-1050 on 64 bit x86. You probably want to install linux-tools-4.15.0-1050-. Package: linux-aws-hwe-tools-4.15.0-1051 Description-md5: 1f42e359eab6a18741dca3b2972f9590 Description-en: Linux kernel version specific tools for version 4.15.0-1051 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-1051 on 64 bit x86. You probably want to install linux-tools-4.15.0-1051-. Package: linux-azure-edge Description-md5: 5d143c4091c2e7a303d314c0e24595f5 Description-en: Complete Linux kernel for Azure systems. This package will always depend on the latest complete Linux kernel available for Azure systems. Package: linux-buildinfo-4.15.0-1050-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-buildinfo-4.15.0-1051-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-cloud-tools-azure-edge Description-md5: 996a134ced918fe9256d7b32c3a50925 Description-en: Linux kernel versioned cloud tools for Azure systems. This package will always depend on the latest Linux kernel versioned cloud tools available for Azure systems. Package: linux-headers-4.15.0-1050-aws Description-md5: f898752f17ffd9f070969b21c309a631 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-1050/debian.README.gz for details. Package: linux-headers-4.15.0-1051-aws Description-md5: be03862788912bf9fca73a842aeec94a 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-1051/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-headers-azure-edge Description-md5: eeb9ab16adc26b5a55752a82472d09ac Description-en: Linux kernel headers for Azure systems. This package will always depend on the latest kernel headers available for Azure systems. Package: linux-image-4.15.0-1050-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-4.15.0-1051-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-image-azure-edge Description-md5: 59fc023c98c9e1d74aefb185eab773d3 Description-en: Linux kernel image for Azure systems. This package will always depend on the latest kernel image available for Azure systems. Package: linux-modules-4.15.0-1050-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-4.15.0-1051-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-1050-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-4.15.0-1051-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-modules-extra-azure-edge Description-md5: e86fbc654b899819b491fe9eee9760a1 Description-en: Linux kernel extra modules for Azure systems. This package will always depend on the latest extra modules package available for Azure systems. Package: linux-signed-azure-edge Description-md5: 1f20c6cb7313fa276cb34a479c42a15c Description-en: Complete Signed Azure Linux kernel and headers (dummy transitional package) This package will always depend on the latest complete azure Linux kernel and headers. Signed with the Ubuntu EFI key. Package: linux-signed-image-azure-edge Description-md5: 09d9b4e6661a4033d59cdfeb8f6446a5 Description-en: Signed Azure Linux kernel image (dummy transitional package) This package will always depend on the latest azure kernel image available. Signed with the Ubuntu EFI key. Package: linux-tools-4.15.0-1050-aws Description-md5: 779127969225e92c7333d1bc5e082930 Description-en: Linux kernel version specific tools for version 4.15.0-1050 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-1050 on 64 bit x86. Package: linux-tools-4.15.0-1051-aws Description-md5: ec5254ead4fc8a0e65edf9737c034741 Description-en: Linux kernel version specific tools for version 4.15.0-1051 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-1051 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: linux-tools-azure-edge Description-md5: 4c6b704fa5b907a56eecc933f84b2a44 Description-en: Linux kernel versioned tools for Azure systems. This package will always depend on the latest Linux kernel versioned tools available for Azure systems. Package: python-google-compute-engine Description-md5: 974e9ae780a84ca7fac02646e4983ced Description-en: Python library for Google Compute Engine interaction Python libraries used for interacting with Google Compute Engine's APIs and functionality. This package contains the modules for Python 2.x. Package: python3-google-compute-engine Description-md5: a4d1cfa5272d53a6d436315421ef2ba2 Description-en: Python library for Google Compute Engine interaction (Python 3) Python libraries used for interacting with Google Compute Engine's APIs and functionality. This package contains the modules for Python 3.x. 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: 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-1050 Description-md5: 710f2ebab56f0169ab805a133d457871 Description-en: Linux kernel version specific cloud tools for version 4.15.0-1050 This package provides the architecture dependant parts for kernel version locked tools for cloud tools for version 4.15.0-1050 on ARMv8. You probably want to install linux-cloud-tools-4.15.0-1050-. Package: linux-aws-hwe-cloud-tools-4.15.0-1051 Description-md5: e285b1444949353992f4708e9ba2caa7 Description-en: Linux kernel version specific cloud tools for version 4.15.0-1051 This package provides the architecture dependant parts for kernel version locked tools for cloud tools for version 4.15.0-1051 on ARMv8. You probably want to install linux-cloud-tools-4.15.0-1051-. Package: linux-aws-hwe-tools-4.15.0-1050 Description-md5: 3f97de645470f00a96b9ddaf1513ae87 Description-en: Linux kernel version specific tools for version 4.15.0-1050 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-1050 on ARMv8. You probably want to install linux-tools-4.15.0-1050-. Package: linux-aws-hwe-tools-4.15.0-1051 Description-md5: 5d0adaa28f5bebd8c99c8a96517b7f8f Description-en: Linux kernel version specific tools for version 4.15.0-1051 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-1051 on ARMv8. You probably want to install linux-tools-4.15.0-1051-. Package: linux-buildinfo-4.15.0-1050-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.15.0-1051-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-1126-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-buildinfo-4.4.0-1127-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-1050-aws Description-md5: 91fe768e1231232612b6c3d5b083bc6e Description-en: Linux kernel version specific cloud tools for version 4.15.0-1050 This package provides the architecture dependant parts for kernel version locked tools for cloud for version 4.15.0-1050 on ARMv8. Package: linux-cloud-tools-4.15.0-1051-aws Description-md5: edb0a45042c98f8fa283e2045214aa5f Description-en: Linux kernel version specific cloud tools for version 4.15.0-1051 This package provides the architecture dependant parts for kernel version locked tools for cloud for version 4.15.0-1051 on ARMv8. Package: linux-headers-4.15.0-1050-aws Description-md5: ef26b206f96795a75230a430c797a87e 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-1050/debian.README.gz for details. Package: linux-headers-4.15.0-1051-aws Description-md5: def1bf3c9c23cff3145e32b8aa24e556 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-1051/debian.README.gz for details. Package: linux-headers-4.4.0-1126-snapdragon Description-md5: 49476b18d46beec61c76995f38235686 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-1126/debian.README.gz for details. Package: linux-headers-4.4.0-1127-snapdragon Description-md5: 59b3da9db0caa95a605f05879a434f01 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-1127/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-1050-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.15.0-1051-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-1126-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-4.4.0-1127-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-1050-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.15.0-1051-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-1126-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-4.4.0-1127-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-1050-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-modules-extra-4.15.0-1051-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-1126 Description-md5: 50221d32d37063acb68d36143f854e3f 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-1126/debian.README.gz for details Package: linux-snapdragon-headers-4.4.0-1127 Description-md5: 1c9280618385906d60f74d4ce8cb6eba 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-1127/debian.README.gz for details Package: linux-snapdragon-tools-4.4.0-1126 Description-md5: c649d037945aaacde4a53050f1a9c473 Description-en: Linux kernel version specific tools for version 4.4.0-1126 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-1126 on ARMv8. You probabaly want to install linux-tools- meta package. Package: linux-snapdragon-tools-4.4.0-1127 Description-md5: 2d6ecf2deaa322378a6ae9c80e772912 Description-en: Linux kernel version specific tools for version 4.4.0-1127 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-1127 on ARMv8. You probabaly want to install linux-tools- meta package. Package: linux-tools-4.15.0-1050-aws Description-md5: 6c26e74c26d8f6bdbb838eaa6a5181fe Description-en: Linux kernel version specific tools for version 4.15.0-1050 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-1050 on ARMv8. Package: linux-tools-4.15.0-1051-aws Description-md5: 2829e473799adf12e2ba8179331391f0 Description-en: Linux kernel version specific tools for version 4.15.0-1051 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-1051 on ARMv8. Package: linux-tools-4.4.0-1126-snapdragon Description-md5: 666c8b75df665fc350131864bd2140c2 Description-en: Linux kernel version specific tools for version 4.4.0-1126 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-1126 on ARMv8. Package: linux-tools-4.4.0-1127-snapdragon Description-md5: e4445c966890a02151bd5923a52f90e9 Description-en: Linux kernel version specific tools for version 4.4.0-1127 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-1127 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-1122-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-buildinfo-4.4.0-1123-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-1122-raspi2 Description-md5: 52b09e47843336dfb630e0edbad06dcd 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-1122/debian.README.gz for details. Package: linux-headers-4.4.0-1123-raspi2 Description-md5: 35872a75826d9b9cbfa4dbff4cb19357 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-1123/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-1122-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-4.4.0-1123-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-1122-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-modules-4.4.0-1123-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-1122 Description-md5: 694e61a6ff73849a7f985b19876e657e 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-1122/debian.README.gz for details Package: linux-raspi2-headers-4.4.0-1123 Description-md5: ae0401833b5ca2fe975b696240289618 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-1123/debian.README.gz for details Package: linux-raspi2-tools-4.4.0-1122 Description-md5: 1b415e1b157d23773f5ba90d466072db Description-en: Linux kernel version specific tools for version 4.4.0-1122 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-1122 on ARM (hard float). You probabaly want to install the linux-tools- meta package. Package: linux-raspi2-tools-4.4.0-1123 Description-md5: d3f862492ddbb24e875d06fcd60ddc34 Description-en: Linux kernel version specific tools for version 4.4.0-1123 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-1123 on ARM (hard float). You probabaly want to install the linux-tools- meta package. Package: linux-tools-4.4.0-1122-raspi2 Description-md5: 306b0b40639d92b389594672a2a8f7db Description-en: Linux kernel version specific tools for version 4.4.0-1122 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-1122 on ARM (hard float). Package: linux-tools-4.4.0-1123-raspi2 Description-md5: 12edb673f1d8ed9625ad677ed6d952c4 Description-en: Linux kernel version specific tools for version 4.4.0-1123 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-1123 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.