libupnp17

Portable SDK for UPnP Devices (shared library)

The Portable SDK for UPnP Devices (libupnp) provides developers with an API and open source code for building control points, devices, and bridges that are compliant with Version 1.0 of the Universal Plug and Play Device Architecture Specification - see http://www.upnp.org/ for specifications.

elan

tool for managing installations of the Lean theorem prover

elan is a small tool for managing your installations of the Lean theorem prover. It places lean and leanpkg binaries in your PATH that automatically select and, if necessary, download the Lean version described in the lean_version field of your project's leanpkg.toml. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.

perlnavigator

Perl Language Server for the Language Server Protocol (LSP)

Perl Navigator Language Server provides syntax checking, autocompletion, perlcritic, code navigation and hover for Perl.

qml6-module-qtquick3d-helpers

Qt 6 Quick 3D Helpers QML module

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

libstdc++-13-dev-hppa-cross

GNU Standard C++ Library v3 (development files) (hppa)

This package contains the headers and static library files necessary for building C++ programs which use libstdc++.

python3-pylsp-black

Black plugin for the Python Language Server

This package provides a plugin to support the Black formatter in editors that support the Python Language Server.