Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3030
3031
3032
3033
3034
3035
3036
3683
3684
Next page
Previous
1
2
3032
3033
3034
3683
3684
Next
libcoq-extructures
data structures with extensional reasoning for Coq
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
unison-2.51+4.13.1
file-synchronization tool for Unix and Windows
libcoq-record-update
automatic record fields updaters for Coq
libcoq-reglang
representation of regular languages in Coq
libmumps-seq-5.6
Direct linear systems solver - non-parallel shared libraries
gnome-kiosk-script-session
Basic session used for running kiosk application from shell script
dasel
Query, update and convert data structures from the command line (program)
libvarnishapi3
shared libraries for Varnish
librte-common-octeontx22
Data Plane Development Kit (librte-common-octeontx library)
libmumps-ptscotch-5.6
Direct linear systems solver - PTScotch-version shared libraries
libmumps-64pord-ptscotch-5.6
Direct linear systems solver (64 bit) - PTScotch-version shared libraries
php-symfony-nexmo-notifier
Symfony Nexmo Notifier Bridge
python3-idasen-ha
Home Assistant helper lib for the IKEA Idasen Desk integration
python3-multiurl
Python package for downloading multiple URLs as one
python3-idasen
ikea IDÅSEN desk API and CLI
python3-jaeger-client
OpenTracing tracer implementation
libknet1t64
kronosnet core switching implementation
python3-crownstone-cloud
get data from the cloud, and switch Crownstones
libcoq-aac-tactics
Coq tactics for reasoning modulo AC (theories)
node-exenv-es6
React.js's ExecutionEnvironment module extracted as ES6 functions
libnauty-2.8.9
library for graph automorphisms -- library package
libghc-ghc-tcplugins-extra-prof
Utilities for writing GHC type-checker plugins; profiling libraries
libghc-primitive-addr-prof
addresses to unmanaged memory; profiling libraries
Previous page
1
2
3030
3031
3032
3033
3034
3035
3036
3683
3684
Next page
Previous
1
2
3032
3033
3034
3683
3684
Next
View
Screenshots