k3ylabs/cosoco-image-dataset huggingface dataset:
Package: depqbf (5.01-3)
Section: universe/interpreters
Homepage: https://lonsing.github.io/depqbf/
Depends: libc6 (>= 2.14)
Description:  solver for quantified boolean formulae DepQBF is a search-based solver for quantified boolean formulae (QBF) in prenex conjunctive normal form. It is based on the DPLL algorithm for QBF, called QDPLL, with conflict-driven clause and solution-driven cube learning. By analyzing the syntactic structure of a formula, DepQBF tries to identify independent variables. In general, information on independent variables can be represented in the formal framework of dependency schemes. DepQBF computes the so-called "standard dependency scheme" of a given formula. In addition to other benefits, information on independent variables often increases the freedom for decision making and clause learning.
Package: deps-tools-cli (0.13-4.1)
Section: universe/devel
Depends: libdeps-perl, libdeps-renderer-dot-perl | libdeps-renderer, perl:any
Description:  DEPS command-line tools Currently only contains the limited "graph-includes" tool. . Graph-includes creates a graph of dependencies between source-files and/or groups of source-files, with an emphasis on getting readable and usable graphs even for large projects. . Usability of the dependency graphs are currently improved by:  - customizable grouping of several source files into a single node  - transitive reduction of the graph . It currently supports graphing the C/C++ #include relationship, using graphviz by default.
Package: derby-doc (10.14.2.0-2)
Section: universe/doc
Homepage: https://db.apache.org/derby/
Description:  Apache Derby API documentation and examples Apache Derby is an open source relational database implemented entirely in Java. . This package contains a Javadoc documenting the API and demo software for Apache Derby.
Package: derby-tools (10.14.2.0-2)
Section: universe/java
Homepage: https://db.apache.org/derby/
Depends: default-jre | java6-runtime-headless, java-wrappers, libderby-java, libderbyclient-java
Description:  Apache Derby Tools The Derby tools and utilities are a set of routines supplied with Derby that are typically used to create, inspect, and update a Derby database. . These tools and utilities include:  * NetworkServerControl, provides the ability to start a Network Server or    connect to a running Network Server to shutdown, configure or retrieve    diagnostic information.  * ij, the Derby's interactive JDBC scripting tool. It is a simple utility    for running scripts against a Derby database. You can also use it    interactively to run ad hoc queries. ij provides several commands for ease    in accessing a variety of JDBC features.    ij can be used in an embedded or a client/server environment.  * sysinfo, provides information about your version of Derby and your    environment.  * dblook, the Derby's Data Definition Language (DDL) Generation Utility,    more informally called a schema dump tool. It is a simple utility that    dumps the DDL of a user-specified database to either a console or a file.    The generated DDL can then be used for such things as recreating all or    parts of a database, viewing a subset of a database's objects (for example,    those which pertain to specific tables and schemas), or documenting    a database's schema.  * SignatureChecker, a tool that identifies any SQL functions and procedures    in a database that do not follow the SQL Standard argument matching rules.  * PlanExporter, a tool to export query plan data for further analysis.
Package: derivations (0.57.20210107-3)
Section: universe/doc
Description:  book: Derivations of Applied Mathematics For various valid reasons, open-source program sources rarely derive the mathematical formulas they use.  A user, nevertheless -- not wishing to take such formulas on faith -- might wish to see such formulas *somewhere* derived. . Derivations of Applied Mathematics is a book that derives, and documents, many of the mathematical formulas and methods open-source programs use, and indeed many of the formulas and methods used in science and engineering generally.  For example, it derives and documents the Taylor series (used to calculate trigonometrics), the Newton-Raphson method (used to calculate square roots), the Pythagorean theorem (used to calculate distances) and many others. . The book's format is PDF.
Package: designate-agent (1:14.0.4-0ubuntu1)
Section: net
Homepage: https://github.com/openstack/designate
Depends: python3-designate (= 1:14.0.4-0ubuntu1)
Description:  OpenStack DNS as a Service - agent Designate provides DNSaaS services for OpenStack. It provides a multi-tenant REST API for domain & record management. It is Integrated with Keystone for authentication, and provides a framework in place to integrate with Nova and Neutron notifications (for auto-generated records). Designate supports PowerDNS and Bind9 out of the box. . This package provides the agent.
Package: designate-api (1:14.0.4-0ubuntu1)
Section: net
Homepage: https://github.com/openstack/designate
Depends: adduser, python3-designate (= 1:14.0.4-0ubuntu1)
Description:  OpenStack DNS as a Service - API server Designate provides DNSaaS services for OpenStack. It provides a multi-tenant REST API for domain & record management. It is Integrated with Keystone for authentication, and provides a framework in place to integrate with Nova and Neutron notifications (for auto-generated records). Designate supports PowerDNS and Bind9 out of the box. . This package provides the REST API server.
Package: designate-central (1:14.0.4-0ubuntu1)
Section: net
Homepage: https://github.com/openstack/designate
Depends: python3-designate (= 1:14.0.4-0ubuntu1)
Description:  OpenStack DNS as a Service - central daemon Designate provides DNSaaS services for OpenStack. It provides a multi-tenant REST API for domain & record management. It is Integrated with Keystone for authentication, and provides a framework in place to integrate with Nova and Neutron notifications (for auto-generated records). Designate supports PowerDNS and Bind9 out of the box. . This package provides the central daemon.
Package: designate-common (1:14.0.4-0ubuntu1)
Section: net
Homepage: https://github.com/openstack/designate
Depends: adduser, sqlite3
Description:  OpenStack DNS as a Service - common files Designate provides DNSaaS services for OpenStack. It provides a multi-tenant REST API for domain & record management. It is Integrated with Keystone for authentication, and provides a framework in place to integrate with Nova and Neutron notifications (for auto-generated records). Designate supports PowerDNS and Bind9 out of the box. . This package provides common files.
Package: designate-doc (1:14.0.4-0ubuntu1)
Section: doc
Homepage: https://github.com/openstack/designate
Description:  OpenStack DNS as a Service - doc Designate provides DNSaaS services for OpenStack. It provides a multi-tenant REST API for domain & record management. It is Integrated with Keystone for authentication, and provides a framework in place to integrate with Nova and Neutron notifications (for auto-generated records). Designate supports PowerDNS and Bind9 out of the box. . This package contains the documentation.
Package: designate-mdns (1:14.0.4-0ubuntu1)
Section: net
Homepage: https://github.com/openstack/designate
Depends: python3-designate (= 1:14.0.4-0ubuntu1)
Description:  OpenStack DNS as a Service - mdns Designate provides DNSaaS services for OpenStack. It provides a multi-tenant REST API for domain & record management. It is Integrated with Keystone for authentication, and provides a framework in place to integrate with Nova and Neutron notifications (for auto-generated records). Designate supports PowerDNS and Bind9 out of the box. . This package provides the mdns service.
Package: designate-pool-manager (1:14.0.4-0ubuntu1)
Section: net
Homepage: https://github.com/openstack/designate
Depends: python3-designate (= 1:14.0.4-0ubuntu1)
Description:  OpenStack DNS as a Service - pool manager Designate provides DNSaaS services for OpenStack. It provides a multi-tenant REST API for domain & record management. It is Integrated with Keystone for authentication, and provides a framework in place to integrate with Nova and Neutron notifications (for auto-generated records). Designate supports PowerDNS and Bind9 out of the box. . This package provides the pool manager service.
Package: designate-producer (1:14.0.4-0ubuntu1)
Section: net
Homepage: https://github.com/openstack/designate
Depends: python3-designate (= 1:14.0.4-0ubuntu1)
Description:  OpenStack DNS as a Service - producer Designate provides DNSaaS services for OpenStack. It provides a multi-tenant REST API for domain & record management. It is Integrated with Keystone for authentication, and provides a framework in place to integrate with Nova and Neutron notifications (for auto-generated records). Designate supports PowerDNS and Bind9 out of the box. . This package provides the producer service.
Package: designate-sink (1:14.0.4-0ubuntu1)
Section: net
Homepage: https://github.com/openstack/designate
Depends: python3-designate (= 1:14.0.4-0ubuntu1)
Description:  OpenStack DNS as a Service - sink Designate provides DNSaaS services for OpenStack. It provides a multi-tenant REST API for domain & record management. It is Integrated with Keystone for authentication, and provides a framework in place to integrate with Nova and Neutron notifications (for auto-generated records). Designate supports PowerDNS and Bind9 out of the box. . This package provides the sink service.
Package: designate-tempest-plugin (0.12.0-2)
Section: universe/net
Homepage: https://opendev.org/openstack/designate-tempest-plugin
Depends: python3-pbr, python3-dnspython, python3-ddt, python3-testtools, tempest, python3-tempest, python3:any
Description:  OpenStack Integration Test Suite - Designate plugin Tempest is a set of integration tests to be run against a live Openstack cluster in order to make sure that all components are working as expected. Tempest will start and stop virtual machine in order to check that your cloud is working as expected. . This package contains the Designate plugin.
Package: designate-worker (1:14.0.4-0ubuntu1)
Section: net
Homepage: https://github.com/openstack/designate
Depends: python3-designate (= 1:14.0.4-0ubuntu1)
Description:  OpenStack DNS as a Service - worker Designate provides DNSaaS services for OpenStack. It provides a multi-tenant REST API for domain & record management. It is Integrated with Keystone for authentication, and provides a framework in place to integrate with Nova and Neutron notifications (for auto-generated records). Designate supports PowerDNS and Bind9 out of the box. . This package provides the worker service.
Package: designate-zone-manager (1:14.0.4-0ubuntu1)
Section: net
Homepage: https://github.com/openstack/designate
Depends: python3-designate (= 1:14.0.4-0ubuntu1)
Description:  OpenStack DNS as a Service - zone manager Designate provides DNSaaS services for OpenStack. It provides a multi-tenant REST API for domain & record management. It is Integrated with Keystone for authentication, and provides a framework in place to integrate with Nova and Neutron notifications (for auto-generated records). Designate supports PowerDNS and Bind9 out of the box. . This package provides the zone manager service.
Package: designate (1:14.0.4-0ubuntu1)
Section: net
Homepage: https://github.com/openstack/designate
Depends: designate-agent (= 1:14.0.4-0ubuntu1), designate-api (= 1:14.0.4-0ubuntu1), designate-central (= 1:14.0.4-0ubuntu1)
Description:  OpenStack DNS as a Service - metapackage Designate provides DNSaaS services for OpenStack. It provides a multi-tenant REST API for domain & record management. It is Integrated with Keystone for authentication, and provides a framework in place to integrate with Nova and Neutron notifications (for auto-generated records). Designate supports PowerDNS and Bind9 out of the box. . This package is a metapackage that helps installing all of Designate at once.
Package: designer-qt6 (6.2.4-1)
Section: universe/devel
Homepage: https://www.qt.io/developers/
Depends: qtchooser, libc6 (>= 2.34), libqt6core6 (>= 6.2.4+dfsg~), libqt6designer6 (>= 6.2.2), libqt6designercomponents6 (>= 6.2.2), libqt6gui6 (>= 6.2.4+dfsg~), libqt6network6 (>= 6.2.4+dfsg~), libqt6printsupport6 (>= 6.2.4+dfsg~), libqt6quick6 (>= 6.2.4+dfsg~), libqt6quickwidgets6 (>= 6.2.4+dfsg~), libqt6widgets6 (>= 6.2.4+dfsg~), libqt6xml6 (>= 6.2.4+dfsg~), libstdc++6 (>= 5)
Description:  Qt 6 Designer Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality. . Qt Designer is the Qt tool for designing and building graphical user interfaces (GUIs) with Qt Widgets.
Package: desklaunch (1.1.8build1)
Section: universe/x11
Depends: libc6 (>= 2.15), libx11-6, libxext6, libxpm4
Description:  A small utility for creating desktop icons DeskLaunch is a small utility for creating desktop icons using pixmaps. A simple click will launch the desired application.
Package: deskmenu (1.4.5build1)
Section: universe/x11
Depends: libc6 (>= 2.15), libglib2.0-0 (>= 2.12.0), libgtk2.0-0 (>= 2.8.0), libx11-6
Description:  A root menu for X11 window managers DeskMenu is a root menu program which is activated by clicking the root window. It is configured from a .deskmenurc file in your home directory. DeskMenu is useful for window managers which do not provide a menu such as Oroborus.
Package: desktop-autoloader (0.0.4-1)
Section: universe/misc
Homepage: https://code.it-zukunft-schule.de/cgit/desktop-autoloader/about/
Depends: adduser, xvfb
Description:  Accelerate Diskless Workstation systems by pre-loading a dummy Desktop Session This package is for diskless Linux clients as you often find them in school class rooms running an LTSP based fat client environment. . The logon into and the initial session startup on such diskless workstations can be considerably slow, because all applications need to be fetched from one server hosting the fat clients' filesystem. . The situation gets worse, if 24 computers in the same class room get switched on simultaneously or the teacher tells the students to open the same application (e.g. Libreoffice) at the same time. . However, this issue only occurs to the first student using a diskless workstation that day. If the diskless machine is equipped with enough RAM, other students see all applications being launched within a couple of seconds. . Reason: once an application has been launched, it ends up in the diskless machine's filesystem cache in RAM. . So, this package pre-loads a desktop session of the admin's choice plus some extra popular applications. It does this before 7:30 in the morning, only. So, combine this package with Wake-On-LAN or an RTC Timer to make sure systems are booted before 7:30am. With such a setup in place, the diskless machines will have been prepared for work before the first students enter the class room.
Package: desktop-base (11.0.3ubuntu1)
Section: universe/x11
Homepage: https://www.debian.org/devel/debian-desktop/
Depends: librsvg2-common, fonts-quicksand
Description:  common files for the Debian Desktop This package contains various miscellaneous files which are used by Debian Desktop installations.  Currently, it provides some Debian-related artwork and themes, .desktop files containing links to Debian related material (suitable for placement on a user's desktop), and other common files between the available desktop environments such as GNOME and KDE.
Package: desktop-file-utils (0.26-1ubuntu3)
Section: devel
Homepage: http://www.freedesktop.org/wiki/Software/desktop-file-utils
Depends: libc6 (>= 2.34), libglib2.0-0 (>= 2.49.3)
Description:  Utilities for .desktop files Some utilities to make dealing with .desktop files easier:  * update-desktop-database -- update the desktop-MIME mapping  * desktop-file-validate -- validate a desktop file  * desktop-file-install -- install a desktop file, munging en route.
Package: desktopfolder (1.1.3-2)
Section: universe/x11
Homepage: https://github.com/spheras/desktopfolder
Depends: dconf-gsettings-backend | gsettings-backend, libc6 (>= 2.34), libcairo2 (>= 1.2.4), libgdk-pixbuf-2.0-0 (>= 2.25.2), libgee-0.8-2 (>= 0.8.3), libglib2.0-0 (>= 2.37.3), libgtk-3-0 (>= 3.22), libgtksourceview-3.0-1 (>= 2.91.4), libjson-glib-1.0-0 (>= 1.5.2), libpango-1.0-0 (>= 1.14.0), libwnck-3-0 (>= 2.91.6)
Description:  Organize your desktop with panels, notes and photos Bring your desktop back to life Organize your desktop with panels that hold your things. . DesktopFolder overlays a hidden desktop overlay allowing desktop icons, file shortcuts, folders, photographs, notes and panels to be arranged in a freeform or grid format. Each desktop component has a number of attributes that can be customized - colors and size. . DesktopFolder has been developed for GNOME based desktops such as GNOME-Shell and Budgie Desktop.
Package: desmume (0.9.11-3build2)
Section: universe/games
Homepage: http://desmume.org/
Depends: libasound2 (>= 1.0.16), libc6 (>= 2.34), libcairo2 (>= 1.2.4), libgcc-s1 (>= 3.3.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libgl1, libglade2-0 (>= 1:2.6.4-2~), libglib2.0-0 (>= 2.35.9), libglu1-mesa | libglu1, libgtk2.0-0 (>= 2.24.0), libgtkglext1, libosmesa6 (>= 10.2~), libpango-1.0-0 (>= 1.14.0), libsdl1.2debian (>= 1.2.11), libsoundtouch1 (>= 2.0.0), libstdc++6 (>= 11), libtinyxml2.6.2v5 (>= 2.6.2), zlib1g (>= 1:1.1.4)
Description:  Nintendo DS emulator DeSmuME is a Nintendo DS emulator running homebrew demos and commercial games. . This package includes all three binaries:   * desmume: gtk user interface;   * desmume-glade: gtk-glade user interface;   * desmume-cli: command line user interface.
Package: desproxy (0.1.0~pre3-10.1)
Section: universe/net
Homepage: https://sourceforge.net/projects/desproxy
Depends: libc6 (>= 2.15)
Description:  tunnel TCP traffic through a HTTP proxy Browsers (in general HTTP clients) use HTTP proxies to request web pages. The proxy forwards those request to the destination server. All the negotiation is done via the HTTP protocol, which is designed just to carry HTTP requests and no generic (TCP/IP) traffic. That is why you can't (normally) use Internet applications beside your browser if you are behind a HTTP proxy. . That is what desproxy is good for. Desproxy is a TCP tunnel, which means desproxy can forward TCP/IP traffic via a HTTP proxy. Desproxy uses a HTTP/1.1 method (CONNECT) to establish TCP/IP connections on demand. CONNECT is used for SSL connections when accessing to secure sites. So if you can access sites that support SSL (www.hotmail.com for example) you can use desproxy.
Package: detachtty (11.0.0-2build1)
Section: universe/utils
Homepage: https://github.com/cosmos72/detachtty
Depends: libc6 (>= 2.16)
Description:  Utility to connect to detached interactive programs Detachtty lets you run interactive programs non-interactively, and connect to them over the network when you do need to interact with them. It is somewhat similar to screen, but it is less feature-rich, therefore lighter and with less dependencies. It allows one to connect to programs running on remote hosts by mean of secure SSH connections.
Package: detox (1.4.5-1)
Section: universe/utils
Homepage: https://github.com/dharple/detox
Depends: libc6 (>= 2.34)
Description:  replace problematic characters in filenames detox is a utility designed to clean up filenames. It replaces difficult to work with characters, such as spaces, with standard equivalents. It will also clean up filenames with UTF-8 or Latin-1 (or CP-1252) characters in them. . Features:  * Removal or replacement of upper ASCII Latin-1 (ISO 8859-1) characters;  * Removal or replacement of UTF-8 encoded Unicode characters;  * Removal or replacement of spaces and other potentially tricky characters;  * Trimming of excessive "_" and "-"s;  * Directory recursion, dry runs, verbose listings. . It is designed with safety in mind. It won't overwrite a file that already exists, and it doesn't touch special files if not requested. . detox is useful to mass rename files automatically. As just one example, you can use detox to easily standardize lots of files, as MP3 or movies, downloaded or stored inside a directory. . This package provides detox and inline-detox commands. The inline-detox can be used in command lines, as a filter in shell procedures.
Package: deutex (5.2.2-1)
Section: universe/games
Homepage: https://github.com/Doom-Utils/deutex
Depends: libc6 (>= 2.14), libpng16-16 (>= 1.6.2-1)
Description:  composition tool for doom-style WAD files DEU's Texture Companion (DeuTex) is a resource editor that can extract and insert graphics, sounds, levels and other resources in doom-format WAD (where's all the data?) files. . DeuTex is command-line oriented and is most useful for assembling WAD files as part of a build procedure, such as via Makefile.
Package: devede (4.16.0-1)
Section: multiverse/utils
Homepage: https://www.rastersoft.com/programas/devede.html
Depends: dvdauthor, genisoimage, imagemagick, ffmpeg, fonts-freefont-ttf | ttf-freefont, mplayer | mpv, gir1.2-gtk-3.0, python3-dbus, python3-gi-cairo, python3-pkg-resources, python3-urllib3, vcdimager, python3:any
Description:  simple application to create Video DVDs DeVeDe is a program to create video DVDs, suitable for home players, from any number of video files, in any of the formats supported by Mplayer. . It allows the user to create subtitles and even menus.
Package: develock-el (0.47-3.1)
Section: universe/editors
Homepage: http://www.jpl.org/elips/
Depends: emacs | emacsen
Description:  additional font-lock keywords for the developers on Emacs Develock is a minor mode which provides the ability to make font- lock highlight leading and trailing whitespace, long lines and oddities in the file buffer for Lisp modes, ChangeLog mode, Texinfo mode, C modes, OCaml modes, Coq mode, LaTeX mode, Java mode, Jde-mode, CPerl mode, Perl mode, Python mode, Groovy mode, HTML modes and some Mail modes.
Package: developers-reference-de (12.3)
Section: universe/doc
Homepage: https://www.debian.org/doc/devel-manuals#devref
Description:  guidelines and information for Debian developers, in German This package contains the German translation of Debian Developer's Reference (package: developers-reference), a set of guidelines and best practices which has been established by and for the community of Debian developers and maintainers. If you are not maintaining Debian packages, you probably do not need this package. . Table of Contents (in English): .    * 1. Scope of This Document    * 2. Applying to Become a Member    * 3. Debian Developer's Duties    * 4. Resources for Debian Members    * 5. Managing Packages    * 6. Best Packaging Practices    * 7. Beyond Packaging    * 8. Internationalization and Translations    * 1. Overview of Debian Maintainer Tools
Package: developers-reference-fr (12.3)
Section: universe/doc
Homepage: https://www.debian.org/doc/devel-manuals#devref
Description:  guidelines and information for Debian developers, in French This package contains the French translation of Debian Developer's Reference (package: developers-reference), a set of guidelines and best practices which has been established by and for the community of Debian developers and maintainers. If you are not maintaining Debian packages, you probably do not need this package. . Table of Contents (in English): .    * 1. Scope of This Document    * 2. Applying to Become a Member    * 3. Debian Developer's Duties    * 4. Resources for Debian Members    * 5. Managing Packages    * 6. Best Packaging Practices    * 7. Beyond Packaging    * 8. Internationalization and Translations    * 1. Overview of Debian Maintainer Tools