Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3744
3745
3746
3747
3748
3749
3750
3761
3762
Next page
Previous
1
2
3746
3747
3748
3761
3762
Next
node-vega-embed
Node.js library to easily embed vega views
libhalideaot13-0
fast, portable computation on images and tensors (virtual library)
libcoq-deriving
deriving MathComp classes from inductive types
postgresql-15-dirtyread
Read dead but unvacuumed tuples from a PostgreSQL relation
libcoq-extructures
data structures with extensional reasoning for Coq
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
google-android-build-tools-29.0.0-installer
Google's Android SDK Build-Tools 29 Installer
r-cran-mixsqp
Quadratic Programming for Estimation of Mixture Proportions
llvm-17-linker-tools
Modular compiler and toolchain technologies - Plugins
libcoq-record-update
automatic record fields updaters for Coq
node-vega-tooltip
Tooltip for node-vega and node-vega-lite
ruby-motion-require
Dependency management for RubyMotion, using a pseudo `require`
libstd-rust-1.49
Rust standard libraries
python3.12-nopie
Python interpreter linked without PIE (version 3.12)
libgfortran-11-dev-sparc64-cross
Runtime library for GNU Fortran applications (development files)
ruby-humanize
Extension to Numeric to humanize numbers
gtk-4-tests
"as-installed" tests for GTK 4
libgfortran-11-dev-alpha-cross
Runtime library for GNU Fortran applications (development files)
lib64stdc++-11-dev-x32-cross
GNU Standard C++ Library v3 (development files) (x32)
lib64stdc++-11-dev-powerpc-cross
GNU Standard C++ Library v3 (development files) (powerpc)
lib32stdc++-11-dev-x32-cross
GNU Standard C++ Library v3 (development files) (x32
libcoq-reglang
representation of regular languages in Coq
gtk-4-examples
example files for GTK 4
libbox2d2
2D physics engine
Previous page
1
2
3744
3745
3746
3747
3748
3749
3750
3761
3762
Next page
Previous
1
2
3746
3747
3748
3761
3762
Next
View
Screenshots