Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
2877
2878
2879
2880
2881
2882
2883
3498
3499
Next page
Previous
1
2
2879
2880
2881
3498
3499
Next
libosmoisdn0
Osmo ISDN utility library
libcoq-stdlib
proof assistant for higher-order logic (theories)
coinor-libcoinmp0
Simple C API for COIN-OR Solvers Clp and Cbc -- library
coinor-libipopt3
Interior-Point Optimizer - shared libraries
libosmogsm20
Osmo GSM utility library
gnome-shell-extension-sound-device-chooser
sound output device chooser extension for GNOME Shell
libcoq-serapi-ocaml
interaction with Coq (runtime)
mlir-14-tools
Multi-Level Intermediate Representation tools
libtakari-polyglot-maven-plugin-java
modules to enable Maven usage in others JVM languages - maven plugin
libcoq-equations
Coq library to work with functions defined by equations
coq-dpdgraph-tools
Coq plugin to extract dependencies between Coq objects (tools)
libosmocore22
Osmo Core library
harlequin-postgres
database client for the terminal (Postgres adapter)
librte-vdpa-mlx5-25
Data Plane Development Kit (librte-vdpa-mlx5 runtime library)
librte-vdpa-ifc25
Data Plane Development Kit (librte-vdpa-ifc runtime library)
libcalceph2
Shared library for planetary ephemeris data access
jose-util
Implementation of JOSE standards (JWE, JWS, JWT) in Go (program)
php-symfony-ring-central-notifier
Symfony RingCentral Notifier Bridge
php-symfony-scaleway-mailer
Symfony Scaleway Mailer Bridge
lomiri-indicator-transfer-buteo
Lomiri Transfer Indicator - Buteo plugin
lomiri-online-accounts-plugin-nextcloud-carddav
Online account plugin for Lomiri - Nextcloud CardDAV
libicu76
International Components for Unicode
lomiri-online-accounts-plugin-owncloud-carddav
Online account plugin for Lomiri - Owncloud CardDAV
librte-timer25
Data Plane Development Kit (librte-timer runtime library)
Previous page
1
2
2877
2878
2879
2880
2881
2882
2883
3498
3499
Next page
Previous
1
2
2879
2880
2881
3498
3499
Next
View
Screenshots