Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3738
3739
3740
3741
3742
3743
3744
3761
3762
Next page
Previous
1
2
3740
3741
3742
3761
3762
Next
dxvk-wine64
Vulkan-based translation layer for Direct3D 8/9/10/11 - wine64 build
fonts-bedstead
monospaced fonts inspired by SAA5050 character generator
libmeep30
library for using meep
librte-regex-cn9k25
Data Plane Development Kit (librte-regex-cn9k runtime library)
librte-regexdev25
Data Plane Development Kit (librte-regexdev runtime library)
librte-reorder25
Data Plane Development Kit (librte-reorder runtime library)
librte-ring25
Data Plane Development Kit (librte-ring runtime library)
librte-security25
Data Plane Development Kit (librte-security runtime library)
librte-table25
Data Plane Development Kit (librte-table runtime library)
librte-timer25
Data Plane Development Kit (librte-timer runtime library)
librte-vdpa-mlx5-25
Data Plane Development Kit (librte-vdpa-mlx5 runtime library)
librte-vdpa-nfp25
Data Plane Development Kit (librte-vdpa-nfp runtime library)
librte-vhost25
Data Plane Development Kit (librte-vhost runtime library)
arjun
HTTP parameter discovery suite
libcalceph2
Shared library for planetary ephemeris data access
coq-dpdgraph-tools
Coq plugin to extract dependencies between Coq objects (tools)
libcoq-equations
Coq library to work with functions defined by equations
libcoq-serapi-ocaml
interaction with Coq (runtime)
coinor-libipopt3
Interior-Point Optimizer - shared libraries
coinor-libcoinmp0
Simple C API for COIN-OR Solvers Clp and Cbc -- library
far2l-wx
Linux port of FAR v2 - with WX GTK GUI
libcoq-stdlib
proof assistant for higher-order logic (theories)
libcoq-quickchick
randomized testing framework for Coq (plugin)
libcoq-hott
Coq library for homotopy type theory
Previous page
1
2
3738
3739
3740
3741
3742
3743
3744
3761
3762
Next page
Previous
1
2
3740
3741
3742
3761
3762
Next
View
Screenshots