832941,832950d
824102,824110d
805617,805672d
799533,799546d
762464a
Package: systemd-imds
Description-md5: e7165ef297413d2ba4360c89685943a2
Description-en: Provides IMDS utilities and units
 Utilities and units that provide IMDS (Instance Metadata Service)
 functionality and support in systemd, including boot services and
 generators. Cloud providers offer information about virtual machines
 by IMDS.

.
745267a

Package: golang-github-showwin-speedtest-go-dev
Description-md5: fde2ad4030ba4ed6ddc96bcf6b3fbfdd
Description-en: CLI and Go API to Test Internet Speed using speedtest.net (library)
 speedtest-go
 .
 **Full-featured Command Line Interface and pure **Go API** to Test
 Internet Speed using **speedtest.net (http://www.speedtest.net/).
 .
 This package contains the Go library.

Package: speedtest-go
Description-md5: ecfd209f7372905463882b7714882ccb
Description-en: CLI and Go API to Test Internet Speed using speedtest.net (program)
 speedtest-go
 .
 **Full-featured Command Line Interface and pure **Go API** to Test
 Internet Speed using **speedtest.net (http://www.speedtest.net/).
 .
 This package contains the binaries.
.
734042,734064d
722215,722218c
Description-md5: 386e645c134d4e5bec7a64825e58f615
Description-en: Derive macro for nvml-wrapper, not for general use - Rust source code
 Source code for Debianized Rust crate "wrapcenum-derive"
.
719955a
Package: librust-tokio-retry-dev
Description-md5: 90c5767183b9b060297587135584464e
Description-en: Extensible, asynchronous retry behaviours for futures/tokio - Rust source code
 Source code for Debianized Rust crate "tokio-retry"

.
719260a
Package: librust-task-local-dev
Description-md5: 4ca4ffc295927fb1cf73d16839ea2f41
Description-en: Task-local storage for asynchronous tasks - Rust source code
 Source code for Debianized Rust crate "task-local"

.
717017a

Package: librust-serde-stacker-dev
Description-md5: 0efde9a62dc63437a19e8b580beefe94
Description-en: Serde adapter that avoids stack overflow by dynamically growing the stack - Rust source code
 Source code for Debianized Rust crate "serde_stacker"
.
716998a
Package: librust-serde-regex-dev
Description-md5: e4ea75ea079b7f472bc8039c0c8bcd23
Description-en: Serde wrapper that (de)serializes regex as string - Rust source code
 Source code for Debianized Rust crate "serde_regex"

.
716870,716871c
 Source code for Debianized Rust crate "serde_bytes"
.
716868c
Description-md5: 868fffd5cc6f533646cea3547780eb95
.
715903,715904c
Description-md5: c6ae99d35e0502580376e930dccc2d46
Description-en: Python language parser for Python3 - Rust source code
.
715882,715885c
Description-md5: 074a7b5904bb64164c385ec835a51745
Description-en: AST definitions for RustPython - Rust source code
 Source code for Debianized Rust crate "rustpython-ast"
.
715291a

Package: librust-roundlet-dev
Description-md5: 469800c9c54e16492c0f01be8f28d211
Description-en: Helper functions for Rust programs developed at Ringlet - Rust source code
 Source code for Debianized Rust crate "roundlet"
.
713112a
Package: librust-precomputed-map-dev
Description-md5: 5f1b762b666c8095a5cc80bb45c63f5f
Description-en: Precomputed a Map to embed in binary - Rust source code
 Source code for Debianized Rust crate "precomputed-map"

.
712977,712978c
 Source code for Debianized Rust crate "poly1305"

Package: librust-poly1305-0.8-dev
Description-md5: 32262f10c46f1ba57b4b3155a1355b0e
Description-en: Poly1305 universal hash function and message authentication code - Rust source code
 Source code for Debianized Rust crate "poly1305"
.
712975c
Description-md5: 32262f10c46f1ba57b4b3155a1355b0e
.
711847,711849c
Description-md5: b90d4d55b04ee91d2e75e3fced38a7ca
Description-en: Pure Rust implementation of the NIST P-521 (a.k.a - Rust source code
 secp521r1) elliptic curve as defined in SP 800-186, with support for ECDH,
 ECDSA signing/verification, and general purpose curve arithmetic
.
711355a
Package: librust-nutype-dev
Description-md5: 7b1232fc41da62481b40b27d88bf6a53
Description-en: Newtype with guarantees - Rust source code
 Source code for Debianized Rust crate "nutype"

Package: librust-nutype-macros-dev
Description-md5: 329d82703475d85af6f8dbb4102c2d93
Description-en: Newtype with guarantees - Rust source code
 Source code for Debianized Rust crate "nutype_macros"

.
708406a
Package: librust-kinded-dev
Description-md5: b31e9d18960b5e38a361d5c622ed04b6
Description-en: Generate enums with same variants, but without data - Rust source code
 Source code for Debianized Rust crate "kinded"

Package: librust-kinded-macros-dev
Description-md5: e143684b9d780aba3999ac4e5190f429
Description-en: Generate enums with same variants, but without data - Rust source code
 Source code for Debianized Rust crate "kinded_macros"

.
707231a
Package: librust-imago-dev
Description-md5: c468330ff19eccf6cf01f67132fdabfa
Description-en: Accessing virtual machine disk images - Rust source code
 Source code for Debianized Rust crate "imago"

.
703126,703142c
Description-md5: 5289c2100ade6c41b607bdfa5e7a663c
Description-en: Generic Ed25519 signature algorithm - Rust source code
 Source code for Debianized Rust crate "ed25519"
.
703106,703109c
Description-md5: 195e8bae1703fa343b1f486c0211b1b8
Description-en: Elliptic Curve Digital Signature Algorithm (ECDSA) - Rust source code
 Source code for Debianized Rust crate "ecdsa"

.
702973a
Package: librust-dsa-0.6-dev
Description-md5: 1fda65106a253a6b8608740c8dc648d3
Description-en: Pure Rust implementation of DSA - Rust source code
 Source code for Debianized Rust crate "dsa"

.
701836,701845d
699049,699050c
 Source code for Debianized Rust crate "blowfish"

Package: librust-blowfish-0.9-dev
Description-md5: 23fda656c8231cc97ed7b2431cd0593e
Description-en: Blowfish block cipher - Rust source code
 Source code for Debianized Rust crate "blowfish"
.
699047c
Description-md5: 23fda656c8231cc97ed7b2431cd0593e
.
697558,697563d
697525,697530d
696934,696943c
Description-md5: 540a18612a2ab42b535a3316c4ad6ffd
Description-en: Macros for Actix system and runtime - Rust source code
 Source code for Debianized Rust crate "actix-macros"

Package: librust-actix-multipart-dev
Description-md5: a52d16be6ccb06ffeb1640dffa16799e
Description-en: Multipart request & form support for Actix Web - Rust source code
 Source code for Debianized Rust crate "actix-multipart"

.
696918,696922c
Description-md5: 67a2ac40a8cab0e7ccb639059873da59
Description-en: Derive macros for `actix` actors - Rust source code
 Source code for Debianized Rust crate "actix_derive"

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

.
650611,650685d
646410,646455d
629882c
 replace custom code for displaying tabular data in ReproMan and
.
629878c
Description-md5: 4ae753242a64fe0907306e48b9d1aa66
.
615972c
     Pinpoints the exact location of the error, variable values at the time
.
615956c
 and context of the error, including the values of relevant variables.
.
615950c
Description-md5: 0c818496829a8ff63605d3457f0e1628
.
605393a
Package: python-asyncvarlink-doc
Description-md5: b5979d4ebddf1ffc995a5da22b9d626b
Description-en: Python asyncio-compatible, type-driven varlink implementation (docs)
 This is a pure Python implementation of the varlink IPC protocol based on
 asyncio. The main differences to the reference implementation are:
 .
  * Usage of asyncio instead of synchronous threading
  * Where the reference implementation parses a varlink interface description
    as a source of truth, this implementation derives a varlink interface
    description from a typed Python class to describe an interface.
  * Even though the varlink faq explicitly renders passing file descriptors out
    of scope, systemd uses it and it is an important feature also implemented
    here.
 .
 This package contains the documentation.

Package: python3-asyncvarlink
Description-md5: 7d2411a5d6ce2661a6bca3f24eea0dd9
Description-en: Python asyncio-compatible, type-driven varlink implementation
 This is a pure Python implementation of the varlink IPC protocol based on
 asyncio. The main differences to the reference implementation are:
 .
  * Usage of asyncio instead of synchronous threading
  * Where the reference implementation parses a varlink interface description
    as a source of truth, this implementation derives a varlink interface
    description from a typed Python class to describe an interface.
  * Even though the varlink faq explicitly renders passing file descriptors out
    of scope, systemd uses it and it is an important feature also implemented
    here.
 .
 This package contains the Python 3.x module.

.
587720,587734c
 There's also a rich ecosystem of third-party Projectile extensions
 that add even more features.
.
587712,587718c
 Projectile is a project interaction library for Emacs.
 It provides a powerful set of features operating at the project
 level, as well as simple heuristics to identify projects.
 .
 Here are some of Projectile's essential features:
 .
  * jump to a file in a project, ranked by frecency (how recently and
    often you visit it)
  * jump to a project buffer
  * jump to a test in a project
  * find a file of a given kind and jump between related files (e.g. a
    Rails model and its controller)
  * toggle between files with the same name but different extensions
    (e.g. `.h` <-> `.c/.cpp`, `Gemfile` <-> `Gemfile.lock`)
  * toggle between code and its test (e.g. `main.service.js` <->
    `main.service.spec.js`)
  * jump to recently visited files in the project
  * switch between projects you have worked on
  * per-project sessions with tab-bar workspaces (restore each
    project's window layout and buffers, even across restarts)
  * kill (close) all project buffers
  * search a project (grep/ripgrep, plus a native reviewable results
    UI)
  * replace in a project, with a reviewable before/after preview
  * find references in a project (using `xref` internally)
  * run project commands and custom tasks (build/test/run, `make`,
    `lein`, and your own named tasks)
  * run the test at point (tree-sitter, Emacs 29+)
  * works with any `completing-read`-based completion UI (Vertico,
    Consult, Fido, Ido, etc.)
  * automatic project discovery (see `projectile-project-search-path`)
  * integration with the built-in `project.el` library
.
587710c
Description-md5: 86ab157bad1e120b01297766e3791219
.
583748,583761d
564260a
Package: perl-modules-5.42
Description-md5: 6fa77491447a77e3fc5749182dc51a68
Description-en: Core Perl modules
 Architecture independent Perl modules.  These modules are part of Perl and
 required if the `perl' package is installed.
 .
 Note that this package only exists to save archive space and should be
 considered an internal implementation detail of the `perl' package.
 Other packages should not depend on `perl-modules-5.42' directly, they
 should use `perl' (which depends on `perl-modules-5.42') instead.

.
564221,564229c
Description-md5: 7001a47831793bcacf36015bf62a108f
Description-en: minimal Perl system
 Perl is a scripting language used in many system scripts and utilities.
 .
 This package provides a Perl interpreter and the small subset of the
 standard run-time library required to perform basic tasks. For a full
 Perl installation, install "perl" (and its dependencies, "perl-modules-5.42"
 and "perl-doc").

.
564204a
Package: libperl5.42
Description-md5: 0b35291f310829d8e9601ace1d9bac34
Description-en: shared Perl library
 This package contains the shared Perl library, used by applications
 which embed a Perl interpreter.
 .
 It also contains the architecture-dependent parts of the standard
 library (and depends on perl-modules-5.42 which contains the
 architecture-independent parts).

.
556259,556269d
545606a
Package: openjdk-17-jre
Description-md5: 5bad8f597e182fdf0635f3b9fccbce1a
Description-en: OpenJDK Java runtime, using Hotspot Zero
 Full Java runtime environment - needed for executing Java GUI and Webstart
 programs, using Hotspot Zero.

Package: openjdk-17-jre-headless
Description-md5: 125494d786a73a442968635c3a21c714
Description-en: OpenJDK Java runtime, using Hotspot Zero (headless)
 Minimal Java runtime - needed for executing non GUI Java programs,
 using Hotspot Zero.

.
519843a
Package: node-pixl-server-api
Description-md5: 10364aa2fa1a8586d8bfa74d862d75c6
Description-en: JSON REST API component for Node.js pixl-server
 This module is a component for use in pixl-server. It implements a simple
 JSON REST API framework, and is built atop the pixl-server-web component.
 You can use this to define your own API methods or API classes, which are
 invoked based on a URL pattern such as /api/NAME or /api/CLASS/NAME. The
 base URI is configurable.
 .
 Node.js is an event-based server-side JavaScript engine.

.
518365a
Package: node-mui-material
Description-md5: 8ca340969dd6cf04c3a4394c1540c48d
Description-en: Material Design components for node-react
 Material UI is an open-source React component library that implements
 Google's Material Design. It provides a comprehensive suite of ready-to-use
 UI components — inputs, navigation, layout, feedback, data display and more —
 that are accessible, themeable and production-ready.
 .
 This package ships @mui/material together with its in-tree runtime
 dependencies (@mui/system, @mui/utils, @mui/types, @mui/private-theming,
 @mui/styled-engine and @mui/core-downloads-tracker).

.
511317a
 This package include also fork ts-dedent.
 .
.
511307c
Description-md5: 7037d41917ede438c3d06d60ad6dc868
.
496461,496554d
496436c
Package: mysql-client-core
.
496432,496434d
496417,496427c
Description-md5: b1cd8c7e9853bfd0973f66f22738c484
Description-en: MySQL database client
.
496406c
Package: libmysqlclient24
.
482983,482988c
Description-md5: f27a0a9a595d6ff508de9148960d6e6f
Description-en: map generator from luanti worlds
 This command-line tool will get a luanti world directory
 and generate an image map, to be used either as a better
 guide than the internal minimap, or to advertise a server.
 .
 Luanti is a voxel game creation platform, formerly known
 as minetest.

.
482834c
 Luanti is a voxel game creation platform, formerly known
 as minetest.
.
482829,482832c
Description-md5: a6520d9e1767a0b4115aaeaa39bbbc5e
Description-en: Luandi mod - Lucky Block to the game
 This luanti module for the minetest game provides a new block,
 which when broken can give the player something good, surprising,
 bad, hurtful or simply a troll.
.
470627c
 This is the Community Edition of manim, which is a better maintained fork of
.
470621c
Description-md5: 8ab45e195429e152c0367d4ccb50898d
.
460993a

Package: lomiri-keyboard-georgian
Description-md5: 11e14cac2174aa930d3ea34a53b52648
Description-en: Lomiri on-screen keyboard data files - Georgian
 Data files for the Lomiri virtual keyboard - Georgian
.
460966a
Package: lomiri-keyboard-english-colemak
Description-md5: 0ee0363587732501d43b195990103f61
Description-en: Lomiri on-screen keyboard data files - English Colemak
 Data files for the Lomiri virtual keyboard - English Colemak

.
453267,453274d
453214,453249d
453176,453195d
452585,452595d
452527,452572d
452489,452514d
452183,452192d
452123,452162d
452071,452090d
451402,451466d
451250,451255d
451209,451236d
451179,451194d
441626a
Package: libvmod-objvar
Description-md5: f7d5a6c167bd638f5c1340869df8c75e
Description-en: Scoped variables for Vinyl Cache
 Vinyl Cache Module (VMOD) implementing a scoped variable interface
 using the VCL object model.

.
414051,414057c
Description-md5: 414915c0fccc93ecfaea0577b6aea0fa
Description-en: Perl interface to POSIX.1-2008 and beyond
 POSIX::2008 provides many of the interfaces specified by POSIX.1-2008 and
 later that the core POSIX module withholds, implements in Perl or messed up.
 .
 It also ships a number of nonstandard interfaces and constants present in
 Linux, BSD and Solaris that are extensions of POSIX.

.
375010,375017c
Description-md5: d31d1266ddc0c41ea236e12aed629ae5
Description-en: library for generating and verifying FIDO 2.0 objects -- documentation
 A library for communicating with a FIDO device over USB or NFC, and for
 verifying attestation and assertion signatures. FIDO U2F (CTAP 1) and FIDO
 2.0 (CTAP 2) are supported.
 .
 This package contains the library's documentation (manpages & HTML) and
 some examples.

.
374986,374990c
Description-md5: e4886bc38ef273a6cef0a6b5476f8eb0
Description-en: command-line tools to configure and use a FIDO 2 token
 A set of tools to manage a FIDO 2 token, generate credentials and
 assertions, and verify them.
 .
 This package contains the fido2-* command-line tools including
 fido2-assert, fido2-cred, and fido2-token.

.
361957a
Package: libcommons-fileupload2-java
Description-md5: d5117f9b37e17f160feacffbb119df33
Description-en: file upload capability to your servlets and web applications
 The Commons FileUpload package makes it easy to add robust, high-performance,
 file upload capability to your servlets and web applications.
 .
 FileUpload parses HTTP requests which conform to RFC 1867, "Form-based File
 Upload in HTML". That is, if an HTTP request is submitted using the POST
 method, and with a content type of "multipart/form-data", then FileUpload
 can parse that request, and make the results available in a manner easily
 used by the caller.

Package: libcommons-fileupload2-java-doc
Description-md5: fef1ad20a0e05fc65d99f9a86ecf30d9
Description-en: file upload capability to your servlets and web applications - doc
 FileUpload 2 parses HTTP requests which conform to RFC 1867, "Form-based File
 Upload in HTML". That is, if an HTTP request is submitted using the POST
 method, and with a content type of "multipart/form-data", then FileUpload
 can parse that request, and make the results available in a manner easily
 used by the caller.
 .
 This package contains Javadoc API documentation for Commons FileUpload.

.
346478a
Package: ldap-rest
Description-md5: 070a91674a417d7ea31581e2327dcade
Description-en: LDAP identity-management REST API with system synchronization
 ldap-rest is a lightweight, plugin-based directory manager that exposes
 LDAP through a REST API and keeps an LDAP server as the source of truth
 for users, groups and organizations.
 .
 It serves two complementary purposes: providing a ready-to-use backend
 (REST API plus browser components) for building identity-management
 interfaces, and keeping linked systems - mail server, message bus, SCIM
 provisioning, application accounts - consistent with the directory.
 .
 Authentication is pluggable (token, TOTP, HMAC, and more), operations can
 be customized through event hooks, and high availability is supported via
 LDAP failover. Some athentication plugins are disabled for now due to
 missing dependencies.

.
343145c
 This application provides configuration menus for Labwc's appearance
 and behavior, including mouse and keyboard input.
.
343143c
 labwc-tweaks is a Qt configuration tool for Labwc.
.
343141c
Description-md5: 74c5e9a9493760709a5e6b96998dddb4
.
343133,343139c
Description-md5: f492129dc3dceb1ba09877ddb43970a2
Description-en: Menu generator for Labwc
 labwc-menu-generator creates menus for the Labwc wayland compositor.
 .
 It is a simple tool which is independent of Labwc itself, and complies
 to Freedesktop's Desktop Entry Specification.

.
279442,279457c
Description-md5: 3735e4404ae8582895faf6dd4977000a
Description-en: OpenPGP (RFC9580) ASCII Armor codec; documentation
 This library does encoding and decoding of OpenPGP ASCII armor.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Package: libghc-openpgp-asciiarmor-prof
Description-md5: 65f442e48205a1df5082b22562454aa6
Description-en: OpenPGP (RFC9580) ASCII Armor codec; profiling libraries
 This library does encoding and decoding of OpenPGP ASCII armor.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.

.
279434,279440c
Description-md5: 4f3a35ef3296940a10e08961aa6e4b16
Description-en: OpenPGP (RFC9580) ASCII Armor codec
 This library does encoding and decoding of OpenPGP ASCII armor.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

.
270066a
Package: libghc-hopenpgp-prof
Description-md5: 76dc9e82190857192e1133b796bfa43c
Description-en: OpenPGP (RFC9580); profiling libraries
 This is a native Haskell implementation of OpenPGP (RFC9580),
 including message format serialization and some cryptographic
 operations.
 .
 This package contains the libraries compiled with profiling enabled.

.
270057a
Package: libghc-hopenpgp-doc
Description-md5: facb2280b99ab0555fe9e3ee9fac12d7
Description-en: implementation of OpenPGP (RFC9580); documentation
 This is a native Haskell implementation of OpenPGP (RFC9580),
 including message format serialization and some cryptographic
 operations.
 .
 This package contains the documentation files.

.
270048a
Package: libghc-hopenpgp-dev
Description-md5: c15d07bdef1ccb737c08532b261a05cb
Description-en: implementation of OpenPGP (RFC9580)
 This is a native Haskell implementation of OpenPGP (RFC9580),
 including message format serialization and some cryptographic
 operations.
 .
 This package contains the normal library files.

.
236498a
Package: golang-github-tillitis-tkey-pq-device-sign-dev
Description-md5: 28aa025c50ef593d08cfece46f0667c5
Description-en: communicate with Tillitis PQ device signer app (library)
 Tillitis tkey-pq-device-sign package
 .
 A Go package for communicating with the tkey-pq-device-signer device
 app on a Tillitis (https://tillitis.se/) TKey to get cryptographic
 signatures over a message.
 .
 The package has functionality to call for signing with external MU
 computation, the external is used by the tkey-pq-device-signer uses
 external computation for signing.
 .
 This package contains the Go development library.

.
226688,226693d
224861,224866d
223156a
Package: golang-github-google-jsonschema-go-dev
Description-md5: 0b24f47961b1e5d46260b19ee2576a80
Description-en: implementation of the JSON Schema specification (library)
 This Go module implements the JSON Schema (https://json-schema.org/)
 specification. The jsonschema package supports creating schemas,
 validating JSON values against a schema, and inferring a schema from
 a Go struct.

.
220457,220468d
219180a
Package: golang-github-dlclark-regexp2-v2-dev
Description-md5: 92467af04691538fc0c30649273d7d46
Description-en: Regex engine for Go based on the .NET engine (v2)
 Feature-rich regular expression engine for Go ported from the .NET
 framework's System.Text.RegularExpressions.Regex engine. It does not
 have constant time guarantees like the built-in regexp package, but it
 allows backtracking and is compatible with Perl5 and .NET.

.
216469a
Package: golang-github-chelnak-ysmrr-dev
Description-md5: 0cb78f42e5c90e67ca8b01330ee836ab
Description-en: provides multi-line spinners for Go applications (library)
 You Spin Me Right Round (ysmrr) is a package that provides simple multi-
 line compatible spinners for Go applications.
 .
 This package contains the Go library.

.
212288a
Package: golang-forgejo-forgejo-go-rpmutils-dev
Description-md5: 8f7bcd0cf6feb28347e824f9e5549533
Description-en: parsing RPM package files (library)
 go-rpmutils is a library written in Go for parsing RPMs.

.
210178,210240c
Package: golang-gir-gio-2.0-dev
Description-md5: 231ee8b43c503a95fd55b12ec442e201
Description-en: Go bindings
 Go bindings for DDE (Deepin Desktop Environment) development.
 .
 gio-2.0 go bindings.

Package: golang-gir-glib-2.0-dev
Description-md5: 6d69afb1905361b53aba9f0ca750b504
Description-en: Go bindings
 Go bindings for DDE (Deepin Desktop Environment) development.
 .
 glib-2.0 go bindings.

Package: golang-gir-gobject-2.0-dev
Description-md5: 9c132a16ae512452520f690914122c41
Description-en: Go bindings
 Go bindings for DDE (Deepin Desktop Environment) development.
 .
 gobject-2.0 go bindings.

Package: golang-gir-gudev-1.0-dev
Description-md5: df2d90d077df085dd78b8e9e7da8edac
Description-en: Go bindings
 Go bindings for DDE (Deepin Desktop Environment) development.
 .
 gudev-1.0 go bindings.

.
198982,198993d
196641a
Package: python3-gftools
Description-md5: a5706bd382d74425d81ef8844c960801
Description-en: Google Fonts Tools (Python 3)
 This project contains tools used for working with the Google Fonts collection,
 plus Google Fonts Glyph Set Documentation in the /encodings subdirectory.
 While these tools are primarily intended for contributors to the Google Fonts
 project, anyone who works with fonts could find them useful.
 .
 This package installs the library for Python 3.

.
186035a
Package: libgm2-21-powerpc-cross
Description-md5: 2b6f235369b3172b9f6a3f7d22bc9978
Description-en: GNU Modula-2 standard library (runtime library)
 This is the GNU Modula-2 standard library that comes with the gm2 compiler.

Package: libgm2-21-ppc64-cross
Description-md5: 2b6f235369b3172b9f6a3f7d22bc9978
Description-en: GNU Modula-2 standard library (runtime library)
 This is the GNU Modula-2 standard library that comes with the gm2 compiler.

.
185995a
Package: libgm2-16-dev-powerpc-cross
Description-md5: e3610e2377e77eddbfb5ac76ab6b4834
Description-en: GNU Modula-2 standard library
 This is the Modula-2 standard library that comes with the gm2 compiler.

Package: libgm2-16-dev-ppc64-cross
Description-md5: e3610e2377e77eddbfb5ac76ab6b4834
Description-en: GNU Modula-2 standard library
 This is the Modula-2 standard library that comes with the gm2 compiler.

.
184518a
Package: gm2-16-powerpc-linux-gnu
Description-md5: 16fc1008026c911f3f3162c1828998bb
Description-en: GNU Modula-2 compiler for the powerpc-linux-gnu architecture
 This is the GNU Modula-2 compiler for the powerpc-linux-gnu architecture,
 which compiles Modula-2 on platforms supported by gcc.  It uses the gcc
 backend to generate optimised code.

Package: gm2-16-powerpc64-linux-gnu
Description-md5: c668ad3bfb3552f8e3e5e54f51856720
Description-en: GNU Modula-2 compiler for the powerpc64-linux-gnu architecture
 This is the GNU Modula-2 compiler for the powerpc64-linux-gnu architecture,
 which compiles Modula-2 on platforms supported by gcc.  It uses the gcc
 backend to generate optimised code.

.
112871,112891d
67832,67842d
61586a
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
 development of computer programs consistent with their formal
 specification. It is developed using Objective Caml and Camlp5.
 .
 This package provides RocqIde, a graphical user interface for
 developing proofs.

.
61557a
Package: libcoq-core
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e
Description-en: proof assistant for higher-order logic (theories)
 Coq is a proof assistant 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 existing theories that new proofs can be
 based upon, including theories of arithmetic and Boolean values.

.
31825,31837d
16850a
 .
.
16845,16847c
Description-md5: 129dea78b9e461709fd9ff9d714bc1ab
Description-en: MASM compatible assembler
 Asmc is a Macro Assembler that compatible with modern MASM syntax.
 Asmc also supports newest MASM features like AVX-512 instructions (MASM v14).
.
