Package: certbot Description-md5: deb7e404ce1b150b59379c3f9a73ac1a Description-en: automatically configure HTTPS using Let's Encrypt The objective of Certbot, Let's Encrypt, and the ACME (Automated Certificate Management Environment) protocol is to make it possible to set up an HTTPS server and have it automatically obtain a browser-trusted certificate, without any human intervention. This is accomplished by running a certificate management agent on the web server. . This agent is used to: . - Automatically prove to the Let's Encrypt CA that you control the website - Obtain a browser-trusted certificate and set it up on your web server - Keep track of when your certificate is going to expire, and renew it - Help you revoke the certificate if that ever becomes necessary. . This package contains the main application, including the standalone and the manual authenticators. Package: curtin Description-md5: 131b2c82b3ac98e404f8679da8cf7637 Description-en: Library and tools for the curtin installer This package provides the curtin installer. . Curtin is an installer that is blunt, brief, snappish, snippety and unceremonious. Package: ec2-hibinit-agent Description-md5: 90b00d26095ca500f0bc7b0f0d3dc95c Description-en: Amazon EC2 hibernation agent The purpose of this agent is to create a setup for an instance to support hibernation feature. . The setup is created only on supported instance types. Package: ec2-init Description-md5: 4cf74a8ef9cc7376e227720b76813136 Description-en: package renamed -> cloud-init This package has been renamed to 'cloud-init'. Package: letsencrypt Description-md5: b77c3edb2fdeaba6edecc4488cb24985 Description-en: transitional dummy package This is a transitional dummy package for the rename of letsencrypt to certbot. It can safely be removed. Package: libprotobuf-java Description-md5: 2ac9477d01e9d2920f1793f9f58f3aa6 Description-en: Java bindings for protocol buffers Protocol buffers are a flexible, efficient, automated mechanism for serializing structured data - similar to XML, but smaller, faster, and simpler. You define how you want your data to be structured once, then you can use special generated source code to easily write and read your structured data to and from a variety of data streams and using a variety of languages. You can even update your data structure without breaking deployed programs that are compiled against the "old" format. . Google uses Protocol Buffers for almost all of its internal RPC protocols and file formats. . This package contains the Java bindings for the protocol buffers. You will need the protoc tool (in the protobuf-compiler package) to compile your definition to Java classes, and then the modules in this package will allow you to use those classes in your programs. Package: libsdl2-2.0-0 Description-md5: eac74b2cbfe55d827d5e2ced34a00b0f Description-en: Simple DirectMedia Layer SDL is a library that allows programs portable low level access to a video framebuffer, audio output, mouse, and keyboard. . This version of SDL is compiled with X11 and Wayland graphics drivers and OSS, ALSA, NAS, sndio and PulseAudio sound drivers. Package: libsdl2-dbg Description-md5: 784ef1eacd353c10222d88e70e5ce69a Description-en: Simple DirectMedia Layer debug files SDL is a library that allows programs portable low level access to a video framebuffer, audio output, mouse, and keyboard. . This package contains the debug symbols for the SDL library. Package: libsdl2-dev Description-md5: 9a82f59c5790721baad7ffc5f181d3d6 Description-en: Simple DirectMedia Layer development files SDL is a library that allows programs portable low level access to a video framebuffer, audio output, mouse, and keyboard. . This package contains the files needed to compile and link programs which use SDL. Package: libsdl2-doc Description-md5: a30e9f79cd550bfdc77322c7f6f892eb Description-en: Reference manual for libsdl2 SDL is a library that allows programs portable low level access to a video framebuffer, audio output, mouse, and keyboard. . This package contains the reference manual and examples. 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-1033 Description-md5: 5c8724f9b818500bacbe5eaea688682c 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-1033/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-1033 Description-md5: 867730730b1675446e88db0c890e3530 Description-en: Linux kernel version specific tools for version 4.15.0-1033 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-1033 on 64 bit x86. You probably want to install linux-tools-4.15.0-1033-. 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-1033-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-1033-aws Description-md5: 012d7099477b8a4f468eab160c131f65 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-1033/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-1033-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-1033-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-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-1033-aws Description-md5: 2a92a2ee88c33c99532614e91693c2eb Description-en: Linux kernel version specific tools for version 4.15.0-1033 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-1033 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-acme Description-md5: e9984343fb79b5b38891196fe71a1b00 Description-en: ACME protocol library for Python 2 This is a library used by the Let's Encrypt client for the ACME (Automated Certificate Management Environment). The ACME protocol is designed as part of the Let's Encrypt project, to make it possible to setup an HTTPS server and have it automatically obtain a browser-trusted certificate, without any human intervention. This library implements the protocol used for proving the control of a domain. This library is Python 2. Package: python-acme-doc Description-md5: c0e216e279369caa34b4a2cb6e59f51e Description-en: ACME protocol library for Python 2 - Documentation This is a library used by the Let's Encrypt client for the ACME (Automated Certificate Management Environment). The ACME protocol is designed as part of the Let's Encrypt project, to make it possible to setup an HTTPS server and have it automatically obtain a browser-trusted certificate, without any human intervention. This library implements the protocol used for proving the control of a domain. . This package provides the documentation. Package: python-certbot Description-md5: 85358386ec4314ac7c0c6d37555b95ff Description-en: main library for certbot The objective of Certbot, Let's Encrypt, and the ACME (Automated Certificate Management Environment) protocol is to make it possible to set up an HTTPS server and have it automatically obtain a browser-trusted certificate, without any human intervention. This is accomplished by running a certificate management agent on the web server. . This agent is used to: . - Automatically prove to the Let's Encrypt CA that you control the website - Obtain a browser-trusted certificate and set it up on your web server - Keep track of when your certificate is going to expire, and renew it - Help you revoke the certificate if that ever becomes necessary. . This package contains the main libraries. Package: python-certbot-apache Description-md5: 30ce999e68e8586fa200da41d3a2a49f Description-en: Apache plugin for Certbot The objective of Certbot, Let's Encrypt, and the ACME (Automated Certificate Management Environment) protocol is to make it possible to set up an HTTPS server and have it automatically obtain a browser-trusted certificate, without any human intervention. This is accomplished by running a certificate management agent on the web server. . This agent is used to: . - Automatically prove to the Let's Encrypt CA that you control the website - Obtain a browser-trusted certificate and set it up on your web server - Keep track of when your certificate is going to expire, and renew it - Help you revoke the certificate if that ever becomes necessary. . This package contains the Apache plugin to the main application. Package: python-certbot-apache-doc Description-md5: 6e462b02b9ab52b9c7012344365f0504 Description-en: Apache plugin documentation for Certbot The objective of Certbot, Let's Encrypt, and the ACME (Automated Certificate Management Environment) protocol is to make it possible to set up an HTTPS server and have it automatically obtain a browser-trusted certificate, without any human intervention. This is accomplished by running a certificate management agent on the web server. . This agent is used to: . - Automatically prove to the Let's Encrypt CA that you control the website - Obtain a browser-trusted certificate and set it up on your web server - Keep track of when your certificate is going to expire, and renew it - Help you revoke the certificate if that ever becomes necessary. . This package contains the documentation for the Apache plugin. Package: python-certbot-doc Description-md5: c921886ee1b2b199ff3083306791f0a8 Description-en: client documentation for certbot The objective of Certbot, Let's Encrypt, and the ACME (Automated Certificate Management Environment) protocol is to make it possible to set up an HTTPS server and have it automatically obtain a browser-trusted certificate, without any human intervention. This is accomplished by running a certificate management agent on the web server. . This agent is used to: . - Automatically prove to the Let's Encrypt CA that you control the website - Obtain a browser-trusted certificate and set it up on your web server - Keep track of when your certificate is going to expire, and renew it - Help you revoke the certificate if that ever becomes necessary. . This package contains the documentation. Package: python-certbot-nginx Description-md5: a4b0f37cf92adc225368ca044499723c Description-en: Nginx plugin for Certbot The objective of Certbot, Let's Encrypt, and the ACME (Automated Certificate Management Environment) protocol is to make it possible to set up an HTTPS server and have it automatically obtain a browser-trusted certificate, without any human intervention. This is accomplished by running a certificate management agent on the web server. . This agent is used to: . - Automatically prove to the Let's Encrypt CA that you control the website - Obtain a browser-trusted certificate and set it up on your web server - Keep track of when your certificate is going to expire, and renew it - Help you revoke the certificate if that ever becomes necessary. . This package contains the Nginx plugin to the main application. Package: python-certbot-nginx-doc Description-md5: 44298552b70c0afe9ea738f00ec6c778 Description-en: Nginx plugin documentation for Certbot The objective of Certbot, Let's Encrypt, and the ACME (Automated Certificate Management Environment) protocol is to make it possible to set up an HTTPS server and have it automatically obtain a browser-trusted certificate, without any human intervention. This is accomplished by running a certificate management agent on the web server. . This agent is used to: . - Automatically prove to the Let's Encrypt CA that you control the website - Obtain a browser-trusted certificate and set it up on your web server - Keep track of when your certificate is going to expire, and renew it - Help you revoke the certificate if that ever becomes necessary. . This package contains the documentation for the Nginx plugin. Package: python-curtin Description-md5: 31e48f4bf426e243b1a4f94280ebcafb Description-en: Library and tools for curtin installer This package provides python library for use by curtin. Package: python-josepy Description-md5: 03fcab569a545beb4b18c8eecfe2ec08 Description-en: JOSE implementation for Python 2.x This package is a Python implementation of the standards developed by IETF Javascript Object Signing and Encryption (Active WG), in particular the following RFCs: . - JSON Web Algorithms (JWA) - JSON Web Key (JWK) - JSON Web Signature (JWS) . This package was originally developed as part of the ACME protocol implementation. This is the Python 2 library. Package: python-josepy-doc Description-md5: 4889791d1846e4c87b5b14b65ab2c157 Description-en: JOSE implementation for Python - Documentation This package is a Python implementation of the standards developed by IETF Javascript Object Signing and Encryption (Active WG), in particular the following RFCs: . - JSON Web Algorithms (JWA) - JSON Web Key (JWK) - JSON Web Signature (JWS) . This package was originally developed as part of the ACME protocol implementation. This is the documentation for the library. Package: python-letsencrypt Description-md5: 7daadf4b5cfcb38468b923ee1aaa7401 Description-en: Let's Encrypt main library The objective of Let's Encrypt and the ACME (Automated Certificate Management Environment) protocol is to make it possible to set up an HTTPS server and have it automatically obtain a browser-trusted certificate, without any human intervention. This is accomplished by running a certificate management agent on the web server. . This agent is used to: . - Automatically prove to the Let's Encrypt CA that you control the website - Obtain a browser-trusted certificate and set it up on your web server - Keep track of when your certificate is going to expire, and renew it - Help you revoke the certificate if that ever becomes necessary. . This package contains a compatibility shim to allow older letsencrypt plugins to work with the newer python-certbot module Package: python-letsencrypt-apache Description-md5: d0f0b37df922816c29c028b1657fe814 Description-en: Apache plugin for Let's Encrypt The objective of Let's Encrypt and the ACME (Automated Certificate Management Environment) protocol is to make it possible to set up an HTTPS server and have it automatically obtain a browser-trusted certificate, without any human intervention. This is accomplished by running a certificate management agent on the web server. . This agent is used to: . - Automatically prove to the Let's Encrypt CA that you control the website - Obtain a browser-trusted certificate and set it up on your web server - Keep track of when your certificate is going to expire, and renew it - Help you revoke the certificate if that ever becomes necessary. . This package contains the compat layer Apache plugin for legacy LetsEncrypt plugins. Package: python-protobuf Description-md5: be8d4586108d36eccf5a91b06dc55099 Description-en: Python bindings for protocol buffers Protocol buffers are a flexible, efficient, automated mechanism for serializing structured data - similar to XML, but smaller, faster, and simpler. You define how you want your data to be structured once, then you can use special generated source code to easily write and read your structured data to and from a variety of data streams and using a variety of languages. You can even update your data structure without breaking deployed programs that are compiled against the "old" format. . Google uses Protocol Buffers for almost all of its internal RPC protocols and file formats. . This package contains the Python bindings for the protocol buffers. You will need the protoc tool (in the protobuf-compiler package) to compile your definition to Python classes, and then the modules in this package will allow you to use those classes in your programs. Package: python-pymacaroons Description-md5: 7893dbac608e5203b7cfdb28d03f8f69 Description-en: Macaroon library for Python 2 Macaroons, like cookies, are a form of bearer credential. Unlike opaque tokens, macaroons embed caveats that define specific authorization requirements for the target service, the service that issued the root macaroon and which is capable of verifying the integrity of macaroons it receives. . Macaroons allow for delegation and attenuation of authorization. They are simple and fast to verify, and decouple authorization policy from the enforcement of that policy. Package: python-pytango Description-md5: 5a56fd6a960d4005f20709305bd2c5a9 Description-en: API for the TANGO control system (Python 2) TANGO is an object oriented distributed control system using CORBA, mainly developed by the Controls Section of the ALBA Synchrotron. PyTango provides bindings for its client- and server-side C++ APIs. With PyTango, you can write TANGO device servers and TANGO applications (scripts, CLIs, GUIs) that access TANGO device servers in pure Python. . This is the Python 2 version of the package. Package: python-pytango-doc Description-md5: 513c95b0e43d5a33930c750538738868 Description-en: API for the TANGO control system TANGO is an object oriented distributed control system using CORBA, mainly developed by the Controls Section of the ALBA Synchrotron. PyTango provides bindings for its client- and server-side C++ APIs. With PyTango, you can write TANGO device servers and TANGO applications (scripts, CLIs, GUIs) that access TANGO device servers in pure Python. . This package contains the documentation for the python-pytango library. Package: python3-acme Description-md5: 1f6a20683296d3471681d8269f592f79 Description-en: ACME protocol library for Python 3 This is a library used by the Let's Encrypt client for the ACME (Automated Certificate Management Environment). The ACME protocol is designed as part of the Let's Encrypt project, to make it possible to setup an HTTPS server and have it automatically obtain a browser-trusted certificate, without any human intervention. This library implements the protocol used for proving the control of a domain. This library is Python 3. Package: python3-josepy Description-md5: a6d8be6a1e2747e5b5cffc91a865ed9a Description-en: JOSE implementation for Python 3.x This package is a Python implementation of the standards developed by IETF Javascript Object Signing and Encryption (Active WG), in particular the following RFCs: . - JSON Web Algorithms (JWA) - JSON Web Key (JWK) - JSON Web Signature (JWS) . This package was originally developed as part of the ACME protocol implementation. This is the Python 3 library. Package: python3-pymacaroons Description-md5: 5113c586082c8b1218ec4b6ff076abd3 Description-en: Macaroon library for Python 3 Macaroons, like cookies, are a form of bearer credential. Unlike opaque tokens, macaroons embed caveats that define specific authorization requirements for the target service, the service that issued the root macaroon and which is capable of verifying the integrity of macaroons it receives. . Macaroons allow for delegation and attenuation of authorization. They are simple and fast to verify, and decouple authorization policy from the enforcement of that policy. Package: python3-pytango Description-md5: 61b09160772b50d23c891ebab80dd8ec Description-en: API for the TANGO control system (Python 3) TANGO is an object oriented distributed control system using CORBA, mainly developed by the Controls Section of the ALBA Synchrotron. PyTango provides bindings for its client- and server-side C++ APIs. With PyTango, you can write TANGO device servers and TANGO applications (scripts, CLIs, GUIs) that access TANGO device servers in pure Python. . This is the Python 3 version of the package. 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: 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: xdg-desktop-portal Description-md5: 7eac259f6a9a24c9e234ad737a8c6945 Description-en: desktop integration portal for Flatpak and Snap xdg-desktop-portal provides a portal frontend service for Flatpak, Snap, and possibly other desktop containment/sandboxing frameworks. This service is made available to the sandboxed application, and provides mediated D-Bus interfaces for file access, URI opening, printing and similar desktop integration features. . The implementation of these interfaces is expected to require user confirmation before responding to the sandboxed application's requests. For example, when the sandboxed application ask to open a file, the portal implementation will open an "Open" dialog outside the sandbox, and will only make the selected file available to the sandboxed app if that dialog is confirmed. . xdg-desktop-portal is designed to be desktop-agnostic, and uses a desktop-environment-specific GUI backend such as xdg-desktop-portal-gtk to provide its functionality. Package: xdg-desktop-portal-dev Description-md5: 868b66f3cbad8db622f38d23df203ad4 Description-en: desktop integration portal - development files xdg-desktop-portal provides a portal frontend service for Flatpak, Snap, and possibly other desktop containment/sandboxing frameworks. This service is made available to the sandboxed application, and provides mediated D-Bus interfaces for file access, URI opening, printing and similar desktop integration features. See the xdg-desktop-portal package's description for more details. . This package contains development files for backends such as xdg-desktop-portal-gtk. Package: xdg-desktop-portal-gtk Description-md5: 4e488fa004136715b8ea7a1eda5b8734 Description-en: GTK+/GNOME portal backend for xdg-desktop-portal xdg-desktop-portal-gtk provides a GTK+/GNOME implementation for the desktop-agnostic xdg-desktop-portal service. This allows sandboxed applications to request services from outside the sandbox using GTK+ GUIs (app chooser, file chooser, print dialog) or using GNOME services (session manager, screenshot provider). Package: xdg-desktop-portal-tests Description-md5: 90c16dc002ccbefb1d97879a1101ca0d Description-en: desktop integration portal - automated tests xdg-desktop-portal provides a portal frontend service for Flatpak, Snap, and possibly other desktop containment/sandboxing frameworks. This service is made available to the sandboxed application, and provides mediated D-Bus interfaces for file access, URI opening, printing and similar desktop integration features. See the xdg-desktop-portal package's description for more details. . This package contains automated tests. Package: linux-aws-hwe-cloud-tools-4.15.0-1033 Description-md5: 2ee794a3da4a3d81356a6db1aea0aab1 Description-en: Linux kernel version specific cloud tools for version 4.15.0-1033 This package provides the architecture dependant parts for kernel version locked tools for cloud tools for version 4.15.0-1033 on ARMv8. You probably want to install linux-cloud-tools-4.15.0-1033-. Package: linux-aws-hwe-tools-4.15.0-1033 Description-md5: e202c12b562ba19d46cffc14b128f2fb Description-en: Linux kernel version specific tools for version 4.15.0-1033 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-1033 on ARMv8. You probably want to install linux-tools-4.15.0-1033-. Package: linux-buildinfo-4.15.0-1033-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-1108-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-1033-aws Description-md5: 2758d62c589ac974cd74febacc346d06 Description-en: Linux kernel version specific cloud tools for version 4.15.0-1033 This package provides the architecture dependant parts for kernel version locked tools for cloud for version 4.15.0-1033 on ARMv8. Package: linux-headers-4.15.0-1033-aws Description-md5: c84637a924dae0bdc609e54383cd3673 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-1033/debian.README.gz for details. Package: linux-headers-4.4.0-1108-snapdragon Description-md5: 4eaa63eaeb24c78d2a61c985fdc0a22b 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-1108/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-1033-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-1108-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-1033-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-1108-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-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-1108 Description-md5: 2eb41cdc6e2988432d91ecf1d7f1c6c4 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-1108/debian.README.gz for details Package: linux-snapdragon-tools-4.4.0-1108 Description-md5: 5dc9cd4c35ecaa116e7d261802dd5edc Description-en: Linux kernel version specific tools for version 4.4.0-1108 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-1108 on ARMv8. You probabaly want to install linux-tools- meta package. Package: linux-tools-4.15.0-1033-aws Description-md5: b44099121ccf0a3f83105d9861fbbfa0 Description-en: Linux kernel version specific tools for version 4.15.0-1033 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-1033 on ARMv8. Package: linux-tools-4.4.0-1108-snapdragon Description-md5: 3e876abd13394f36433b69f5ed3c3c33 Description-en: Linux kernel version specific tools for version 4.4.0-1108 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-1108 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-1104-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-1104-raspi2 Description-md5: e6bb18cee1aa3f49329fe7996cfba0b3 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-1104/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-1104-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-1104-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-1104 Description-md5: 14aab9b7b04c2f7efef8d11750cc9599 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-1104/debian.README.gz for details Package: linux-raspi2-tools-4.4.0-1104 Description-md5: ae28e815126f9162ce79e820af84df1f Description-en: Linux kernel version specific tools for version 4.4.0-1104 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-1104 on ARM (hard float). You probabaly want to install the linux-tools- meta package. Package: linux-tools-4.4.0-1104-raspi2 Description-md5: 1206284d26aeadaaa9a0e26b8136478a Description-en: Linux kernel version specific tools for version 4.4.0-1104 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-1104 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.