765094,765123d
750477,750494d
679963,679982d
666959,666960c
 Source code for Debianized Rust crate "version-compare"
.
666957c
Description-md5: 05b9f756311ee6fed538d570894d5dba
.
666704a
Package: librust-utf8-locale-dev
Description-md5: 0e8934d3fa90741f4b6d40707c2f5b75
Description-en: Detect a UTF-8-capable locale for running child processes in - Rust source code
 Source code for Debianized Rust crate "utf8-locale"

.
664535a

Package: librust-sysconf-dev
Description-md5: 892a5cf78e9ba26c127ab693cb3d7d79
Description-en: Small safe wrapper around sysconf - Rust source code
 Small safe wrapper around sysconf.
 .
 Query runtime configuration information.
 .
 This crate provides the ability to query for various configuration information
 about the runtime platform such as memory page size. On POSIX systems, it makes
 heavy use of the sysconf API.
 Source code for Debianized Rust crate "sysconf"
.
660944a
Package: librust-rootasrole-core-dev
Description-md5: 96f2e10eb2ddc3fa218d569bd0c5877d
Description-en: This core crate for the RootAsRole project - Rust source code
 Source code for Debianized Rust crate "rootasrole-core"

.
649007a
Package: librust-ed25519-dalek-2-dev
Description-md5: 6caf3efbcf3803456dce2136dd2c1855
Description-en: ed25519 EdDSA key generations, signing, and verification - Rust source code
 Source code for Debianized Rust crate "ed25519-dalek"

.
623397a

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'.

Package: libcoq-stdlib
Description-md5: 0b24e694693db60c1cd6cd2d76d1f65f
Description-en: Standard library for the Rocq Theorem Prover
 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 the Rocq Standard Library, about
 basic numbers, sets, lists, strings and other basic concepts.
.
610570,610573c
Description-md5: 9ac05a886cad0ea8f4a5c8b35325ba59
Description-en: Poor Man's Dependency Free Recreation of 'dplyr'
 A replication of key functionality from 'dplyr' and the wider 'tidyverse'
 using only 'base'.
.
606813a
Package: r-cran-estimatr
Description-md5: 40ba1bfbfa919a084037e8c6d5f9dd24
Description-en: GNU R fast estimators for design-based inference
 Fast procedures for small set of commonly-used, design-appropriate
 estimators with robust standard errors and confidence intervals.
 Includes estimators for linear regression, instrumental variables
 regression, difference-in-means, Horvitz-Thompson estimation, and
 regression improving precision of experimental estimates by interacting
 treatment with centered pre-treatment covariates introduced by Lin
 (2013) <doi:10.1214/12-AOAS583>.

.
500023a
Package: offlineimap
Description-md5: bfe8ebc058cce6653c20fea6f85a4246
Description-en: transitional package
 This is a transitional package. It can safely be removed.

Package: offlineimap3
Description-md5: 26959832ee88bdeeff8e41015f731081
Description-en: IMAP/Maildir synchronization and reader support
 OfflineIMAP is a tool to simplify your e-mail reading.  With
 OfflineIMAP, you can:
 .
  * Read the same mailbox from multiple computers, and have your
    changes (deletions, etc.) be automatically reflected on
    all computers
 .
  * Use various mail clients to read a single mail box
 .
  * Read mail while offline (on a laptop) and have all changes
    synchronized when you get connected again
 .
  * Read IMAP mail with mail readers that do not support IMAP
 .
  * Use SSL (secure connections) to read IMAP mail even if your reader
    doesn't support SSL
 .
  * Synchronize your mail using a completely safe and fault-tolerant
    algorithm.
 .
  * Customize which mailboxes to synchronize with regular expressions
    or lists.
 .
  * Synchronize your mail two to four times faster than with other tools
    or other mail readers' internal IMAP support.
 .
 In short, OfflineIMAP is a tool to let you read mail how YOU want to.
 .
 This is the Python3 port of offlineimap.

.
498812,498813d
498807c
Description-md5: 096d2352493be91f08a27c0a822fc072
.
491270a
Package: nvmetcli
Description-md5: 36fc5e3a73640a17d747f62f25e22598
Description-en: NVMe management tool for the kernel NVMe target
 NVM Express (NVMe) is a interface specification for accessing non-volatile
 storage media, typically modern solid state drives (SSDs) through PCI Express
 (PCIe).
 .
 The nvmetcli tool provides management functions for the NVMe over Fabrics
 target in the Linux kernel. It allows configuring the target interactively as
 well as saving/restoring the configuration to/from a json file.

.
447057,447078d
377549,377554d
306195,306205d
268185c
Package: libhdf5-openmpi-hl-fortran-320
.
268171c
Package: libhdf5-openmpi-hl-320
Description-md5: 1625f735200bc7326012e1261389944e
Description-en: HDF5 High Level runtime files - OpenMPI version
 Hierarchical Data Format 5 (HDF5) is a file format and library for
 storing scientific data.  HDF5 was designed and implemented to address
 the deficiencies of HDF4.x. It has a more powerful and flexible data
 model, supports files larger than 2 GB, and supports parallel I/O.
 .
 This package contains the high level C API runtime files for openmpi platforms.

Package: libhdf5-openmpi-hl-cpp-320
.
268151c
Package: libhdf5-openmpi-fortran-320
.
268128c
Package: libhdf5-openmpi-320
Description-md5: 9075165887209e7211568015540d7e11
Description-en: HDF5 - C runtime files - OpenMPI version
 Hierarchical Data Format 5 (HDF5) is a file format and library for
 storing scientific data.  HDF5 was designed and implemented to address
 the deficiencies of HDF4.x. It has a more powerful and flexible data
 model, supports files larger than 2 GB, and supports parallel I/O.
 .
 This package contains the C runtime files for use with OpenMPI.

Package: libhdf5-openmpi-cpp-320
.
268107c
Package: libhdf5-mpich-hl-fortran-320
.
268093c
Package: libhdf5-mpich-hl-320
Description-md5: 7231b375d828e4dd4396de447c9ef18d
Description-en: HDF5 High Level runtime files - MPICH2 version
 Hierarchical Data Format 5 (HDF5) is a file format and library for
 storing scientific data.  HDF5 was designed and implemented to address
 the deficiencies of HDF4.x. It has a more powerful and flexible data
 model, supports files larger than 2 GB, and supports parallel I/O.
 .
 This package contains the high level C API runtime files for mpich platforms.

Package: libhdf5-mpich-hl-cpp-320
.
268073c
Package: libhdf5-mpich-fortran-320
.
268049c
Package: libhdf5-mpich-320
Description-md5: bdf0e47395047577a6e5b69535d59c8d
Description-en: HDF5 - C runtime files - MPICH2 version
 Hierarchical Data Format 5 (HDF5) is a file format and library for
 storing scientific data.  HDF5 was designed and implemented to address
 the deficiencies of HDF4.x. It has a more powerful and flexible data
 model, supports files larger than 2 GB, and supports parallel I/O.
 .
 This package contains the C runtime files for use with MPICH2.

Package: libhdf5-mpich-cpp-320
.
268003c
Package: libhdf5-hl-fortran-320
.
267992c
Package: libhdf5-hl-320
Description-md5: c9045d102978306f9b038586e565d46d
Description-en: HDF5 High Level runtime files - serial version
 Hierarchical Data Format 5 (HDF5) is a file format and library for
 storing scientific data.  HDF5 was designed and implemented to address
 the deficiencies of HDF4.x. It has a more powerful and flexible data
 model, supports files larger than 2 GB, and supports parallel I/O.
 .
 This package contains the high level C API runtime files for serial platforms.

Package: libhdf5-hl-cpp-320
.
267972c
Package: libhdf5-fortran-320
.
267951a
Package: libhdf5-cpp-320
Description-md5: f98ebd9a835975b2031fe61ea3c6da71
Description-en: HDF5 - C++ runtime files - serial version
 Hierarchical Data Format 5 (HDF5) is a file format and library for
 storing scientific data.  HDF5 was designed and implemented to address
 the deficiencies of HDF4.x. It has a more powerful and flexible data
 model, supports files larger than 2 GB, and supports parallel I/O.
 .
 This package contains the C++ runtime files for serial platforms.

.
267941a
Package: libhdf5-320
Description-md5: 0058d2fd2a000aa6e520a6728baf452a
Description-en: HDF5 C runtime files - serial version
 Hierarchical Data Format 5 (HDF5) is a file format and library for
 storing scientific data.  HDF5 was designed and implemented to address
 the deficiencies of HDF4.x. It has a more powerful and flexible data
 model, supports files larger than 2 GB, and supports parallel I/O.
 .
 This package contains the C runtime files for serial platforms.

.
212109a
Package: golang-github-xtls-reality-dev
Description-md5: b44231d1f92a3d81c07f3150d66855dd
Description-en: Platform for bypass network restrictions
 Platform for building proxies to bypass network restrictions. A
 replacement for v2ray-core, with XTLS support and fully compatible
 configuration.
 .
 This is the reality protocol implementation.

.
136742,136808d
117055c
 This package contains 6 fonts that were used in a RedHat
.
117053c
Description-md5: 80e44ae30c800801f5e8497dcbd9f6ca
.
95601a
Package: elpa-tmr
Description-md5: ac582e13697546460256d452498af895
Description-en: set and manage timers in Emacs using a convenient notation
 TMR is an Emacs package that provides an elegant interface for setting and
 managing timers using a convenient notation.  The most simple of these is M-x
 tmr RET, 30 (or any real number) RET, which executes a 30min timer.  Seconds
 and hours are of course also supported.  This is a full-featured timer
 management extension, and it has its own (optional) mode-line, and its own
 (optional) major mode which provides a top-down tabulated view of all timers.
 M-x tmr is one of the fastest ways to set a timer.
 .
 Timers may be created with or later annotated with corresponding
 descriptions, and these descriptions become part of the desktop notification
 that will be forwarded to the messaging system of GNOME, KDE Plasma, XFCE,
 etc.  In other words, by default, TMR integrates with the Linux desktop and
 one will receive notifications even when Emacs is in the background.  When
 sound-theme-freedesktop is installed, a familiar alarm will play whenever a
 timer completes.
 .
 Backronyms: TMR May Ring; Timer Must Run.

.
76706,76725d
57229a
Package: libcoq-simple-io
Description-md5: 203327b966ea6f97a884c7e5a945d270
Description-en: Coq plugin for purely functional IO
 This package provides a plugin to implement
 Input/Output (IO) programs directly in Coq, in a
 style similar to Haskell's.
 .
 Coq is a proof assistant for higher-order logic.

.
57090,57091c
 This package provides RocqIde, a graphical user interface for
 developing proofs.
.
57083,57086c
Package: rocqide
Description-md5: c6fb144d57a56407344a4003317f4e68
Description-en: proof assistant for higher-order logic (gtk interface)
 Rocq is a theorem prover for higher-order logic, which allows the
.
57061,57062c
 This package provides existing theories that new proofs can be
 based upon, including theories of arithmetic and Boolean values.
.
57054,57056c
Package: libcoq-core
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e
Description-en: proof assistant for higher-order logic (theories)
.
39035,39130d
23442,23450d
10275c
Package: libparquet2500
.
10241c
Package: libgandiva2500
.
10215c
Package: libarrow2500
.
10199c
Package: libarrow-flight2500
.
10183c
Package: libarrow-flight-sql2500
.
10119c
Package: libarrow-dataset2500
.
10087c
Package: libarrow-acero2500
.
496c
 This package provides the Rocq support library.
.
491,493c
Description-md5: 1fa1dc67e2b50aa8e970728fc914b32e
Description-en: Rocq tactics for reasoning modulo AC (theories)
 This Rocq plugin provides tactics for rewriting universally quantified
.
