Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3633
3634
3635
3636
3637
3638
3639
3673
3674
Next page
Previous
1
2
3635
3636
3637
3673
3674
Next
deviceinfo-tools
Tools to detect and configure devices in Lomiri
libdeviceinfo0
Library for Lomiri to detect and configure devices
flang-15
Fortran compiler
libcoq-record-update
automatic record fields updaters for Coq
python3-findlibs
Python 3 module to discover libraries.
postgresql-15-pg-catcheck
Postgres system catalog checker
libclang1-16t64
C interface to the Clang library
libmlir-16t64
Multi-Level Intermediate Representation library
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
libhttpcore5-java
set of low level HTTP transport components for Java
tox-current-env
tox plugin to run tests in current Python environment
ament-cmake-flake8
CMake build system for ROS 2 ament packages (flake8)
gcc-11-mipsisa32r6-linux-gnu-base
GCC, the GNU Compiler Collection (base package)
ament-cmake-cppcheck
CMake build system for ROS 2 ament packages (cppcheck)
libismrmrd1.8
ISMRM Raw Data format (ISMRMRD)
libcmark-gfm0.29.0.gfm.2
CommonMark GitHub flavor gfm library
python3-django-bootstrapform
generate twitter-bootstrap form output for django form - Python 3.x
libunwind-16t64
production-quality unwinder
libcoq-extructures
data structures with extensional reasoning for Coq
python3-mdurl
Python port of the JavaScript mdurl package
debian-installer-12-netboot-amd64
Debian-installer network boot images for amd64
gnat-11-mips64el-linux-gnuabi64
GNU Ada compiler
libcoq-deriving
deriving MathComp classes from inductive types
gnat-11-mipsisa64r6-linux-gnuabi64
GNU Ada compiler
Previous page
1
2
3633
3634
3635
3636
3637
3638
3639
3673
3674
Next page
Previous
1
2
3635
3636
3637
3673
3674
Next
View
Screenshots