799971,799978d
750641a

Package: mathcomp-doc
Description-md5: cd6074ff23a29f936e5eaa0298cc9ffd
Description-en: Mathematical Components library for Coq (doc)
 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 Mathematical Components documentation.
.
750618a
Description-md5: 47bf79f6c4108855860d1fbcef379d23
Description-en: Mathematical Components library for Coq (small scale reflection)
 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.
 .
 You should install libcoq-mathcomp-boot and libcoq-mathcomp-order
 then remove this package -- it is a compatibility package for
 previous installations.

Package: libcoq-mathcomp-ssreflect
.
750594a
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).

Package: libcoq-mathcomp-order
Description-md5: 0e79f5715ca2e55775640de29f482fca
Description-en: Mathematical Components library for Coq (order)
 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 order theory: definitions and theorems
 on partial orders, lattices, total orders, etc.

.
750526a
Package: libcoq-mathcomp-boot
Description-md5: d9b3cd81273aefbdd7b0fde2f06b23d6
Description-en: Mathematical Components library for Coq (boot)
 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 includes the small scale reflection proof language, and
 the minimal set of libraries to take advantage of it: lists, boolean
 and boolean predicates, types with decidable equality, finite sets,
 finite functions, finite graphs, basic arithmetics and prime numbers
 and big operators.

.
727495a
Package: sch-rnd
Description-md5: c1734f3ed2e7adbf02aa1227ad03b75b
Description-en: Standard installation of sch-rnd
 sch-rnd is a highly modular schematic capture software with a rich set of
 plugins for communicating with various external design tools and other
 EDA/CAD packages.
 .
 Feature highlights:
   - explicit abstract model
   - back annotation support
   - multiple sheets
 .
 File formats and compatibility:
   - text based, tree structured native file format (lihata)
   - import netlist:
     * altium schematics
     * EasyEDA std, multi-page schematics sheets
     * KiCAD eeschema schematics version 20211123 .. 20250114
     * geda schematics (v2)
     * lihata cschem schematics (any version)
     * cschem non-graphical schematic sheets in fawk format
     * cschem non-graphical schematic sheets in tEDAx format
     * orcad schematics
     * TinyCAD schematics
   - export netlist:
     * Accel netlist
     * Allegro netlist
     * Bae netlist
     * Cadstar netlist
     * Calay netlist
     * Eagle netlist
     * Easyeda netlist
     * Edif netlist
     * Ewnet netlist
     * Fritzing netlist
     * Futurenet dash netlist
     * generic JSON netlist
     * KiCAD/pcbnew netlist
     * Maxascii netlist
     * Orcad netlist
     * Osmond netlist
     * PADS ASCII netlist
     * ProtelII netlist
     * Racal-Redac netlist
     * Systemc netlist
     * Tango netlist
     * tEDAx netlist
     * TinyCAD netlist
     * generic XML netlist
     * lihata cschem schematics (any version)
   - import misc:
     * attribute table CSV
     * attribute table json
     * attribute table lihata
     * attribute table tEDAx
     * BXL symbol
     * EasyEDA std, symbol
     * EasyEDA pro, symbol
     * geda symbol (v1)
     * lihata cschem symbol (any version)
   - export misc:
     * attribute table CSV
     * attribute table json
     * attribute table lihata
     * attribute table tEDAx
     * abstract model text
     * Bill of Materials
     * boxsym
     * Eagle5 tabular net+bom
     * printer (using ps)
     * png
     * ps
     * eps
     * spice
     * svg
     * tdx
     * web2
     * lihata cschem symbol (any version)

.
727417,727494d
722145a
Package: librust-wasmi-wasi-dev
Description-md5: 89c2e1116459de8c6b0128450a5c4cce
Description-en: WASI library support for the wasmi interpreter - Rust source code
 Source code for Debianized Rust crate "wasmi_wasi"

.
722079a

Package: librust-wasi-common-dev
Description-md5: eca9b1e490f43ff4ec5fac964c2123a2
Description-en: WASI implementation in Rust - Rust source code
 Source code for Debianized Rust crate "wasi-common"
.
721902a
Package: librust-virtue-next-dev
Description-md5: db72460e13d64a6d8229291b99607474
Description-en: Sinless derive macro helper - Rust source code
 Source code for Debianized Rust crate "virtue-next"

.
721821,721826d
721819a

Package: librust-version-compare-dev
Description-md5: 05b9f756311ee6fed538d570894d5dba
Description-en: Easily compare version numbers with no specific format, and test against various comparison operators - Rust source code
 Source code for Debianized Rust crate "version-compare"
.
721446a
Package: librust-unty-next-dev
Description-md5: 231f432f2c8dfe641ed3d311ccb998d1
Description-en: Explicitly types your generics - Rust source code
 Source code for Debianized Rust crate "unty-next"

.
721315,721320d
721313a

Package: librust-unicode-properties-dev
Description-md5: 60af1ad1a1b120b1b4d9a238da34a394
Description-en: Query character Unicode properties according to UAX #44 and UTR #51 - Rust source code
 Source code for Debianized Rust crate "unicode-properties"
.
720461,720472d
720149a
Package: librust-to-shmem-dev
Description-md5: 7a8620af4a48b88dad822d227c0e8b7a
Description-en: Trait to write to a contiguous chunk of shared memory - Rust source code
 Source code for Debianized Rust crate "to_shmem"

Package: librust-to-shmem-derive-dev
Description-md5: 5e6ecd1aecc8df883198b6f77417a336
Description-en: Allows deriving the to_shmem trait - Rust source code
 Source code for Debianized Rust crate "to_shmem_derive"

.
719620,719625d
718422,718426c
Description-md5: ba6501cb2be1c95e96203e4305e6ba68
Description-en: Logger that logs to stderr based on verbosity specified - Rust source code
 Source code for Debianized Rust crate "stderrlog"

.
718083a
Package: librust-spade-dev
Description-md5: 6641ea117a18cddd149183a163fdce14
Description-en: Delaunay triangulations for the rust ecosystem - Rust source code
 Source code for Debianized Rust crate "spade"

.
717905a
Package: librust-sn-dev
Description-md5: 85a6259f44e9f5392d263b9c367d3695
Description-en: Zero-copy JSON parser - Rust source code
 Source code for Debianized Rust crate "sn"

.
717385,717398d
716732,716736c
Description-md5: 8605ab3bedd23cac2443541aaeded5f9
Description-en: CSS Selectors matching for Rust - Rust source code
 Source code for Debianized Rust crate "selectors"

.
715406,715410d
714463a
Package: librust-rapidrand-dev
Description-md5: 1891eaf07c66066dff721f2fefb05ece
Description-en: Extremely fast pseudo-random number generator - Rust source code
 Source code for Debianized Rust crate "rapidrand"

.
714434,714439d
714309a
Package: librust-railroad-dev
Description-md5: 75c6ae1cee18d1f678fafd6c2e787109
Description-en: Create syntax-diagrams as Scalable Vector Graphics - Rust source code
 Source code for Debianized Rust crate "railroad"

Package: librust-railroad-verification-dev
Description-md5: 9a499aa2ae455f1dd6bcf205cbf8b3d6
Description-en: Common verification against SVG11-DTD for `railroad` - Rust source code
 Source code for Debianized Rust crate "railroad_verification"

.
714135a
Package: librust-qmk-via-api-dev
Description-md5: 3fb4f31890936d401f024567114bd669
Description-en: VIA api implementation for QMK-based keyboards - Rust source code
 Source code for Debianized Rust crate "qmk-via-api"

.
714105a
Package: librust-pyo3-stub-gen-dev
Description-md5: 5a9fcccde5434ea26bd9e9dbdbcd94e7
Description-en: Stub file (*.pyi) generator for PyO3 - Rust source code
 Source code for Debianized Rust crate "pyo3-stub-gen"

.
713847a
Package: librust-prost-types-0.12-dev
Description-md5: 5c66f7595f83846192f5231ac21f620b
Description-en: Prost definitions of Protocol Buffers well known types - Rust source code
 Source code for Debianized Rust crate "prost-types"

.
713832a
Package: librust-prost-derive-0.12-dev
Description-md5: af7398c28fbc38699f948486e3df4ad2
Description-en: Generate encoding and decoding implementations for Prost annotated types - Rust source code
 Source code for Debianized Rust crate "prost-derive"

.
713827a
Package: librust-prost-build-0.12-dev
Description-md5: 4f2564d1d73c5e66db328daa89efcabd
Description-en: Generate Prost annotated Rust types from Protocol Buffers files - Rust source code
 Source code for Debianized Rust crate "prost-build"

.
713822a
Package: librust-prost-0.12-dev
Description-md5: 7f74ffb32e134c5143376c516323f672
Description-en: Protocol Buffers implementation for the Rust Language - Rust source code
 Source code for Debianized Rust crate "prost"

.
713229a
Package: librust-pom-dev
Description-md5: 86bee4b1ca9b9922e5461cd428e4e2d3
Description-en: PEG parser combinators using operator overloading without macros - Rust source code
 Source code for Debianized Rust crate "pom"

.
711034a
Package: librust-never-say-never-dev
Description-md5: 10dd2f57976f4979d71db0c7d3efa71e
Description-en: Never type (the true one!) in stable Rust - Rust source code
 Source code for Debianized Rust crate "never-say-never"

.
710427a
Package: librust-minicbor-dev
Description-md5: add7e21f38abc1a7549bde296d90ef4a
Description-en: Small CBOR codec suitable for no_std environments - Rust source code
 Source code for Debianized Rust crate "minicbor"

.
709877a
Package: librust-lyon-algorithms-dev
Description-md5: fecf9809673f6cde767332b4bc284e09
Description-en: 2D Path manipulation/transformation algorithms - Rust source code
 Source code for Debianized Rust crate "lyon_algorithms"

Package: librust-lyon-extra-dev
Description-md5: 94c87705909b09644d71958482b2bb5d
Description-en: Various optional utilities for the lyon crate - Rust source code
 Source code for Debianized Rust crate "lyon_extra"

.
709431a
Package: librust-linebender-resource-handle-dev
Description-md5: 78853fd23372d44fcec201c98b06a452
Description-en: Raw resource handle for immutable blobs with dynamic lifetimes - Rust source code
 Source code for Debianized Rust crate "linebender_resource_handle"

.
708936a
Package: librust-lexical-write-float-dev
Description-md5: 5fa7afdd4428d3613c4a47bf2ce6229d
Description-en: Efficient formatting of floats to strings - Rust source code
 Source code for Debianized Rust crate "lexical-write-float"

Package: librust-lexical-write-integer-dev
Description-md5: 6d58b118c547bbedae54fbd5087a3a97
Description-en: Efficient formatting of integers to strings - Rust source code
 Source code for Debianized Rust crate "lexical-write-integer"

.
708916a
Package: librust-lexical-dev
Description-md5: da7e42384883e5e38ddb6d50dfe70f5e
Description-en: To- and from-string conversion routines - Rust source code
 Source code for Debianized Rust crate "lexical"

.
708178a
Package: librust-ixdtf-dev
Description-md5: 245535fe0ba86cc6cd57c89dd261c347
Description-en: Parser for Internet eXtended DateTime Format - Rust source code
 Source code for Debianized Rust crate "ixdtf"

.
706734a
Package: librust-higher-kinded-types-dev
Description-md5: 912384b28e36eed314d0037f39e83f4d
Description-en: "Generic generics" / higher-kinded APIs in stable Rust - Rust source code
 Source code for Debianized Rust crate "higher-kinded-types"

.
706105a
Package: gstreamer1.0-dav1d
Description-md5: 54b0b4382845bf7a99c71d1ba098bd7b
Description-en: GStreamer dav1d AV1 decoder plugin - GStreamer plugin
 GStreamer plugin for AV1 video decoding using the dav1d decoder.
 .
 This package provides the GStreamer plugin for AV1 decoding.

Package: librust-gst-plugin-dav1d-dev
Description-md5: 173c914d5f9155c29c3f433949887ee7
Description-en: GStreamer dav1d AV1 decoder Plugin - Rust source code
 Source code for Debianized Rust crate "gst-plugin-dav1d"

.
704535a
Package: librust-float16-dev
Description-md5: 3e7b74d09a4926ad4746178c22ce5327
Description-en: Half-precision floating point f16 and bf16 types for Rust implementing the IEEE 754-2008 standard binary16 and bfloat16 types - Rust source code
 Source code for Debianized Rust crate "float16"

.
703389a
Package: librust-either-or-both-dev
Description-md5: 7ab9ab78d5ee3e1f10d17c4819531dd8
Description-en: Enums EitherOrBoth with the three variants Left, Right, Both and Either with the Left and Right variants - Rust source code
 Source code for Debianized Rust crate "either-or-both"

.
703379,703384d
703266a
Package: librust-easy-color-dev
Description-md5: d76879f4f3421e4af365a76a7e21f928
Description-en: Very simple and easy-to-use color conversion tool - Rust source code
 Source code for Debianized Rust crate "easy_color"

.
703172a
Package: librust-dtact-macros-dev
Description-md5: 3f968d3827788fdf8ca42f0c40bc9a4c
Description-en: Macro utilities for Dtact: A non-preemptive, stackful coroutine runtime featuring a lock-free context arena, P2P mesh scheduling, and architecture-specific assembly switchers - Rust source code
 Designed for hardware-level control and non-blocking heterogeneous
 orchestration.
 .
 Source code for Debianized Rust crate "dtact-macros"

.
701579,701584d
701573,701577c
Description-md5: b5d8c949b8e9500137233dfd085e3e4c
Description-en: CSS Syntax Level 3 - Rust source code
 Source code for Debianized Rust crate "cssparser"

Package: librust-cssparser-color-dev
Description-md5: b8842bd5a7354acecd47e9616ef04e1c
Description-en: Color implementation based on cssparser - Rust source code
 Source code for Debianized Rust crate "cssparser-color"

.
701566,701571d
699454,699459d
698886a
Package: librust-bincode-derive-next-dev
Description-md5: 9331ab13928f327bab42575f93f07333
Description-en: Procedural macros for bincode-next: high-performance derive macros for Encode, Decode, ZeroCopy, and more - Rust source code
 Source code for Debianized Rust crate "bincode_derive-next"

.
698596,698597c
 Source code for Debianized Rust crate "az"
.
698594c
Description-md5: b74f5d0f37e1e10798555b810624c850
.
697714a
Package: librust-ariadne-dev
Description-md5: 64f19bf895331cba9cd1f812fd1b55b6
Description-en: Fancy diagnostics & reporting crate - Rust source code
 Source code for Debianized Rust crate "ariadne"

.
677324a
Package: rocqnavi
Description-md5: 892c9c124dd3890b9cd1c559d3492bab
Description-en: Generator of HTML documentation from Rocq files
 Rocq is a proof asssistant for higher-order logic, which
 allows the development of computer programs consistent with
 their formal specification. It is developed using Objective
 Caml and Camlp5.
 .
 This package provides a generator of HTML documentation for
 Rocq files, with:
  - generation of indexes
  - clickable notations
  - Markdown and LaTeX notations in comments
  - sidebar with the tree of modules

.
677313a
Package: libcoq-micromega-plugin
Description-md5: 36db3b2040d28472cc18759033991246
Description-en: Semi-decision procedures for arithmetic in Rocq
 Rocq is a proof asssistant for higher-order logic, which
 allows the development of computer programs consistent with
 their formal specification. It is developed using Objective
 Caml and Camlp5.
 .
 This package provides a plugin to Rocq providing (semi-)decision
 procedures for arithmetic ; end-users can use it through various
 tactics like 'lra'.

.
676213a
Package: rng-tools
Description-md5: 53bdd8d47cb06608cb9b3f3a21f5a0d5
Description-en: Daemon to use a Hardware TRNG
 The rngd daemon acts as a bridge between a Hardware TRNG (true random number
 generator) such as the ones in some Intel/AMD/VIA chipsets, and the kernel's
 PRNG (pseudo-random number generator).
 .
 It tests the data received from the TRNG using the FIPS 140-2 (2002-10-10)
 tests to verify that it is indeed random, and feeds the random data to the
 kernel entropy pool.
 .
 This increases the bandwidth of the /dev/random device, from a source that
 does not depend on outside activity. This may improve the behavior of systems
 which experience low values in /proc/sys/kernel/random/entropy_avail
 It may also improve the quality (entropy) of the randomness of /dev/random.
 .
 A TRNG kernel module such as hw_random, or some other source of true
 entropy that is accessible as a device or fifo, is required to use this
 package. It will take advantage of the RDRAND and RDSEED instructions
 included in some Intel & AMD CPUs.

.
661130,661135c
Description-md5: 7c117889259629f3c82010c00b5fba6a
Description-en: Latent Variable Analysis
 Fit a variety of latent variable models, including confirmatory factor
 analysis, structural equation modeling and latent growth curve models.
.
660283,660292c
Description-md5: 9523f11d7356aafeed8b3fc331a8435a
Description-en: Importing 'SVG' Graphics
 Functions for importing external vector images and drawing them as part
 of 'R' plots. This package is different from the 'grImport' package because,
 where that package imports 'PostScript' format images, this package imports
 'SVG' format images. Furthermore, this package imports a specific subset
 of 'SVG', so external images must be preprocessed using a package like 'rsvg'
 to produce 'SVG' that this package can import. 'SVG' features that are not
 supported by 'R' graphics, e.g., gradient fills, can be imported and then
.
659378,659386c
 formats are supported: 'HTML', 'PDF', 'Typst', 'RTF', 'Microsoft Word',
 'Microsoft PowerPoint', R 'Grid Graphics' and 'patchwork'. 'R Markdown',
 'Quarto' and the package 'officer' can be used to produce the result files.
 The syntax is the same for the user regardless of the type of output
 to be produced. A set of functions allows the creation, definition of cell
 arrangement, addition of headers or footers, formatting and definition of cell
 content with text and or images. The package also offers a set of high-level
 functions that allow tabular reporting of statistical models and the creation
 of complex cross tabulations.
.
659375c
Description-md5: 780d227db992410ad94d57a65b5bcbc8
.
657611,657621d
656385,656397c
Description-md5: 9c10cb72b4186446c364c8d00e037aee
Description-en: rWikiPathways - R client library for the WikiPathways API
 Use this package to interface with the WikiPathways API.
 It provides programmatic access to WikiPathways content in multiple data
 and image formats, including official monthly release files and convenient
 GMT read/write functions.
.
655426,655431c
Description-md5: 7d4d9dd5bc65d6be9b96d140df99c703
Description-en: Differential gene expression analysis based on the negative binomial distribution
 Estimate variance-mean dependence in count data from high-throughput
 sequencing assays and test for differential expression based on a model using
 the negative binomial distribution.
.
645364a
Package: qpakman
Description-md5: 0de2b68041cfb144b8486dffefd52162
Description-en: manage PAK and WAD files used by games Quake & Hexen
 QPakMan is a command-line (text only) program for managing the
 PAK and WAD files used by the games Quake, Quake II and Hexen II.

.
614479a
Package: python3-elevenlabs
Description-md5: aff7532b7a1f0487f16450f62da7f6e5
Description-en: official Python SDK for the ElevenLabs API
 ElevenLabs brings the most compelling, rich and lifelike voices to creators
 and developers in just a few lines of code.

.
612650a
Package: python-django-money-doc
Description-md5: b2c8238dc8a7063daf8baf6a5d655677
Description-en: Money fields for Django forms and models (Documentation)
 A little Django app that uses py-moneyed to add support for Money fields in
 your models and forms. Through the dependency py-moneyed, django-money gets:
 .
  * Support for proper Money value handling (using the standard Money design
    pattern)
  * A currency class and definitions for all currencies in circulation
  * Formatting of most currencies with correct currency sign
 .
 This package contains the documentation.

Package: python3-django-money
Description-md5: cb839fbaac919173a884b3a3221fd82e
Description-en: Money fields for Django forms and models (Python3 version)
 A little Django app that uses py-moneyed to add support for Money fields in
 your models and forms. Through the dependency py-moneyed, django-money gets:
 .
  * Support for proper Money value handling (using the standard Money design
    pattern)
  * A currency class and definitions for all currencies in circulation
  * Formatting of most currencies with correct currency sign
 .
 This package contains the Python 3 version of the library.

.
603707a
Package: python3-aiokarakeep
Description-md5: 8d8b3d2080a3f5a162db80a2f0fc1af4
Description-en: asynchronous Python client for the Karakeep API
 Karakeep is a self-hosted application for saving, organising, searching, and
 archiving web links, notes, images, and documents. It can automatically fetch
 metadata and use language models to tag and summarise saved content.
 .
 This package provides an asynchronous Python client for selected endpoints of
 the Karakeep HTTP API. It connects to a caller-specified Karakeep instance
 using an API token.
 .
 The client can retrieve statistics for the authenticated user, check the
 service health, and obtain the installed Karakeep version when the relevant
 endpoint is available. JSON responses are returned as decoded Python objects,
 and health-check results include the HTTP status code.

Package: python3-aiolichess
Description-md5: d714e39973d712265bd21d77991d8bfa
Description-en: asynchronous client for the Lichess REST API
 Lichess is a free and open-source online chess server where users can play
 games, solve puzzles, analyse positions, and view chess ratings and statistics.
 .
 This library provides asynchronous access to the authenticated account
 endpoint of the Lichess REST API. Using a personal API token, it can retrieve
 the authenticated user's account details, user ID, username, profile, game
 counts, and rating statistics.
 .
 Returned data is represented by structured objects for account profiles,
 performance ratings, play counts, and per-variant statistics. Supported chess
 variants and formats include bullet, blitz, rapid, classical, correspondence,
 Chess960, crazyhouse, antichess, atomic, horde, king of the hill, racing kings,
 three-check, and puzzles.

.
603497a
Package: python3-aioharmanluxury
Description-md5: 00029624398cc31a400176eb1c849ed8
Description-en: async client for Harman Luxury Audio network streamers
 This library communicates with Harman Luxury Audio network streamers on the
 local network through the device JSON API exposed under https://<host>/api.
 .
 It can read device information such as model and configured name, and can
 query live player state including playback status, track metadata, active
 source capabilities, mute state, volume, and online or standby indication. It
 can send supported commands for volume, mute, and transport controls such as
 play, pause, next, and previous, subject to what the active source allows.
 .
 Supported devices are streamers based on the StreamUnlimited StreamSDK
 platform, including Arcam Radia ST5 and ST60 units, and related JBL and Mark
 Levinson streamers. The library talks directly to the streamer over HTTPS on
 the local network; these devices commonly use a self-signed certificate and
 expose an unauthenticated local API.
 .
 Power state is read-only on the known devices, so standby or online state can
 be observed but not changed through the API.

.
603449a
Package: python3-aiocentriconnect
Description-md5: acf16c6cd32e925d8e9f359437b466ab
Description-en: client for CentriConnect/MyPropane propane tank data
 This library talks to the CentriConnect/MyPropane API to retrieve information
 for a registered propane tank monitoring device.
 .
 It authenticates with the user ID, device ID, and device authorization code
 used by the service. The returned tank data includes fields such as the device
 name and the reported tank level percentage.

.
603349a
Package: python3-aio-wattwaechter
Description-md5: d7202fed98e45b97d43c1e22b14f5254
Description-en: async client for WattWächter smart meter devices
 This library provides an asynchronous interface to the HTTP API exposed by
 WattWächter smart meter devices. It communicates with a WattWächter device on
 the network to read live meter values, OBIS-coded measurements, total
 consumption, power readings, and stored history data.
 .
 The library can query device status and diagnostics, including connectivity,
 firmware information, Wi-Fi signal data, self-test results, logs, LED state,
 timezone data, and system settings. It also includes support for device
 authentication tokens, settings updates, reboot requests, OTA update checks
 and starts, MQTT certificate and status endpoints, Modbus TCP status, and
 cloud pairing or unpairing endpoints.

.
588959a
   - mod_muc_notifications: sends notifications to non-present MUC members
.
588958a
   - mod_muc_mav: XEP-0463: MUC Affiliations Versioning
.
588957a
   - mod_muc_invite_affiliated: sends invites to users after server restart
.
588936d
588892c
Description-md5: 3c5bb251c38443181a973f053d2c72b8
.
564116,564126d
560432,560565c
Description-md5: 1eae7d4d2b161d08a6e9dbd19e005980
Description-en: Standard installation of pcb-rnd
 pcb-rnd is a highly modular PCB (Printed Circuit Board) layout tool
 with a rich set of plugins for communicating with various external
 design tools and other EDA/CAD packages.
 .
 Feature highlights:
   - subcircuits, pad stacks
   - flexible footprint model; unrestricted pad shapes
   - arbitrary copper, silk, paste and soldermask objects
   - sophisticated, flexible layer model
   - flexible/universal polygon model
   - any object, even polygons, can have a clearance within a polygon
   - advanced mil and mm grid, with support for mixed unit design
   - strong CLI support
   - static footprints and parametric (generated) footprints
   - query language for advanced search & select
   - powerful, user scriptable, modular Design Rule Checker (DRC)
   - layout optimizers such as teardrops and a trace puller
   - footprint library from local file systems, HTTP and board files
   - netlist management: imported and as-built; back annotation
 .
 File formats and compatibility:
   - text based, tree structured native file format (lihata)
   - import board:
     * Altium PcbDoc ASCII board
     * autotrax PCB board, version 4
     * autotrax PCB board, version 5
     * dsn board
     * eagle xml board version 6, 7, 8
     * eagle binary board version 3, 4, 5
     * EasyEDA std board
     * EasyEDA pro board
     * hyperlynx board, version 2 and above
     * kicad board, version 3, 4 and 5 (s-expr)
     * lihata pcb-rnd board (any version)
     * PADS ASCII board
     * gEDA/PCB .pcb board (any version up to 2017)
   - export board:
     * anonimized board statistics in lihata
     * autotrax PCB board, version 4
     * specctra dsn board
     * hyperlynx board, version 2.0
     * kicad board, version 3 (s-expr)
     * kicad pcbnew-board, version 1 (legacy plain text format)
     * lihata pcb-rnd board (any version)
     * PADS ASCII board
     * gEDA/PCB .pcb board (various version up to 2017)
   - import footprint:
     * BXL footprints
     * eagle xml footprint lib .lbr (as board)
     * eagle xml footprint lib .lbr (as footprint)
     * eagle binary footprint lib (as board)
     * EasyEDA std footprint
     * EasyEDA pro footprint
     * kicad footprint module (s-expr, version 3, 4 and 4)
     * lihata pcb-rnd footprint (any version)
     * Mentor Graphics cell footprints
     * gEDA/PCB .fp footprints
     * tEDAx footprint (any version)
   - export footprint:
     * kicad footprint module (s-expr, according to version 3)
     * kicad pcbnew-module (legacy plain text format)
     * lihata pcb-rnd footprint (any version)
     * gEDA/PCB .fp footprints
     * tEDAx footprint (any version)
   - import netlist:
     * Accel ASCII netlists + footprint info
     * calay (netlists + footprint info)
     * flat netlist from EDIF
     * freepcb netlist + footprint info
     * gEDA/gschem (netlist + footprint info, running gnetlist)
     * import ltspice .net and .asc (netlist and footprint info)
     * flat .edf (netlist+footprint, produced by Mentor Graphics Design Capture)
     * pcb-rnd action script (netlist + footprint info)
     * schematics import by running a commandline
     * netlist import by running a commandline
     * gEDA netlist (plain text, no footprint info)
     * Orcad PCB II (netlist + footprint info)
     * PADS ascii (.asc, netlists + footprint info)
     * Protel netlists 2.0 + footprint info
     * sch-rnd sheet (netlist + footprint info, running sch-rnd)
     * sch-rnd project (netlist + footprint info, running sch-rnd)
     * Ringdove project (netlist + footprint info, running sch-rnd)
     * tinycad .net (netlists + footprint info)
     * eeschema netlist and footprint info
     * tEDAx netlist (any version)
   - export netlist:
     * tEDAx netlist (any version)
   - export image:
     * render in .png
     * render in .gif
     * render in .jpeg
     * render black&white postscript (single or multiple files)
     * render black&white or color embedded postscript (single file)
     * pro (projector: 3d rendering)
     * svg (Scalable Vector Graphics)
   - import misc:
     * HPGL plot (lines, arcs, polygons)
     * MUCS unixplot .pl (lines and vias)
     * ttf font
     * specctra .dsn (route result: wires and vias)
     * specctra .ses (route result: wires and vias)
     * eagle DRU (design rules)
     * lihata pcb-rnd font (any version)
     * gEDA/PCB font
     * tEDAx drc
     * tEDAx pcb-rnd drc script
   - export misc:
     * bom (Bill of Materials, text, templated)
     * .dxf (2D drawing for mech CADs)
     * excellon drill/cnc (for PCB fabbing)
     * fidocad .fcd (partial export)
     * export gcode (for milling)
     * gerber for PCB fabbing
     * hpgl
     * IPC-D-356 Netlist (for automated testing)
     * printer (using ps)
     * list of terminal connections (old, custom format)
     * OpenEMS (simulation, matlab files)
     * openscad script (colored 3D model)
     * stl (3d triangulated surface model)
     * amf (Additive Manufacturing File, surface model)
     * html (with css, js and svg embedded)
     * geda/PCB xy
     * gxyrs
     * Macrofab's pick&place
     * pick&place file for the TM220/TM240 device
     * KiCad .pos file
     * IPC-D-356 Netlist (from automated testing)
     * lihata pcb-rnd font (any version)
     * tEDAx etest
     * tEDAx drc
     * tEDAx pcb-rnd drc script

.
553412,553421d
548776,548778d
548758c
Description-md5: 8bde6d40ee124fe2eaba9637071ada23
.
548725,548727d
548705c
Description-md5: bc675a306738b4fd02bc20692ac0e688
.
543578,543590d
543538,543550d
543361,543387d
519981a
Package: node-pixl-json-stream
Description-md5: 953c139662470108982bf1d581da0a34
Description-en: send and receive JSON records over standard streams
 This module provides a convenient way to send/receive complex data
 objects over streams (pipes and sockets). It does this by transparently
 serializing the data to JSON, and parsing it on the other side, emitting
 a json event to your code whenever it has a complete JSON message.
 .
 The library handles all buffering for you, and so it will only emit one
 json event for each completed JSON document, pre-parsed into a data
 object for your callback. And for sending data, you can pass it a complex
 object, which will be auto-serialized and streamed over the pipe or
 socket.
 .
 Node.js is an event-based server-side JavaScript engine.

.
462096a
Package: liblomiri-storage-framework-provider1
Description-md5: 3a8987c891bf0061c98b044f2aecf97f
Description-en: Library for Storage Framework providers
 API for storage framework clients and providers in Lomiri.
 .
 Server-side runtime support for provider implementations.

Package: liblomiri-storage-framework-qt-client-1-0
Description-md5: d54e7c80129677d4f0345129419ea307
Description-en: Client library for the Storage Framework (Qt5 API v1)
 API for storage framework clients and providers in Lomiri.
 .
 Runtime support for storage framework clients (Qt5 API v1)
 .
 This package wil be removed soon.

Package: liblomiri-storage-framework-qt-client-2-0
Description-md5: b0f6095514bd4fa0a555fd3b8830cef6
Description-en: Client library for the Storage Framework (API v2)
 API for storage framework clients and providers in Lomiri.
 .
 Runtime support for storage framework clients (Qt5 API v2).

Package: liblomiri-storage-framework-qt-local-client-1-0
Description-md5: d04f6c9c42b01cba37e5769b25ff0327
Description-en: Client library for the Storage Framework backed by the local file system
 API for storage framework clients and providers in Lomiri.
 .
 A version of the client-side API that implements a local
 file system provider. This is intended mainly for testing;
 it allows application code to use the storage framework
 API without requiring use of DBus and cloud service account.

Package: liblomiri-storage-framework-qt6-client-1-0
Description-md5: 7061bf9868db6ff9143b4ee3ec56b5f1
Description-en: Client library for the Storage Framework (Qt 6)
 API for storage framework clients and providers in Lomiri.
 .
 Runtime support for storage framework clients (Qt 6).

Package: liblomiri-storage-framework-qt6-provider-1-1
Description-md5: 9ad58cff2c3c192ec5a5fccfe3587931
Description-en: Library for Storage Framework providers (Qt6 version)
 API for storage framework clients and providers in Lomiri.
 .
 Server-side runtime support for provider implementations (Qt6 version).

Package: lomiri-storage-framework-client-dev
Description-md5: 9a45ba9ee9040e8ef1585ae03db0088c
Description-en: Header files for the Storage Framework Qt5 client libraries
 API for storage framework clients and providers in Lomiri.
 .
 Development C++ headers for the Qt5 client side API.

Package: lomiri-storage-framework-provider-dev
Description-md5: a8bd81148315fe4e51bf20ac3f0da548
Description-en: Header files for the Storage Framework provider library
 API for storage framework clients and providers in Lomiri.
 .
 Development C++ headers for the provider API.

Package: lomiri-storage-framework-qt6-client-dev
Description-md5: 2bf3bf2d297ae573b647836f46f288cd
Description-en: Header files for the Storage Framework Qt6 client libraries
 API for storage framework clients and providers in Lomiri.
 .
 Development C++ headers for the Qt 6 client side API.

Package: lomiri-storage-framework-qt6-provider-dev
Description-md5: ec9c0035c223238b1c8a45b977604d04
Description-en: Header files for the Storage Framework Qt6 provider library
 API for storage framework clients and providers in Lomiri.
 .
 Development C++ headers for the Qt6 provider API.

Package: lomiri-storage-framework-registry
Description-md5: 362c98084b7d14d7d57a763d3ded425c
Description-en: Registry for the Storage Framework
 API for storage framework clients and providers in Lomiri.
 .
 DBus service that provides access to provider account information.
 Includes a local storage provider.

.
454403a
Package: linux-image-7.1.5+deb14-arm64
Description-md5: b4ca7498e8931a7557d951ea06553bc3
Description-en: Linux 7.1.5 for 64-bit ARMv8 machines
 The Linux kernel 7.1.5 and modules for use on 64-bit ARMv8 machines.

Package: linux-image-7.1.5+deb14-arm64-16k
Description-md5: 31c6468ff8221d60799593d5eebee818
Description-en: Linux 7.1.5 for 64-bit ARMv8 machines with 16k pages
 The Linux kernel 7.1.5 and modules for use on 64-bit ARMv8 machines with
 16k pages.

Package: linux-image-7.1.5+deb14-cloud-arm64
Description-md5: 258d0bacadadaaaedc6f50f675a94903
Description-en: Linux 7.1.5 for arm64 cloud
 The Linux kernel 7.1.5 and modules for use on cloud platforms supporting
 arm64 virtual machines.

Package: linux-image-7.1.5+deb14-rt-arm64
Description-md5: 207ae3ec48e9a9ec8e773995f5a5af87
Description-en: Linux 7.1.5 for 64-bit ARMv8 machines, PREEMPT_RT
 The Linux kernel 7.1.5 and modules for use on 64-bit ARMv8 machines.
 .
 This kernel is configured with PREEMPT_RT real time support.

.
454283a
Package: linux-binary-7.1.5+deb14-arm64
Description-md5: 9cc7aa6ea89c6335fed9fefdbc64a6eb
Description-en: Linux 7.1.5 for 64-bit ARMv8 machines (kernel image)
 This package contains the kernel image for Linux 7.1.5 on 64-bit ARMv8
 machines.
 .
 This does not provide a complete kernel installation.  You should normally
 install linux-image-7.1.5+deb14-arm64.

Package: linux-binary-7.1.5+deb14-arm64-16k
Description-md5: 610043248a6c6385d2ad7ab357b59bf0
Description-en: Linux 7.1.5 for 64-bit ARMv8 machines with 16k pages (kernel image)
 This package contains the kernel image for Linux 7.1.5 on 64-bit ARMv8
 machines with 16k pages.
 .
 This does not provide a complete kernel installation.  You should normally
 install linux-image-7.1.5+deb14-arm64-16k.

Package: linux-binary-7.1.5+deb14-cloud-arm64
Description-md5: 77c9423cad17a16baa93d9ce9ac8e5ef
Description-en: Linux 7.1.5 for arm64 cloud (kernel image)
 This package contains the kernel image for Linux 7.1.5 on cloud platforms
 supporting arm64 virtual machines.
 .
 This does not provide a complete kernel installation.  You should normally
 install linux-image-7.1.5+deb14-cloud-arm64.

Package: linux-binary-7.1.5+deb14-rt-arm64
Description-md5: f9312198dd39b02142382db1f7a4518b
Description-en: Linux 7.1.5 for 64-bit ARMv8 machines (kernel image)
 This package contains the kernel image for Linux 7.1.5 on 64-bit ARMv8
 machines.
 .
 This does not provide a complete kernel installation.  You should normally
 install linux-image-7.1.5+deb14-rt-arm64.

.
454103a
Package: linux-image-7.1.5+deb14-amd64
Description-md5: 79a31f51e8cc83d980b0e07de9cca786
Description-en: Linux 7.1.5 for 64-bit PCs
 The Linux kernel 7.1.5 and modules for use on PCs with AMD64, Intel 64 or
 VIA Nano processors.

Package: linux-image-7.1.5+deb14-cloud-amd64
Description-md5: 364ea8636ad484b1de19b6aefcb6eaf1
Description-en: Linux 7.1.5 for x86-64 cloud
 The Linux kernel 7.1.5 and modules for use on cloud platforms including
 Amazon EC2, Microsoft Azure, and Google Compute Engine.

Package: linux-image-7.1.5+deb14-rt-amd64
Description-md5: 5dfecad71e2bd8cb71f6bf4329d8b1d8
Description-en: Linux 7.1.5 for 64-bit PCs, PREEMPT_RT
 The Linux kernel 7.1.5 and modules for use on PCs with AMD64, Intel 64 or
 VIA Nano processors.
 .
 This kernel is configured with PREEMPT_RT real time support.

.
454005a
Package: linux-binary-7.1.5+deb14-amd64
Description-md5: 89c3f47e89bd6db9edcaeaa4b84e8da1
Description-en: Linux 7.1.5 for 64-bit PCs (kernel image)
 This package contains the kernel image for Linux 7.1.5 on PCs with AMD64,
 Intel 64 or VIA Nano processors.
 .
 This does not provide a complete kernel installation.  You should normally
 install linux-image-7.1.5+deb14-amd64.

Package: linux-binary-7.1.5+deb14-cloud-amd64
Description-md5: 3082e33f314cbd510fef356729a8adf4
Description-en: Linux 7.1.5 for x86-64 cloud (kernel image)
 This package contains the kernel image for Linux 7.1.5 on cloud platforms
 including Amazon EC2, Microsoft Azure, and Google Compute Engine.
 .
 This does not provide a complete kernel installation.  You should normally
 install linux-image-7.1.5+deb14-cloud-amd64.

Package: linux-binary-7.1.5+deb14-rt-amd64
Description-md5: f014177f14f33243242fa8dcfcda0421
Description-en: Linux 7.1.5 for 64-bit PCs (kernel image)
 This package contains the kernel image for Linux 7.1.5 on PCs with AMD64,
 Intel 64 or VIA Nano processors.
 .
 This does not provide a complete kernel installation.  You should normally
 install linux-image-7.1.5+deb14-rt-amd64.

.
453647a
Package: linux-modules-7.1.5+deb14-riscv64
Description-md5: 9040b3bb3571a3de885db6e1f29af90e
Description-en: Linux 7.1.5 for 64-bit RISC-V platforms (modules)
 This contains the kernel modules for Linux 7.1.5 on 64-bit RISC-V
 platforms.
 .
 This does not provide a complete kernel installation.  You should normally
 install linux-image-7.1.5+deb14-riscv64.

.
452912a
Package: linux-image-7.1.5+deb14-riscv64
Description-md5: a86523d277a3bed3af8e9bac704dae79
Description-en: Linux 7.1.5 for 64-bit RISC-V platforms
 The Linux kernel 7.1.5 and modules for use on 64-bit RISC-V platforms.

Package: linux-image-7.1.5+deb14-riscv64-dbg
Description-md5: e3a40f2344b5f23df343059d0ec4a16a
Description-en: Linux 7.1.5 for 64-bit RISC-V platforms (debug symbols)
 This package provides the detached debug symbols for the Linux kernel and
 modules in linux-image-7.1.5+deb14-riscv64.

.
452498a
Package: linux-headers-7.1.5+deb14-riscv64
Description-md5: b6143bb2e4ebbc9e74a264f137a2b01c
Description-en: Linux 7.1.5 for 64-bit RISC-V platforms (module development)
 This package provides the architecture-specific kernel header files for
 Linux kernel 7.1.5+deb14-riscv64, generally used for building out-of-tree
 kernel modules.  These files are going to be installed into
 /usr/src/linux-headers-7.1.5+deb14-riscv64, and can be used for building
 modules that load into the kernel provided by the
 linux-image-7.1.5+deb14-riscv64 package.

.
451571a
Package: linux-binary-7.1.5+deb14-riscv64
Description-md5: d846d0d365d9f42b5829e64c6b2bf4f0
Description-en: Linux 7.1.5 for 64-bit RISC-V platforms (kernel image)
 This package contains the kernel image for Linux 7.1.5 on 64-bit RISC-V
 platforms.
 .
 This does not provide a complete kernel installation.  You should normally
 install linux-image-7.1.5+deb14-riscv64.

.
451390a
Package: linux-base-7.1.5+deb14-riscv64
Description-md5: d5638178fc538c31468ed7b07b43c0f4
Description-en: Linux 7.1.5 for 64-bit RISC-V platforms (base files)
 This package contains files for Linux 7.1.5 on 64-bit RISC-V platforms
 that are used for both installing the kernel and building additional
 modules.

.
245075,245083d
233427,233432d
225132,225143d
218208a
 .
 This package contains the Go library.
.
218204c
Description-md5: f838d2f8b5d6c6faa5d2eca298af4a77
.
212174a
Package: golang-filippo-mldsa-dev
Description-md5: 10d37214fd4699c64b3c54fda34c0529
Description-en: implements the crypto/mldsa proposed API (library)
 This package implements the crypto/mldsa proposed API:
 https://go.dev/issue/77626
 .
 Its API may change, and eventually this package will become a wrapper
 around the final API in the standard library.
 .
 The actual implementation is merged from the internal upstream package
 crypto/internal/fips140/mldsa, with very few changes (visible in the
 merge commits in the git history).

.
61572,61581d
61533,61542d
40396,40411d
3320,3347d
3264,3291d
3180,3235d
3138,3151d
3061,3098d
2991,3018d
2935,2962d
2851,2906d
2809,2822d
2732,2769d
556c
 This package provides the Rocq support library.
.
551,553c
Description-md5: 1fa1dc67e2b50aa8e970728fc914b32e
Description-en: Rocq tactics for reasoning modulo AC (theories)
 This Rocq plugin provides tactics for rewriting universally quantified
.
