Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3263
3264
3265
3266
3267
3268
3269
3568
3569
Next page
Previous
1
2
3265
3266
3267
3568
3569
Next
claws-mail-keyword-warner
Warning on message keywords for Claws Mail
lcl-gtk2-2.2
Lazarus Components Library - GTK+ backend
ament-cmake-cppcheck
CMake build system for ROS 2 ament packages (cppcheck)
libodbcinst2
Support library for accessing ODBC configuration files
libodbccr2
ODBC Cursor library for Unix
libclang-cpp16t64
C++ interface to the Clang library
ament-cmake-flake8
CMake build system for ROS 2 ament packages (flake8)
python3-ament-copyright
Python 3 module for copyright checks in ROS 2 ament packages
google-android-build-tools-26.0.0-installer
Google's Android SDK Build-Tools 26 Installer
libcoq-reglang
representation of regular languages in Coq
gm2-11-mipsisa32r6el-linux-gnu
GNU Modula-2 compiler (cross compiler for mipsr6el architecture)
any2fasta-examples
convert various sequence formats to FASTA (example data)
libcoq-record-update
automatic record fields updaters for Coq
libkf5akonadicalendar-bin
akonadi-calendar - runtime binaries
dict-cc-cedict
Chinese-English dictionary for the dict server/client
mkdocs-macros-plugin
Plugin for MkDocs to provide macros and variables
node-sixel
Node.js library to manage Sixel images
libcoq-iris
high-order concurrent separation logic framework for Coq
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
python3-findlibs
Python 3 module to discover libraries.
libclang1-16t64
C interface to the Clang library
libcoq-extructures
data structures with extensional reasoning for Coq
libtbb12
parallelism library for C++ - runtime files
libcoq-deriving
deriving MathComp classes from inductive types
Previous page
1
2
3263
3264
3265
3266
3267
3268
3269
3568
3569
Next page
Previous
1
2
3265
3266
3267
3568
3569
Next
View
Screenshots