Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3647
3648
3649
3650
3651
3652
3653
3669
3670
Next page
Previous
1
2
3649
3650
3651
3669
3670
Next
libn32go19-mips64r6el-cross
Runtime library for GNU Go applications (n32)
libexecline2.9
small and non-interactive scripting language (shared library)
libn32go19-mipsel-cross
Runtime library for GNU Go applications (n32)
libghdl-2-0-0
VHDL compiler/simulator (shared library)
libn32go19-mipsr6el-cross
Runtime library for GNU Go applications (n32)
python3-types-typed-ast
Typing stubs for typed-ast
env-assert
tool to ensure that the environment variables match expectations
libocct-ocaf-7.6
Open CASCADE Technology application-specific data and functionality
libwireshark17
network packet dissection library -- shared library
quickchick
randomized testing framework for Coq (tools)
glab
commandline interface for gitlab instances
libghc-prettyprinter-interp-prof
Efficient interpolation for Prettyprinter; profiling libraries
psmt2-frontend
Parse and type-check SMT-LIB 2 (tool)
libghc-attoparsec-aeson-prof
Parsing of aeson's Value with attoparsec; profiling libraries
libwsutil15
network packet dissection utilities library -- shared library
libflatbuffers23.5.26
efficient cross platform serialization library - shared library
gcc-12-locales
GCC, the GNU compiler collection (native language support files)
libocct-visualization-7.6
Open CASCADE Technology graphical data visualization module
progvis
Program visualization tool for C/C++ (and others)
lib4ti2-0
mathematical tool suite for problems on linear spaces -- libs
coqprime-tools
Primality certification for Coq (tools)
dotenv-cli
CLI that loads .env configuration
storm-lang-graphics
Graphics library for Storm
libmlocale5-0
MLocale (and friends), originally from libmeegotouch
Previous page
1
2
3647
3648
3649
3650
3651
3652
3653
3669
3670
Next page
Previous
1
2
3649
3650
3651
3669
3670
Next
View
Screenshots