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
gm2-14-mipsisa64r6el-linux-gnuabi64
GNU Modula-2 compiler for the mipsisa64r6el-linux-gnuabi64 architecture
chuffed-flatzinc
lazy clause generation FlatZinc implememntation
libgeo-libproj-ffi-perl
Foreign function interface to PROJ coordinate transformation software
input-remapper-daemon
Input device button mapping tool (daemon)
php-lcobucci-clock
Yet another clock abstraction
fcitx5-table-emoji
Flexible Input Method Framework v5 - Emoji table
libswiften0
XMPP library
gcc-11-plugin-dev-mipsisa64r6el-linux-gnuabi64
Files for GNU GCC plugin development.
libghc-futhark-prof
library files for for Futhark programming language; profiling libraries
libcoq-deriving
deriving MathComp classes from inductive types
gm2-14-mipsel-linux-gnu
GNU Modula-2 compiler for the mipsel-linux-gnu architecture
libcoq-extructures
data structures with extensional reasoning for Coq
ruby-motion-require
Dependency management for RubyMotion, using a pseudo `require`
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
ruby-humanize
Extension to Numeric to humanize numbers
imgcrypt
OCI Image Encryption Package (program)
libcoq-record-update
automatic record fields updaters for Coq
gm2-14-mips64-linux-gnuabi64
GNU Modula-2 compiler for the mips64-linux-gnuabi64 architecture
node-jupyter-widgets-controls
controls of Jupyter interactive widgets
yaegi
Another Elegant Go Interpreter
gnome-kiosk
mutter based compositor for kiosks
libdnssec9
DNSSEC shared library from Knot DNS
libcoq-reglang
representation of regular languages in Coq
libnfft3-double4
library for computing non-uniform Fourier transforms (double precision)
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