765197,765226d
750580,750597d
707742a

Package: task-vietnamese
Description-md5: c29ea8d7abbf0ce6e2b1dc277add621f
Description-en: Vietnamese environment
 This task installs packages and documentation in Vietnamese
 to help Vietnamese speaking people use Debian.
.
707113a
Package: task-indonesian
Description-md5: e3bf5de3406bb31f4f8adb75ebaa68d9
Description-en: Indonesian environment
 This task installs packages and documentation in Indonesian
 to help Indonesian speaking people use Debian.

.
706976a
Package: task-georgian
Description-md5: 9205d127a8f60f8fcad68c8ba42b4a9c
Description-en: Georgian environment
 This task installs packages and documentation in Georgian
 to help Georgian speaking people use Debian.

.
680084,680103d
667853a

Package: librust-x25519-dalek-dev
Description-md5: 0d2d4f03197d4e0f36929aba6506664c
Description-en: X25519 elliptic curve Diffie-Hellman key exchange - Rust source code
 Source code for Debianized Rust crate "x25519-dalek"

Package: librust-x25519-dalek-2-dev
Description-md5: 0d2d4f03197d4e0f36929aba6506664c
Description-en: X25519 elliptic curve Diffie-Hellman key exchange - Rust source code
 Source code for Debianized Rust crate "x25519-dalek"
.
667090,667091c
 Source code for Debianized Rust crate "version-compare"
.
667088c
Description-md5: 05b9f756311ee6fed538d570894d5dba
.
666835a
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"

.
664666a

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"
.
661075a
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"

.
660063,660064c
 Source code for Debianized Rust crate "range-traits"
.
660061c
Description-md5: c84f062a2b6309b2b86467c68087ab1e
.
649137a
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"

.
645346,645347c
 Source code for Debianized Rust crate "btree-range-map"
.
645344c
Description-md5: 4df027c57daa9434e9257c811f310b07
.
645242a
Package: librust-bpaf-dev
Description-md5: 077f9966040fdda487e2a4c57b7f3cb2
Description-en: Simple Command Line Argument Parser with parser combinators - Rust source code
 Source code for Debianized Rust crate "bpaf"

.
623531a

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.
.
610704,610707c
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'.
.
610156,610158c
 function of the package is optimParallel(), which has the same usage
 and output as optim(). Using optimParallel() can significantly reduce
 the optimization time.
.
610153,610154c
Description-md5: 0e48313d8992a508ad6b3140600efc64
Description-en: Parallel Version of the L-BFGS-B Optimization Method
.
606947a
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>.

.
500157a
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.

.
498946,498947d
498941c
Description-md5: 096d2352493be91f08a27c0a822fc072
.
491404a
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.

.
447191,447212d
442771,442858d
420235,420238c
Package: linux-image-7.1.7+deb14-rt-arm64
Description-md5: 6834839f375ba5af5b116ff025568ed1
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines, PREEMPT_RT
 The Linux kernel 7.1.7 and modules for use on 64-bit ARMv8 machines.
.
420229,420232c
Package: linux-image-7.1.7+deb14-cloud-arm64
Description-md5: 253db36990010820b5e88af530a834fa
Description-en: Linux 7.1.7 for arm64 cloud
 The Linux kernel 7.1.7 and modules for use on cloud platforms supporting
.
420218,420226c
Package: linux-image-7.1.7+deb14-arm64
Description-md5: 94d87bc417b07d54b121f0b708034087
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines
 The Linux kernel 7.1.7 and modules for use on 64-bit ARMv8 machines.

Package: linux-image-7.1.7+deb14-arm64-16k
Description-md5: fe7e85b52b5946bd31856b6340666f59
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines with 16k pages
 The Linux kernel 7.1.7 and modules for use on 64-bit ARMv8 machines with
.
420192c
 install linux-image-7.1.7+deb14-rt-arm64.
.
420185,420188c
Package: linux-binary-7.1.7+deb14-rt-arm64
Description-md5: a6ed621bb12b1c6862846389d4cf8a46
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines (kernel image)
 This package contains the kernel image for Linux 7.1.7 on 64-bit ARMv8
.
420183c
 install linux-image-7.1.7+deb14-cloud-arm64.
.
420176,420179c
Package: linux-binary-7.1.7+deb14-cloud-arm64
Description-md5: 1121037164905c8529fe5f75b86226d1
Description-en: Linux 7.1.7 for arm64 cloud (kernel image)
 This package contains the kernel image for Linux 7.1.7 on cloud platforms
.
420174c
 install linux-image-7.1.7+deb14-arm64-16k.
.
420167,420170c
Package: linux-binary-7.1.7+deb14-arm64-16k
Description-md5: 33da3c80563acdfa9f46e1b605462b67
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines with 16k pages (kernel image)
 This package contains the kernel image for Linux 7.1.7 on 64-bit ARMv8
.
420165c
 install linux-image-7.1.7+deb14-arm64.
.
420158,420161c
Package: linux-binary-7.1.7+deb14-arm64
Description-md5: 566840c145951ec88cd3ef79c8f996fc
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines (kernel image)
 This package contains the kernel image for Linux 7.1.7 on 64-bit ARMv8
.
420086,420089c
Package: linux-image-7.1.7+deb14-rt-amd64
Description-md5: 54fcac08a869f0c51656035f469db89b
Description-en: Linux 7.1.7 for 64-bit PCs, PREEMPT_RT
 The Linux kernel 7.1.7 and modules for use on PCs with AMD64, Intel 64 or
.
420080,420083c
Package: linux-image-7.1.7+deb14-cloud-amd64
Description-md5: f5836fa7837ba541c9ebea0b22a66146
Description-en: Linux 7.1.7 for x86-64 cloud
 The Linux kernel 7.1.7 and modules for use on cloud platforms including
.
420074,420077c
Package: linux-image-7.1.7+deb14-amd64
Description-md5: e3aa8c1dc7f054184d11cfcaf1cbfe50
Description-en: Linux 7.1.7 for 64-bit PCs
 The Linux kernel 7.1.7 and modules for use on PCs with AMD64, Intel 64 or
.
420054c
 install linux-image-7.1.7+deb14-rt-amd64.
.
420047,420050c
Package: linux-binary-7.1.7+deb14-rt-amd64
Description-md5: 3be09f56207621832d59cdd839cb9f85
Description-en: Linux 7.1.7 for 64-bit PCs (kernel image)
 This package contains the kernel image for Linux 7.1.7 on PCs with AMD64,
.
420045c
 install linux-image-7.1.7+deb14-cloud-amd64.
.
420038,420041c
Package: linux-binary-7.1.7+deb14-cloud-amd64
Description-md5: 458bcc5fb1c8553606131f74c746c21e
Description-en: Linux 7.1.7 for x86-64 cloud (kernel image)
 This package contains the kernel image for Linux 7.1.7 on cloud platforms
.
420036c
 install linux-image-7.1.7+deb14-amd64.
.
420029,420032c
Package: linux-binary-7.1.7+deb14-amd64
Description-md5: 2b4ffaa5da9d74ab9193adb1f2435585
Description-en: Linux 7.1.7 for 64-bit PCs (kernel image)
 This package contains the kernel image for Linux 7.1.7 on PCs with AMD64,
.
419793c
 install linux-image-7.1.7+deb14-s390x.
.
419787,419790c
Package: linux-modules-7.1.7+deb14-s390x
Description-md5: 626a757aa91195749810511b3ab844ee
Description-en: Linux 7.1.7 for IBM zSeries (modules)
 This contains the kernel modules for Linux 7.1.7 on IBM zSeries.
.
419785c
 install linux-image-7.1.7+deb14-rt-arm64.
.
419779,419782c
Package: linux-modules-7.1.7+deb14-rt-arm64
Description-md5: f3a05657f275ea86bf4e69c545e606f6
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines (modules)
 This contains the kernel modules for Linux 7.1.7 on 64-bit ARMv8 machines.
.
419777c
 install linux-image-7.1.7+deb14-rt-amd64.
.
419770,419773c
Package: linux-modules-7.1.7+deb14-rt-amd64
Description-md5: 5bd5551144c5e536514605e5d5251f63
Description-en: Linux 7.1.7 for 64-bit PCs (modules)
 This contains the kernel modules for Linux 7.1.7 on PCs with AMD64, Intel
.
419768c
 install linux-image-7.1.7+deb14-riscv64.
.
419761,419764c
Package: linux-modules-7.1.7+deb14-riscv64
Description-md5: 15fdb7ff6ee97179822a58e14a5871fe
Description-en: Linux 7.1.7 for 64-bit RISC-V platforms (modules)
 This contains the kernel modules for Linux 7.1.7 on 64-bit RISC-V
.
419759c
 install linux-image-7.1.7+deb14-powerpc64le-64k.
.
419752,419755c
Package: linux-modules-7.1.7+deb14-powerpc64le-64k
Description-md5: 420e4a6702a2d673594fe9bb177d8b34
Description-en: Linux 7.1.7 for Little-endian 64-bit PowerPC with 64k pages (modules)
 This contains the kernel modules for Linux 7.1.7 on Little-endian 64-bit
.
419750c
 install linux-image-7.1.7+deb14-powerpc64le.
.
419743,419746c
Package: linux-modules-7.1.7+deb14-powerpc64le
Description-md5: ca6bbb55c4313041d49d47b341cfc47c
Description-en: Linux 7.1.7 for Little-endian 64-bit PowerPC with 4k pages (modules)
 This contains the kernel modules for Linux 7.1.7 on Little-endian 64-bit
.
419741c
 install linux-image-7.1.7+deb14-loong64.
.
419734,419737c
Package: linux-modules-7.1.7+deb14-loong64
Description-md5: aa999b40200d535131b0cde2c86959c3
Description-en: Linux 7.1.7 for 64-bit LoongArch platforms (modules)
 This contains the kernel modules for Linux 7.1.7 on 64-bit LoongArch
.
419732c
 install linux-image-7.1.7+deb14-cloud-arm64.
.
419725,419728c
Package: linux-modules-7.1.7+deb14-cloud-arm64
Description-md5: f8c65b98597d90605be3eb32f8bdc940
Description-en: Linux 7.1.7 for arm64 cloud (modules)
 This contains the kernel modules for Linux 7.1.7 on cloud platforms
.
419723c
 install linux-image-7.1.7+deb14-cloud-amd64.
.
419716,419719c
Package: linux-modules-7.1.7+deb14-cloud-amd64
Description-md5: 8c3ba0cd9c4f3e4f867d2044a9ed5fa4
Description-en: Linux 7.1.7 for x86-64 cloud (modules)
 This contains the kernel modules for Linux 7.1.7 on cloud platforms
.
419714c
 install linux-image-7.1.7+deb14-armmp-lpae.
.
419706,419709c
Package: linux-modules-7.1.7+deb14-armmp-lpae
Description-md5: 302fd39fc735b6d169bd2a93c839810e
Description-en: Linux 7.1.7 for ARMv7 multiplatform compatible SoCs supporting LPAE (modules)
 This contains the kernel modules for Linux 7.1.7 on ARMv7 multiplatform
.
419704c
 install linux-image-7.1.7+deb14-armmp.
.
419696,419699c
Package: linux-modules-7.1.7+deb14-armmp
Description-md5: 5a733d6e2daa6f9a3e716baab79f72c0
Description-en: Linux 7.1.7 for ARMv7 multiplatform compatible SoCs (modules)
 This contains the kernel modules for Linux 7.1.7 on ARMv7 multiplatform
.
419694c
 install linux-image-7.1.7+deb14-arm64-16k.
.
419687,419690c
Package: linux-modules-7.1.7+deb14-arm64-16k
Description-md5: c4bbc4f7db9090ed65cabe64ae77a124
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines with 16k pages (modules)
 This contains the kernel modules for Linux 7.1.7 on 64-bit ARMv8 machines
.
419685c
 install linux-image-7.1.7+deb14-arm64.
.
419679,419682c
Package: linux-modules-7.1.7+deb14-arm64
Description-md5: e5e3c94f0f6b04bd17d0ec8b4919e103
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines (modules)
 This contains the kernel modules for Linux 7.1.7 on 64-bit ARMv8 machines.
.
419677c
 install linux-image-7.1.7+deb14-amd64.
.
419670,419673c
Package: linux-modules-7.1.7+deb14-amd64
Description-md5: 87c5a4f3d90e16dab238cfc8a275d084
Description-en: Linux 7.1.7 for 64-bit PCs (modules)
 This contains the kernel modules for Linux 7.1.7 on PCs with AMD64, Intel
.
419437,419439c
Package: linux-kbuild-7.1.7+deb14
Description-md5: 9e55481fa76aa569a11d910259c94a76
Description-en: Kbuild infrastructure for Linux 7.1.7+deb14
.
419335c
 modules in linux-image-7.1.7+deb14-s390x.
.
419326,419333c
Package: linux-image-7.1.7+deb14-s390x
Description-md5: 619ad5d4b857337febd32c59f23c2d0b
Description-en: Linux 7.1.7 for IBM zSeries
 The Linux kernel 7.1.7 and modules for use on IBM zSeries.

Package: linux-image-7.1.7+deb14-s390x-dbg
Description-md5: c4e50793cc7a194ee14082953c6fc311
Description-en: Linux 7.1.7 for IBM zSeries (debug symbols)
.
419324c
 modules in linux-image-7.1.7+deb14-rt-arm64.
.
419320,419322c
Package: linux-image-7.1.7+deb14-rt-arm64-dbg
Description-md5: 55e287715b8267cd0f8cfc4ca8c45e4a
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines (debug symbols)
.
419318c
 modules in linux-image-7.1.7+deb14-rt-amd64.
.
419314,419316c
Package: linux-image-7.1.7+deb14-rt-amd64-dbg
Description-md5: 510be81f00efbf545fd9310ea7e16424
Description-en: Linux 7.1.7 for 64-bit PCs (debug symbols)
.
419312c
 modules in linux-image-7.1.7+deb14-riscv64.
.
419303,419310c
Package: linux-image-7.1.7+deb14-riscv64
Description-md5: 962b7239d30ad3f6af60d6a23a468dcd
Description-en: Linux 7.1.7 for 64-bit RISC-V platforms
 The Linux kernel 7.1.7 and modules for use on 64-bit RISC-V platforms.

Package: linux-image-7.1.7+deb14-riscv64-dbg
Description-md5: ae77da1b8f4349f43dee45c6bb94da79
Description-en: Linux 7.1.7 for 64-bit RISC-V platforms (debug symbols)
.
419301c
 modules in linux-image-7.1.7+deb14-powerpc64le.
.
419297,419299c
Package: linux-image-7.1.7+deb14-powerpc64le-dbg
Description-md5: 6746d9e171cfcbeea26806754db7ff8c
Description-en: Linux 7.1.7 for Little-endian 64-bit PowerPC with 4k pages (debug symbols)
.
419295c
 modules in linux-image-7.1.7+deb14-powerpc64le-64k.
.
419291,419293c
Package: linux-image-7.1.7+deb14-powerpc64le-64k-dbg
Description-md5: c177128d07a60ad6d684a523b1ce1fb9
Description-en: Linux 7.1.7 for Little-endian 64-bit PowerPC with 64k pages (debug symbols)
.
419285,419288c
Package: linux-image-7.1.7+deb14-powerpc64le-64k
Description-md5: 840ed700884deb5c73b279f869a59d66
Description-en: Linux 7.1.7 for Little-endian 64-bit PowerPC with 64k pages
 The Linux kernel 7.1.7 and modules for use on Little-endian 64-bit PowerPC
.
419279,419282c
Package: linux-image-7.1.7+deb14-powerpc64le
Description-md5: 7d91cdadd7053d73baa002a290bb21ee
Description-en: Linux 7.1.7 for Little-endian 64-bit PowerPC with 4k pages
 The Linux kernel 7.1.7 and modules for use on Little-endian 64-bit PowerPC
.
419277c
 modules in linux-image-7.1.7+deb14-loong64.
.
419268,419275c
Package: linux-image-7.1.7+deb14-loong64
Description-md5: 7cc030c82277dccc10daa556cc6695ad
Description-en: Linux 7.1.7 for 64-bit LoongArch platforms
 The Linux kernel 7.1.7 and modules for use on 64-bit LoongArch platforms.

Package: linux-image-7.1.7+deb14-loong64-dbg
Description-md5: 2327f2bef5c8b51744597266be6c7375
Description-en: Linux 7.1.7 for 64-bit LoongArch platforms (debug symbols)
.
419266c
 modules in linux-image-7.1.7+deb14-cloud-arm64.
.
419262,419264c
Package: linux-image-7.1.7+deb14-cloud-arm64-dbg
Description-md5: b4192a127da0a25b633ff5ef8a6f828a
Description-en: Linux 7.1.7 for arm64 cloud (debug symbols)
.
419260c
 modules in linux-image-7.1.7+deb14-cloud-amd64.
.
419256,419258c
Package: linux-image-7.1.7+deb14-cloud-amd64-dbg
Description-md5: 7c19f9c9bd02fc0d4f903030f5d85a81
Description-en: Linux 7.1.7 for x86-64 cloud (debug symbols)
.
419254c
 modules in linux-image-7.1.7+deb14-armmp-lpae.
.
419250,419252c
Package: linux-image-7.1.7+deb14-armmp-lpae-dbg
Description-md5: 16422e2e9ea1b0f7a82c2642b4175204
Description-en: Linux 7.1.7 for ARMv7 multiplatform compatible SoCs supporting LPAE (debug symbols)
.
419243,419246c
Package: linux-image-7.1.7+deb14-armmp-lpae
Description-md5: 1f96215dfb37c0bee6df6318e0a77ab1
Description-en: Linux 7.1.7 for ARMv7 multiplatform compatible SoCs supporting LPAE
 The Linux kernel 7.1.7 and modules for use on ARMv7 multiplatform kernel
.
419241c
 modules in linux-image-7.1.7+deb14-armmp.
.
419237,419239c
Package: linux-image-7.1.7+deb14-armmp-dbg
Description-md5: 52b282629ec2dbe3b1ad82e3ba91a787
Description-en: Linux 7.1.7 for ARMv7 multiplatform compatible SoCs (debug symbols)
.
419230,419233c
Package: linux-image-7.1.7+deb14-armmp
Description-md5: 00de6e525342f0283dc37df8c3fce120
Description-en: Linux 7.1.7 for ARMv7 multiplatform compatible SoCs
 The Linux kernel 7.1.7 and modules for use on ARMv7 multiplatform kernel.
.
419228c
 modules in linux-image-7.1.7+deb14-arm64.
.
419224,419226c
Package: linux-image-7.1.7+deb14-arm64-dbg
Description-md5: 2b8e6832dc1cdd9eb7003aabc289e953
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines (debug symbols)
.
419222c
 modules in linux-image-7.1.7+deb14-arm64-16k.
.
419218,419220c
Package: linux-image-7.1.7+deb14-arm64-16k-dbg
Description-md5: 0dca3bbd892634badaaec695cbadb8ef
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines with 16k pages (debug symbols)
.
419216c
 modules in linux-image-7.1.7+deb14-amd64.
.
419212,419214c
Package: linux-image-7.1.7+deb14-amd64-dbg
Description-md5: a1e6d265c2662904a3ed2e985835ac80
Description-en: Linux 7.1.7 for 64-bit PCs (debug symbols)
.
419168c
 linux-image-7.1.7+deb14-s390x package.
.
419166c
 /usr/src/linux-headers-7.1.7+deb14-s390x, and can be used for building
.
419164c
 Linux kernel 7.1.7+deb14-s390x, generally used for building out-of-tree
.
419160,419162c
Package: linux-headers-7.1.7+deb14-s390x
Description-md5: 16535bfeae40c278610fd41b0a68fcc0
Description-en: Linux 7.1.7 for IBM zSeries (module development)
.
419158c
 linux-image-7.1.7+deb14-rt-arm64 package.
.
419156c
 /usr/src/linux-headers-7.1.7+deb14-rt-arm64, and can be used for building
.
419154c
 Linux kernel 7.1.7+deb14-rt-arm64, generally used for building out-of-tree
.
419150,419152c
Package: linux-headers-7.1.7+deb14-rt-arm64
Description-md5: a8a61d6cf884907f4548192de4e9cd43
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines (module development)
.
419148c
 linux-image-7.1.7+deb14-rt-amd64 package.
.
419146c
 /usr/src/linux-headers-7.1.7+deb14-rt-amd64, and can be used for building
.
419144c
 Linux kernel 7.1.7+deb14-rt-amd64, generally used for building out-of-tree
.
419140,419142c
Package: linux-headers-7.1.7+deb14-rt-amd64
Description-md5: 282624a29b27b1c7989be12608ec2075
Description-en: Linux 7.1.7 for 64-bit PCs (module development)
.
419138c
 linux-image-7.1.7+deb14-riscv64 package.
.
419136c
 /usr/src/linux-headers-7.1.7+deb14-riscv64, and can be used for building
.
419134c
 Linux kernel 7.1.7+deb14-riscv64, generally used for building out-of-tree
.
419130,419132c
Package: linux-headers-7.1.7+deb14-riscv64
Description-md5: ad8978420a7cd330e233de74615666b6
Description-en: Linux 7.1.7 for 64-bit RISC-V platforms (module development)
.
419128c
 linux-image-7.1.7+deb14-powerpc64le-64k package.
.
419126c
 /usr/src/linux-headers-7.1.7+deb14-powerpc64le-64k, and can be used for
.
419124c
 Linux kernel 7.1.7+deb14-powerpc64le-64k, generally used for building
.
419120,419122c
Package: linux-headers-7.1.7+deb14-powerpc64le-64k
Description-md5: f60326b0ebbc01c1570217c1613cbde6
Description-en: Linux 7.1.7 for Little-endian 64-bit PowerPC with 64k pages (module development)
.
419118c
 linux-image-7.1.7+deb14-powerpc64le package.
.
419116c
 /usr/src/linux-headers-7.1.7+deb14-powerpc64le, and can be used for
.
419114c
 Linux kernel 7.1.7+deb14-powerpc64le, generally used for building
.
419110,419112c
Package: linux-headers-7.1.7+deb14-powerpc64le
Description-md5: 62b05e613f6e41d41b7f5c9b398dae97
Description-en: Linux 7.1.7 for Little-endian 64-bit PowerPC with 4k pages (module development)
.
419108c
 linux-image-7.1.7+deb14-loong64 package.
.
419106c
 /usr/src/linux-headers-7.1.7+deb14-loong64, and can be used for building
.
419104c
 Linux kernel 7.1.7+deb14-loong64, generally used for building out-of-tree
.
419100,419102c
Package: linux-headers-7.1.7+deb14-loong64
Description-md5: 47ddd442bcf249d64934dad344730a6e
Description-en: Linux 7.1.7 for 64-bit LoongArch platforms (module development)
.
419097c
 linux-headers-7.1.7+deb14-(flavour) package, matching the flavour of the
.
419094c
 /usr/src/linux-headers-7.1.7+deb14-common.
.
419092c
 version 7.1.7+deb14, generally used for building out-of-tree kernel
.
419088,419090c
Package: linux-headers-7.1.7+deb14-common
Description-md5: 1f66bc4447ae8040a5dcc65f9443083c
Description-en: Common header files for Linux 7.1.7+deb14
.
419086c
 linux-image-7.1.7+deb14-cloud-arm64 package.
.
419084c
 /usr/src/linux-headers-7.1.7+deb14-cloud-arm64, and can be used for
.
419082c
 Linux kernel 7.1.7+deb14-cloud-arm64, generally used for building
.
419078,419080c
Package: linux-headers-7.1.7+deb14-cloud-arm64
Description-md5: 8f6445de8156489319da293a8cf43811
Description-en: Linux 7.1.7 for arm64 cloud (module development)
.
419076c
 linux-image-7.1.7+deb14-cloud-amd64 package.
.
419074c
 /usr/src/linux-headers-7.1.7+deb14-cloud-amd64, and can be used for
.
419072c
 Linux kernel 7.1.7+deb14-cloud-amd64, generally used for building
.
419068,419070c
Package: linux-headers-7.1.7+deb14-cloud-amd64
Description-md5: e22d1e77aa05933bfca23acf670ddc28
Description-en: Linux 7.1.7 for x86-64 cloud (module development)
.
419066c
 linux-image-7.1.7+deb14-armmp-lpae package.
.
419064c
 /usr/src/linux-headers-7.1.7+deb14-armmp-lpae, and can be used for
.
419062c
 Linux kernel 7.1.7+deb14-armmp-lpae, generally used for building
.
419058,419060c
Package: linux-headers-7.1.7+deb14-armmp-lpae
Description-md5: 464b8b209d73178866ffb1c511002048
Description-en: Linux 7.1.7 for ARMv7 multiplatform compatible SoCs supporting LPAE (module development)
.
419056c
 linux-image-7.1.7+deb14-armmp package.
.
419054c
 /usr/src/linux-headers-7.1.7+deb14-armmp, and can be used for building
.
419052c
 Linux kernel 7.1.7+deb14-armmp, generally used for building out-of-tree
.
419048,419050c
Package: linux-headers-7.1.7+deb14-armmp
Description-md5: dab948284346234edb9348ddc91d5f23
Description-en: Linux 7.1.7 for ARMv7 multiplatform compatible SoCs (module development)
.
419046c
 linux-image-7.1.7+deb14-arm64-16k package.
.
419044c
 /usr/src/linux-headers-7.1.7+deb14-arm64-16k, and can be used for building
.
419042c
 Linux kernel 7.1.7+deb14-arm64-16k, generally used for building
.
419038,419040c
Package: linux-headers-7.1.7+deb14-arm64-16k
Description-md5: 51051f951c2c435c0a09d02f431d9e4d
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines with 16k pages (module development)
.
419036c
 linux-image-7.1.7+deb14-arm64 package.
.
419034c
 /usr/src/linux-headers-7.1.7+deb14-arm64, and can be used for building
.
419032c
 Linux kernel 7.1.7+deb14-arm64, generally used for building out-of-tree
.
419028,419030c
Package: linux-headers-7.1.7+deb14-arm64
Description-md5: 52d7dc4417fc3e1133f5f0a35bdaf766
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines (module development)
.
419026c
 linux-image-7.1.7+deb14-amd64 package.
.
419024c
 /usr/src/linux-headers-7.1.7+deb14-amd64, and can be used for building
.
419022c
 Linux kernel 7.1.7+deb14-amd64, generally used for building out-of-tree
.
419018,419020c
Package: linux-headers-7.1.7+deb14-amd64
Description-md5: c3b958e1bb8ef53b1c9b73f0e38cf908
Description-en: Linux 7.1.7 for 64-bit PCs (module development)
.
418960c
 install linux-image-7.1.7+deb14-rt-arm64.
.
418953,418956c
Package: linux-binary-unsigned-7.1.7+deb14-rt-arm64
Description-md5: 873078f0ee8ae07a05cce2ce29d30029
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines (unsigned kernel image)
 This package contains the unsigned kernel image for Linux 7.1.7 on 64-bit
.
418951c
 install linux-image-7.1.7+deb14-rt-amd64.
.
418944,418947c
Package: linux-binary-unsigned-7.1.7+deb14-rt-amd64
Description-md5: f1bb7a728436b0de562c2fc06c2e6b5e
Description-en: Linux 7.1.7 for 64-bit PCs (unsigned kernel image)
 This package contains the unsigned kernel image for Linux 7.1.7 on PCs
.
418942c
 install linux-image-7.1.7+deb14-cloud-arm64.
.
418935,418938c
Package: linux-binary-unsigned-7.1.7+deb14-cloud-arm64
Description-md5: 83a92165258506e0bb61b97927e49840
Description-en: Linux 7.1.7 for arm64 cloud (unsigned kernel image)
 This package contains the unsigned kernel image for Linux 7.1.7 on cloud
.
418933c
 install linux-image-7.1.7+deb14-cloud-amd64.
.
418925,418928c
Package: linux-binary-unsigned-7.1.7+deb14-cloud-amd64
Description-md5: 96b895b8d1fe798aab1824a5ff1e0be1
Description-en: Linux 7.1.7 for x86-64 cloud (unsigned kernel image)
 This package contains the unsigned kernel image for Linux 7.1.7 on cloud
.
418923c
 install linux-image-7.1.7+deb14-arm64-16k.
.
418916,418919c
Package: linux-binary-unsigned-7.1.7+deb14-arm64-16k
Description-md5: 4c1ce5b92476215e0bf18caf8cfd2714
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines with 16k pages (unsigned kernel image)
 This package contains the unsigned kernel image for Linux 7.1.7 on 64-bit
.
418914c
 install linux-image-7.1.7+deb14-arm64.
.
418907,418910c
Package: linux-binary-unsigned-7.1.7+deb14-arm64
Description-md5: 110f1079841d1151ee9a3a751e83731c
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines (unsigned kernel image)
 This package contains the unsigned kernel image for Linux 7.1.7 on 64-bit
.
418905c
 install linux-image-7.1.7+deb14-amd64.
.
418898,418901c
Package: linux-binary-unsigned-7.1.7+deb14-amd64
Description-md5: e0381f274fe65e242584b27dedcd8753
Description-en: Linux 7.1.7 for 64-bit PCs (unsigned kernel image)
 This package contains the unsigned kernel image for Linux 7.1.7 on PCs
.
418896c
 install linux-image-7.1.7+deb14-s390x.
.
418890,418893c
Package: linux-binary-7.1.7+deb14-s390x
Description-md5: 667126bd5e9e8223c8bf03c531eafb61
Description-en: Linux 7.1.7 for IBM zSeries (kernel image)
 This package contains the kernel image for Linux 7.1.7 on IBM zSeries.
.
418888c
 install linux-image-7.1.7+deb14-riscv64.
.
418881,418884c
Package: linux-binary-7.1.7+deb14-riscv64
Description-md5: 25a22b8c0cd5b809ce6fddce899a9c22
Description-en: Linux 7.1.7 for 64-bit RISC-V platforms (kernel image)
 This package contains the kernel image for Linux 7.1.7 on 64-bit RISC-V
.
418879c
 install linux-image-7.1.7+deb14-powerpc64le-64k.
.
418872,418875c
Package: linux-binary-7.1.7+deb14-powerpc64le-64k
Description-md5: 11a1c0caf8de79cd4d9f764e6ecc59e9
Description-en: Linux 7.1.7 for Little-endian 64-bit PowerPC with 64k pages (kernel image)
 This package contains the kernel image for Linux 7.1.7 on Little-endian
.
418870c
 install linux-image-7.1.7+deb14-powerpc64le.
.
418863,418866c
Package: linux-binary-7.1.7+deb14-powerpc64le
Description-md5: fc83987da7024151ac996f42e531edfc
Description-en: Linux 7.1.7 for Little-endian 64-bit PowerPC with 4k pages (kernel image)
 This package contains the kernel image for Linux 7.1.7 on Little-endian
.
418861c
 install linux-image-7.1.7+deb14-loong64.
.
418854,418857c
Package: linux-binary-7.1.7+deb14-loong64
Description-md5: f52baf08f9d8d228a54139bee4192dc5
Description-en: Linux 7.1.7 for 64-bit LoongArch platforms (kernel image)
 This package contains the kernel image for Linux 7.1.7 on 64-bit LoongArch
.
418852c
 install linux-image-7.1.7+deb14-armmp-lpae.
.
418843,418846c
Package: linux-binary-7.1.7+deb14-armmp-lpae
Description-md5: 63c9987b94951be5859586d42d6e5b43
Description-en: Linux 7.1.7 for ARMv7 multiplatform compatible SoCs supporting LPAE (kernel image)
 This package contains the kernel image for Linux 7.1.7 on ARMv7
.
418841c
 install linux-image-7.1.7+deb14-armmp.
.
418833,418836c
Package: linux-binary-7.1.7+deb14-armmp
Description-md5: 57fea4c3622d4b545aed8c814b89d1fe
Description-en: Linux 7.1.7 for ARMv7 multiplatform compatible SoCs (kernel image)
 This package contains the kernel image for Linux 7.1.7 on ARMv7
.
418778,418781c
Package: linux-base-7.1.7+deb14-s390x
Description-md5: 77ef99e358418bd895d4fce52c0bd445
Description-en: Linux 7.1.7 for IBM zSeries (base files)
 This package contains files for Linux 7.1.7 on IBM zSeries that are used
.
418772,418775c
Package: linux-base-7.1.7+deb14-rt-arm64
Description-md5: f9e6df492dd9ec22fc2f8ae63449ceef
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines (base files)
 This package contains files for Linux 7.1.7 on 64-bit ARMv8 machines that
.
418765,418768c
Package: linux-base-7.1.7+deb14-rt-amd64
Description-md5: 4e96c9b0e4446550c38580680160c4b0
Description-en: Linux 7.1.7 for 64-bit PCs (base files)
 This package contains files for Linux 7.1.7 on PCs with AMD64, Intel 64 or
.
418758,418761c
Package: linux-base-7.1.7+deb14-riscv64
Description-md5: 80d2ddcbcfcb2b29e011794798a77fc9
Description-en: Linux 7.1.7 for 64-bit RISC-V platforms (base files)
 This package contains files for Linux 7.1.7 on 64-bit RISC-V platforms
.
418751,418754c
Package: linux-base-7.1.7+deb14-powerpc64le-64k
Description-md5: 854b4ea08dd809142e65036544d7cefe
Description-en: Linux 7.1.7 for Little-endian 64-bit PowerPC with 64k pages (base files)
 This package contains files for Linux 7.1.7 on Little-endian 64-bit
.
418744,418747c
Package: linux-base-7.1.7+deb14-powerpc64le
Description-md5: e82a64a3d7c273611467c67e9e837152
Description-en: Linux 7.1.7 for Little-endian 64-bit PowerPC with 4k pages (base files)
 This package contains files for Linux 7.1.7 on Little-endian 64-bit
.
418737,418740c
Package: linux-base-7.1.7+deb14-loong64
Description-md5: e9376aaf5a1c8b7a7e2cf69a6ac6923d
Description-en: Linux 7.1.7 for 64-bit LoongArch platforms (base files)
 This package contains files for Linux 7.1.7 on 64-bit LoongArch platforms
.
418730,418733c
Package: linux-base-7.1.7+deb14-cloud-arm64
Description-md5: a4671a2369d4f813d91ecddd6e3a08b1
Description-en: Linux 7.1.7 for arm64 cloud (base files)
 This package contains files for Linux 7.1.7 on cloud platforms supporting
.
418723,418726c
Package: linux-base-7.1.7+deb14-cloud-amd64
Description-md5: 10054cde8422f8ffe73ec2513094fe37
Description-en: Linux 7.1.7 for x86-64 cloud (base files)
 This package contains files for Linux 7.1.7 on cloud platforms including
.
418715,418718c
Package: linux-base-7.1.7+deb14-armmp-lpae
Description-md5: 32cd68d905b8cbd1684f6412878d5ae4
Description-en: Linux 7.1.7 for ARMv7 multiplatform compatible SoCs supporting LPAE (base files)
 This package contains files for Linux 7.1.7 on ARMv7 multiplatform kernel
.
418707,418710c
Package: linux-base-7.1.7+deb14-armmp
Description-md5: 1be91f75e0913a156455a56f2457359a
Description-en: Linux 7.1.7 for ARMv7 multiplatform compatible SoCs (base files)
 This package contains files for Linux 7.1.7 on ARMv7 multiplatform kernel.
.
418700,418703c
Package: linux-base-7.1.7+deb14-arm64-16k
Description-md5: 8ca342fb1fb9f5b23f6ba346681eb8dc
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines with 16k pages (base files)
 This package contains files for Linux 7.1.7 on 64-bit ARMv8 machines with
.
418694,418697c
Package: linux-base-7.1.7+deb14-arm64
Description-md5: f9e6df492dd9ec22fc2f8ae63449ceef
Description-en: Linux 7.1.7 for 64-bit ARMv8 machines (base files)
 This package contains files for Linux 7.1.7 on 64-bit ARMv8 machines that
.
418687,418690c
Package: linux-base-7.1.7+deb14-amd64
Description-md5: 4e96c9b0e4446550c38580680160c4b0
Description-en: Linux 7.1.7 for 64-bit PCs (base files)
 This package contains files for Linux 7.1.7 on PCs with AMD64, Intel 64 or
.
377601,377606c
Package: libosmocc3
Description-md5: 07dfd15451978c1e60ffdd1851900d6e
Description-en: Libosmo-cc library
 Libosmo-cc contains required libraries for Osmocom Call Control
 and is currently used in osmocom-analog.

.
306247,306257d
272339,272347d
268228c
Package: libhdf5-openmpi-hl-fortran-320
.
268214c
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
.
268194c
Package: libhdf5-openmpi-fortran-320
.
268171c
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
.
268150c
Package: libhdf5-mpich-hl-fortran-320
.
268136c
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
.
268116c
Package: libhdf5-mpich-fortran-320
.
268092c
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
.
268046c
Package: libhdf5-hl-fortran-320
.
268035c
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
.
268015c
Package: libhdf5-fortran-320
.
267994a
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.

.
267984a
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.

.
212152a
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.

.
195213a
Package: golang-github-go-enry-go-enry-dev
Description-md5: aa2bb98c9b59cacbca8332ec24a81145
Description-en: Faster file programming language detector (library)
 Programming language detector and toolbox to ignore binary or vendored
 files. *enry*, started as a port to *Go* of the original Linguist
 (https://github.com/github/linguist) *Ruby* library, that has an
 improved *2x performance*.

.
136793,136859d
127293,127356d
117042c
 This package contains 6 fonts that were used in a RedHat
.
117040c
Description-md5: 80e44ae30c800801f5e8497dcbd9f6ca
.
98094a
Package: ericw-tools
Description-md5: 1ad9e6174135c17b87fcd170551271a7
Description-en: Quake/Hexen2 map compiling tools
 ericw-tools is collection of command line utilities for building
 Quake levels and working with various Quake file formats.
 It is a fork of the once popular TyrUtils collection.
 Comparing to other alternatives, focus is on adding lighting features.
 Included utilities:
  * qbsp - turn a .map file into a playable .bsp file
  * light - used for lighting a level after the bsp stage
  * vis - creates the potentially visible set (PVS) for a bsp
  * bspinfo - print stats about the data contained in a bsp file
  * bsputil - tool for manipulation of bsp file data

.
95602a
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.

.
76707,76726d
76189c
 To run the included dillo-install-hyphenation script, the recommended
.
76183,76184c
 and small footprint. It is based on the Fast and Light Toolkit (FLTK).
.
76180c
Description-md5: 2fe5a324f3cd74e1167b8a96fa1bef8a
.
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
.
