Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3508
3509
3510
3511
3512
3513
3514
3731
3732
Next page
Previous
1
2
3510
3511
3512
3731
3732
Next
libfastdds3.1
C++ library for the Real Time Publish Subscribe Protocol
python3-promod3
protein homology modelling engine - Python 3 package
mariadb-client-core
MariaDB database core client binaries
dict-freedict-nld-ind
Dutch-Indonesian dictionary for the dict server/client
libldaptive-java
simple, extensible Java API for interacting with LDAP servers
mcxtrace-mxplot-html
X-ray ray-trace simulation - HTML plotting frontend
mcstas-mcplot-html
Neutron ray-trace simulation - HTML plotting frontend
ruby-kas-grpc
Auto-generated gRPC client for KAS
debian-package-book-en-us
How to package for Debian (in English)
libcoq-quickchick
randomized testing framework for Coq (plugin)
far2l-wx
Linux port of FAR v2 - with WX GTK GUI
coinor-libcoinmp0
Simple C API for COIN-OR Solvers Clp and Cbc -- library
coinor-libipopt3
Interior-Point Optimizer - shared libraries
libcoq-coquelicot
Coq library for real analysis
libcoq-serapi-ocaml
interaction with Coq (runtime)
w-scan-cpp
DVB channel scanner (successor of w_scan)
libcoq-hott
Coq library for homotopy type theory
libcoq-equations
Coq library to work with functions defined by equations
dict-freedict-ita-spa
Italian-Spanish dictionary for the dict server/client
gir1.2-ayatanacommon-0.0
Ayatana System Indicators' common API functions (GObject Introspection)
node-relateurl
Node.js library to minify URLs by converting them from absolute to relative
coq-dpdgraph-tools
Coq plugin to extract dependencies between Coq objects (tools)
libcoq-stdlib
proof assistant for higher-order logic (theories)
libcalceph2
Shared library for planetary ephemeris data access
Previous page
1
2
3508
3509
3510
3511
3512
3513
3514
3731
3732
Next page
Previous
1
2
3510
3511
3512
3731
3732
Next
View
Screenshots