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: fwts Description-md5: d6b6141d7ca394b5197f5a8e24578b35 Description-en: FirmWare Test Suite This is a firmware test suite that performs sanity checks on Intel/AMD PC firmware. It is intended to identify BIOS and ACPI errors and if appropriate it will try to explain the errors and give advice to help workaround or fix firmware bugs. It is primarily intended to be a Linux-centric firmware troubleshooting tool. Package: fwts-efi-runtime-dkms Description-md5: 872c3fa1034eabae1745eeec37ab3e38 Description-en: Firmware Test Suite UEFI Runtime Service kernel driver This package provides the efi_runtime kernel driver in DKMS format, which is required for accessing UEFI Runtime Services. Package: fwts-frontend Description-md5: fc98ee1ccd80b6332c879648cc78e424 Description-en: Firmware Test Suite frontend interface This is a dialog based interface designed to provide an easy to use method to execute tests via Firmware Test Suite and is also used as the primary interface within Firmware Test Suite live images. 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: 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: libfwts1 Description-md5: 52ff91e0d92988cc3e64dca37e83ded3 Description-en: FirmWare Test Suite core support library This is the fwts core library. It contains a top level test framework and a rich range of firmware specific testing support code for the various fwts tests. Package: libfwtsacpica1 Description-md5: a5000d353030a31da5111f9694fad744 Description-en: FirmWare Test Suite ACPICA core built for acpiexec functionality The firmware test suite requires the ACPICA core engine to be built in execution mode (with ACPI_EXEC_APP enabled) to support run time execution of ACPI Machine Language (AML) in the ACPI DSDT and SSDTs. This library contains this code with a thin fwts specific API to interface with fwts. Package: libfwtsiasl1 Description-md5: 0fdb8bb43f21085e686e7b8bb3529034 Description-en: FirmWare Test Suite ACPICA core built for iasl functionality The firmware test suite requires the ACPICA core engine to be built in compiler mode (with ACPI_ASL_COMPILER enabled) to support assembly and disassembly of ACPI Machine Language (AML) in the ACPI DSDT and SSDTs. This library contains this code with a thin fwts specific API to interface with fwts. 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-1032 Description-md5: 9b03c07b2c6691417a8b9fc9ec5869cf 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-1032/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-1032 Description-md5: 68fc8c27b91bd07de77e9a8f42361fb5 Description-en: Linux kernel version specific tools for version 4.15.0-1032 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-1032 on 64 bit x86. You probably want to install linux-tools-4.15.0-1032-. 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-azure-edge-cloud-tools-4.18.0-1008 Description-md5: e6c44fae2082a142524c2c2f1789d0fb Description-en: Linux kernel version specific cloud tools for version 4.18.0-1008 This package provides the architecture dependant parts for kernel version locked tools for cloud tools for version 4.18.0-1008 on 64 bit x86. You probably want to install linux-cloud-tools-4.18.0-1008-. Package: linux-azure-edge-tools-4.18.0-1008 Description-md5: d241e0542ce3369516ee1d89a2bfb761 Description-en: Linux kernel version specific tools for version 4.18.0-1008 This package provides the architecture dependant parts for kernel version locked tools (such as perf and x86_energy_perf_policy) for version 4.18.0-1008 on 64 bit x86. You probably want to install linux-tools-4.18.0-1008-. Package: linux-azure-headers-4.18.0-1008 Description-md5: d9b70edb79f429fdda2569c0911de6d3 Description-en: Header files related to Linux kernel version 4.18.0 This package provides kernel header files for version 4.18.0, for sites that want the latest kernel headers. Please read /usr/share/doc/linux-azure-headers-4.18.0-1008/debian.README.gz for details Package: linux-buildinfo-4.15.0-1032-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.18.0-1008-azure Description-md5: 0f0ce651de3166932e71b61cf63acd77 Description-en: Linux kernel buildinfo for version 4.18.0 on 64 bit x86 SMP This package contains the Linux kernel buildinfo for version 4.18.0 on 64 bit x86 SMP. . You likely do not want to install this package. Package: linux-cloud-tools-4.18.0-1008-azure Description-md5: d5dfe14827b090d111e92c8be452a56d Description-en: Linux kernel version specific cloud tools for version 4.18.0-1008 This package provides the architecture dependant parts for kernel version locked tools for cloud for version 4.18.0-1008 on 64 bit x86. 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-1032-aws Description-md5: e5fe9bf3ae8dd0bf9606b3fedd9aeef4 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-1032/debian.README.gz for details. Package: linux-headers-4.18.0-1008-azure Description-md5: 8f7d7e445c2ac009b4909f253ab9e01d Description-en: Linux kernel headers for version 4.18.0 on 64 bit x86 SMP This package provides kernel header files for version 4.18.0 on 64 bit x86 SMP. . This is for sites that want the latest kernel headers. Please read /usr/share/doc/linux-headers-4.18.0-1008/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-1032-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.18.0-1008-azure Description-md5: 4f10ee54ba011a7f5b60c437e681a38d Description-en: Signed kernel image azure A kernel image for azure. This version of it is signed with Canonical's UEFI/Opal signing key. 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-image-unsigned-4.18.0-1008-azure Description-md5: 5a4814bc61d50ead62b396386b68ffd5 Description-en: Linux kernel image for version 4.18.0 on 64 bit x86 SMP This package contains the unsigned Linux kernel image for version 4.18.0 on 64 bit x86 SMP. . Supports Azure processors. . Geared toward Azure systems. . You likely do not want to install this package directly. Instead, install the linux-azure meta-package, which will ensure that upgrades work correctly, and that supporting packages are also installed. Package: linux-modules-4.15.0-1032-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.18.0-1008-azure Description-md5: bba892c329b19d18b2dc35e36515ac96 Description-en: Linux kernel extra modules for version 4.18.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 Azure processors. . Geared toward Azure systems. . You likely do not want to install this package directly. Instead, install the linux-azure meta-package, which will ensure that upgrades work correctly, and that supporting packages are also installed. Package: linux-modules-extra-4.18.0-1008-azure Description-md5: e4b4b092ada40a9d70fa892e616ab338 Description-en: Linux kernel extra modules for version 4.18.0 on 64 bit x86 SMP This package contains the Linux kernel extra modules for version 4.18.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 Azure processors. . Geared toward Azure systems. . You likely do not want to install this package directly. Instead, install the linux-azure 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-1032-aws Description-md5: 9d9114da46e7fb0fab5691ddb8ba9568 Description-en: Linux kernel version specific tools for version 4.15.0-1032 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-1032 on 64 bit x86. Package: linux-tools-4.18.0-1008-azure Description-md5: c86dcd2b7add27c820643c5536839d66 Description-en: Linux kernel version specific tools for version 4.18.0-1008 This package provides the architecture dependant parts for kernel version locked tools (such as perf and x86_energy_perf_policy) for version 4.18.0-1008 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: module-init-tools Description-md5: 1b0992eebd45ca5ceadc775532a4f6a5 Description-en: transitional dummy package (module-init-tools to kmod) This dummy package is provided to support the transition from module-init-tools to kmod and should be removed afterwards. 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-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: 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-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: 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: zfs-dkms Description-md5: 2e889055ec4efc63923f2ae908dac6b4 Description-en: Native OpenZFS filesystem kernel modules for Linux An advanced integrated volume manager and filesystem that is designed for performance and data integrity. Snapshots, clones, checksums, deduplication, compression, and RAID redundancy are built-in features. . Includes the SPA, DMU, ZVOL, and ZPL components of OpenZFS. Package: zfs-initramfs Description-md5: fb044591d900c52c8a5a00fccaff5881 Description-en: Native OpenZFS root filesystem capabilities for Linux This package adds OpenZFS to the system initramfs with a hook for the initramfs-tools infrastructure. Package: linux-aws-hwe-cloud-tools-4.15.0-1032 Description-md5: 1b834c1bfc2e1ab0c55059057ccaea08 Description-en: Linux kernel version specific cloud tools for version 4.15.0-1032 This package provides the architecture dependant parts for kernel version locked tools for cloud tools for version 4.15.0-1032 on ARMv8. You probably want to install linux-cloud-tools-4.15.0-1032-. Package: linux-aws-hwe-tools-4.15.0-1032 Description-md5: 049d2429d1995b07072916f0eda206f2 Description-en: Linux kernel version specific tools for version 4.15.0-1032 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-1032 on ARMv8. You probably want to install linux-tools-4.15.0-1032-. Package: linux-buildinfo-4.15.0-1032-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-cloud-tools-4.15.0-1032-aws Description-md5: f0640af72b1eaf632825016ea17b6826 Description-en: Linux kernel version specific cloud tools for version 4.15.0-1032 This package provides the architecture dependant parts for kernel version locked tools for cloud for version 4.15.0-1032 on ARMv8. Package: linux-headers-4.15.0-1032-aws Description-md5: e09f1596133bec6520957510808421fc 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-1032/debian.README.gz for details. Package: linux-headers-4.4.0-1107-snapdragon Description-md5: cbfd9773176c8d66b5e7d2e467c76669 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-1107/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-1032-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-1107-snapdragon Description-md5: ab267365f3ac6b009038c83ece50a88a 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. . 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 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-1032-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-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-1107 Description-md5: edf79c9ca01c5a66103386e16134060b 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-1107/debian.README.gz for details Package: linux-snapdragon-tools-4.4.0-1107 Description-md5: 545f628ecc331c75c66e6fe0fbdae286 Description-en: Linux kernel version specific tools for version 4.4.0-1107 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-1107 on ARMv8. You probabaly want to install linux-tools- meta package. Package: linux-tools-4.15.0-1032-aws Description-md5: 429d25da51bd3e7466ba0f16fa646d2c Description-en: Linux kernel version specific tools for version 4.15.0-1032 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-1032 on ARMv8. Package: linux-tools-4.4.0-1107-snapdragon Description-md5: 5bda47d2a3a5b3dd943c6cdf97cba231 Description-en: Linux kernel version specific tools for version 4.4.0-1107 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-1107 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-headers-4.4.0-1103-raspi2 Description-md5: 7172ed64c3fcd17060b8843654402b0d 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-1103/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-1103-raspi2 Description-md5: 8f34ff87bc6dfb29b251dfd53a339b11 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. . 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 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-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-1103 Description-md5: 907d91df13669b69e2288c74f3da685a 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-1103/debian.README.gz for details Package: linux-raspi2-tools-4.4.0-1103 Description-md5: 601af83a8fb1f1fcea002e258002fb76 Description-en: Linux kernel version specific tools for version 4.4.0-1103 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-1103 on ARM (hard float). You probabaly want to install the linux-tools- meta package. Package: linux-tools-4.4.0-1103-raspi2 Description-md5: b0e7bf705c0250b5a3ca6c8f64743183 Description-en: Linux kernel version specific tools for version 4.4.0-1103 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-1103 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.