30109a

Package: golang-github-tillitis-tkey-ssh-agent-dev
Description-md5: bf5b59621ebd3bbca84fb24ae02f690f
Description-en: SSH Agent for Tillitis TKey (Go development library)
 TKey SSH Agent - tkey-ssh-agent is an OpenSSH-compatible agent for
 use with the Tillitis (https://tillitis.se/) TKey USB security token.
 .
 This package contains the Go development library.

Package: tillitis-tkey-udev
Description-md5: 86c19c3fbca75244c8f70b49f930a905
Description-en: Tillitis TKey udev rule
 Tillitis TKey udev rule to allow non-root users to use access the TKey.
 You will usually need this to be able to access a connected Tillitis
 (https://tillitis.se/) TKey USB security token.

Package: tkey-ssh-agent
Description-md5: ef9ee80fac8f26c7a86875715ace9af1
Description-en: SSH Agent for Tillitis TKey (application)
 TKey SSH Agent - tkey-ssh-agent is an OpenSSH-compatible agent for
 use with the Tillitis (https://tillitis.se/) TKey USB security token.
 .
 This package contains the tkey-ssh-agent application.
.
30041a

Package: tillitis-tkey-device-signer
Description-md5: 07b9da8599f0640f122a75b951290771
Description-en: Tillitis TKey Signer device application
 Tillitis TKey Signer
 .
 The TKey `signer` device application is an ed25519 signing tool. It
 can sign messages up to 4 kByte. It is, for instance, used by the
 [tkey-ssh-agent](https://github.com/tillitis/tkey-ssh-agent) for SSH
 authentication and by
 [tkey-sign](https://github.com/tillitis/tkey-sign-cli) for doing
 digital signatures of files.
 .
 This package contains the device signer application.  Normally this
 is only useful as a build dependency for other applications that
 embed the device application, for loading onto the device.

Package: tillitis-tkey-libs
Description-md5: 8a8b03242beae3645e597f4e2b0f8a38
Description-en: Tillitis TKey device application helper library
 Device libraries for the Tillitis TKey
 .
  - C runtime: libcrt0.
  - Common C functions including protocol calls: libcommon.
  - Cryptographic functions: libmonocypher.
 .
 This package contains C headers and RISCv32 library object files.
.
27500a
Package: libcoq-mathcomp-finite-group
Description-md5: a3c104270704751f92a4ae03a396fd7b
Description-en: Mathematical Components library for Coq (finite groups)
 The Mathematical Components Library is an extensive and coherent
 repository of formalized mathematical theories. It is based on the
 Coq proof assistant, powered with the Coq/SSReflect language.
 .
 These formal theories cover a wide spectrum of topics, ranging from
 the formal theory of general-purpose data structures like lists,
 prime numbers or finite graphs, to advanced topics in algebra.
 .
 The formalization technique adopted in the library, called "small
 scale reflection", leverages the higher-order nature of Coq's
 underlying logic to provide effective automation for many small,
 clerical proof steps. This is often accomplished by restating
 ("reflecting") problems in a more concrete form, hence the name. For
 example, arithmetic comparison is not an abstract predicate, but
 rather a function computing a Boolean.
 .
 This package installs the finite groups theory part of the library
 (finite groups, group quotients, group morphisms, group presentation,
 group action...).

Package: libcoq-mathcomp-group-representation
Description-md5: 743190ca07ac268811e6746010f9606f
Description-en: Mathematical Components library for Coq (group representation)
 The Mathematical Components Library is an extensive and coherent
 repository of formalized mathematical theories. It is based on the
 Coq proof assistant, powered with the Coq/SSReflect language.
 .
 These formal theories cover a wide spectrum of topics, ranging from
 the formal theory of general-purpose data structures like lists,
 prime numbers or finite graphs, to advanced topics in algebra.
 .
 The formalization technique adopted in the library, called "small
 scale reflection", leverages the higher-order nature of Coq's
 underlying logic to provide effective automation for many small,
 clerical proof steps. This is often accomplished by restating
 ("reflecting") problems in a more concrete form, hence the name. For
 example, arithmetic comparison is not an abstract predicate, but
 rather a function computing a Boolean.
 .
 This package installs the group representation theory part of the
 library (group representations, characters and class functions).

.
26212,26222d
26150,26162d
24019a

Package: libpuppetlabs-http-client-clojure
Description-md5: d78246d3cad487f3b16677c5b652f447
Description-en: Clojure wrapper around libhttpasyncclient-java
 puppetlabs-http-client is a wrapper around the Apache HttpAsyncClient
 library providing some extra functionality for configuring SSL in a way
 compatible with Puppet.
.
23286a
Package: gir1.2-poppler-0.18
Description-md5: 6b6381807b3c5b1b31f06935b5817c74
Description-en: GObject introspection data for poppler-glib
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package contains introspection data for poppler-glib.
 .
 It can be used by packages using the GIRepository format to generate
 dynamic bindings.

Package: libpoppler-cpp-dev
Description-md5: b8ccf7d2887aa9a8117d5795dcfa8442
Description-en: PDF rendering library -- development files (CPP interface)
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package contains the headers and development libraries needed to
 build applications using the C++ Poppler interface.

Package: libpoppler-cpp3
Description-md5: bd2c0f6fbd7019f0ce9ff23bdb5a718d
Description-en: PDF rendering library (CPP shared library)
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package provides the CPP shared library for applications
 using a simple C++ interface (using STL, and no other dependency) to Poppler.

Package: libpoppler-dev
Description-md5: 6d35e7b20480c00075b7865baad4287e
Description-en: PDF rendering library -- development files
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package contains the development libraries needed to build applications
 using Poppler.

Package: libpoppler-glib-dev
Description-md5: 4483b544bc64264785fa77d6466a341f
Description-en: PDF rendering library -- development files (GLib interface)
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package contains the headers and development libraries needed to
 build applications using the GLib-based Poppler interface.

Package: libpoppler-glib-doc
Description-md5: 57cf6faf4d2f4c9877d6db227de05dcd
Description-en: PDF rendering library -- documentation for the GLib interface
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package contains the API documentation of the GLib-based Poppler
 interface.

Package: libpoppler-glib8t64
Description-md5: 3d73daa08a49dca5cd4c25e32862c41e
Description-en: PDF rendering library (GLib-based shared library)
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package provides the GLib-based shared library for applications
 using the GLib interface to Poppler.

Package: libpoppler-private-dev
Description-md5: f047a262a6d3ff3cbd6650f1d55e93d4
Description-en: PDF rendering library -- private development files
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package contains the private and unstable headers needed to build
 applications using the private Poppler core library.

Package: libpoppler-qt5-1t64
Description-md5: 0ac9bcecfcfad7f5e76c5f9836ae7168
Description-en: PDF rendering library (Qt 5 based shared library)
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package provides the Qt 5 based shared library for applications
 using the Qt 5 interface to Poppler.

Package: libpoppler-qt5-dev
Description-md5: 23f42cab8509c36d744da26df5cb855a
Description-en: PDF rendering library -- development files (Qt 5 interface)
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package contains the headers and development libraries needed to
 build applications using the Qt 5-based Poppler interface.

Package: libpoppler-qt6-3t64
Description-md5: 1aac226e2e4f235dbc8ce10a562d619f
Description-en: PDF rendering library (Qt 6 based shared library)
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package provides the Qt 6 based shared library for applications
 using the Qt 6 interface to Poppler.

Package: libpoppler-qt6-dev
Description-md5: d697e5693c5678626b355602947110a5
Description-en: PDF rendering library -- development files (Qt 6 interface)
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package contains the headers and development libraries needed to
 build applications using the Qt 6-based Poppler interface.

Package: libpoppler162
Description-md5: 74b6b371a9886bca4fc2c2761b5a2fec
Description-en: PDF rendering library
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package contains the shared core library.

Package: poppler-utils
Description-md5: c82ab1c01fb88c7aab560b4a6154c69f
Description-en: PDF utilities (based on Poppler)
 Poppler is a PDF rendering library based on Xpdf PDF viewer.
 .
 This package contains command line utilities (based on Poppler) for getting
 information of PDF documents, convert them to other formats, or manipulate
 them:
  * pdfdetach -- lists or extracts embedded files (attachments)
  * pdffonts -- font analyzer
  * pdfimages -- image extractor
  * pdfinfo -- document information
  * pdfseparate -- page extraction tool
  * pdfsig -- verifies digital signatures
  * pdftocairo -- PDF to PNG/JPEG/PDF/PS/EPS/SVG converter using Cairo
  * pdftohtml -- PDF to HTML converter
  * pdftoppm -- PDF to PPM/PNG/JPEG image converter
  * pdftops -- PDF to PostScript (PS) converter
  * pdftotext -- text extraction
  * pdfunite -- document merging tool

.
21443,21513d
19441,19539d
18509a
Package: mozc-data
Description-md5: 6eff62dbff103ae6b02bc9b4937df5fa
Description-en: Mozc input method - data files
 Mozc is a Japanese Input Method Editor (IME) designed for multi-platform
 such as Chromium OS, Windows, Mac and Linux.
 .
 This package provides the essential data files.
 .
 This open-source project originates from Google Japanese Input.

.
18479a
Package: fcitx-mozc-data
Description-md5: 72e2b7c3382ff0dd1563040418a37447
Description-en: Mozc input method - data files for fcitx
 Mozc is a Japanese Input Method Editor (IME) designed for multi-platform
 such as Chromium OS, Windows, Mac and Linux.
 .
 This package provides the image files for fcitx.
 .
 This open-source project originates from Google Japanese Input.

.
11207a
Package: gir1.2-mirage-3.2
Description-md5: c2dcb2e9a2bbc0760e72ca5d84adcb0f
Description-en: CD-ROM image access library (typelib files)
 libMirage is a CD-ROM image access library, part of the CDEmu suite,
 a free, GPL CD/DVD-ROM device emulator for Linux.
 .
 This package provides typelib files.

Package: libmirage-dev
Description-md5: b430ad0166e57ae3837db86a1b7260ea
Description-en: CD-ROM image access library development files
 libMirage is a CD-ROM image access library, part of the CDEmu suite,
 a free, GPL CD/DVD-ROM device emulator for Linux.
 .
 This package contains the files needed to compile and link programs which
 use libMirage.

Package: libmirage-doc
Description-md5: 385dee5383addcd22c8c43277c480dc7
Description-en: Reference manual for libMirage
 libMirage is a CD-ROM image access library, part of the CDEmu suite,
 a free, GPL CD/DVD-ROM device emulator for Linux.
 .
 This package contains the reference manual.

Package: libmirage12
Description-md5: cecbc0310d74874eb65468e588a66e25
Description-en: CD-ROM image access library
 This is libMirage library, a CD-ROM image access library, and part of the
 CDEmu suite, a free, GPL CD/DVD-ROM device emulator for Linux. It is
 written in C and based on GLib.
 .
 The aim of libMirage is to provide uniform access to the data stored in
 different image formats, by creating a representation of disc stored in image
 file, which is based on GObjects.

.
7627,7676d
6159a
Package: containernetworking-plugins
Description-md5: da8efbf7d7835dbafe60f6925ce27282
Description-en: standard networking plugins - binaries
 This package contains binaries of the Container Networking Initiative's
 official plugins:
 .
 Interfaces
  - bridge: Creates a bridge, adds the host and the container to it.
  - ipvlan: Adds an ipvlan interface in the container.
  - loopback: Set the state of loopback interface to up.
  - macvlan: Creates a new MAC address, forwards all traffic
             to that to the container.
  - ptp: Creates a veth pair.
  - vlan: Allocates a vlan device.
  - host-device: Move an already-existing device into a container.
 .
 IPAM: IP Address Management
  - dhcp: Runs a daemon to make DHCP requests on behalf of the container.
  - host-local: Maintains a local database of allocated IPs
  - static: Allocates a static IPv4/IPv6 address.
 .
 Other
  - tuning: Tweaks sysctl parameters of an existing interface
  - portmap: An iptables-based portmapping plugin.
             Maps ports from the host's address space to the container.
  - bandwidth: Allows bandwidth-limiting through use of traffic control tbf.
  - sbr: Configures source based routing for an interface.
  - firewall: Uses iptables or firewalld to add rules to allow traffic
              to/from the container.

Package: golang-github-containernetworking-plugins-dev
Description-md5: 7c60a7fa53bf70644603ac9b9cb1ac40
Description-en: standard networking plugins - sources
 This package contains sources of the Container Networking Initiative's
 official plugins:
 .
 Interfaces
  - bridge: Creates a bridge, adds the host and the container to it.
  - ipvlan: Adds an [ipvlan] interface in the container.
  - loopback: Set the state of loopback interface to up.
  - macvlan: Creates a new MAC address, forwards all traffic
             to that to the container.
  - ptp: Creates a veth pair.
  - vlan: Allocates a vlan device.
  - host-device: Move an already-existing device into a container.
 .
 IPAM: IP Address Management
  - dhcp: Runs a daemon to make DHCP requests on behalf of the container.
  - host-local: Maintains a local database of allocated IPs
  - static: Allocates a static IPv4/IPv6 address.
 .
 Other
  - flannel: Generates an interface corresponding to a flannel config file
  - tuning: Tweaks sysctl parameters of an existing interface
  - portmap: An iptables-based portmapping plugin.
             Maps ports from the host's address space to the container.
  - bandwidth: Allows bandwidth-limiting through use of traffic control tbf.
  - sbr: Configures source based routing for an interface.
  - firewall: Uses iptables or firewalld to add rules to allow traffic
              to/from the container.

.
1233a
Package: libaquamarine-dev
Description-md5: 4803c4001458d64636ec0db10b2cd1d9
Description-en: Light-weight rendering library for Linux (development files)
 Aquamarine is a very light Linux rendering backend library.
 It provides basic abstractions for an application to render on a
 Wayland session (in a window) or a native DRM session.
 .
 It is agnostic of the rendering API (Vulkan/OpenGL) and designed
 to be lightweight, performant, and minimal.
 .
 Aquamarine provides no bindings for other languages. It is
 C++-only
 .
 This package includes the development files for aquamarine.

Package: libaquamarine12
Description-md5: 85c33d010c3bd4bff44cda9378083f52
Description-en: Light-weight rendering library for Linux (binary files)
 Aquamarine is a very light Linux rendering backend library.
 It provides basic abstractions for an application to render on a
 Wayland session (in a window) or a native DRM session.
 .
 It is agnostic of the rendering API (Vulkan/OpenGL) and designed
 to be lightweight, performant, and minimal.
 .
 Aquamarine provides no bindings for other languages. It is
 C++-only
 .
 This package includes the binaries for the aquamarine library.

.
92a
Package: python3-adios4dolfinx
Description-md5: e955fded139beecd5bccfd44312faf1b
Description-en: ADIOS2Wrappers for DOLFINx (Python 3)
 adios4dolfinx is an extension for DOLFINx to checkpoint meshes, meshtags
 and functions using ADIOS2.
 .
 The code uses the adios2 Python-wrappers to write DOLFINx objects to file,
 supporting N-to-M (recoverable) and N-to-N (snapshot) checkpointing.
 .
 For scalability, the code uses MPI Neighbourhood collectives for
 communication across processes.
 .
 This package installs the library for Python 3.

.
