k3ylabs/cosoco-image-dataset huggingface dataset:
Package: copyright-update (2016.1018-4)
Section: universe/devel
Homepage: https://github.com/jaalto/project--copyright-update
Depends: perl:any
Description:  update copyright information in files Update the copyright information in set of files, possibly recursively, matching content criteria. The updating affects copyright year, GPL address information etc.
Package: coq-doc-html (8.15.0-3)
Section: multiverse/doc
Homepage: http://coq.inria.fr/
Depends: libjs-sphinxdoc (>= 4.3), sphinx-rtd-theme-common (>= 1.0.0+dfsg)
Description:  documentation for Coq in html format Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package contains its documentation and tutorials in html format.
Package: coq-doc-pdf (8.15.0-3)
Section: multiverse/doc
Homepage: http://coq.inria.fr/
Description:  documentation for Coq in pdf format Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package contains its documentation and tutorials in pdf format.
Package: coq-doc (8.15.0-3)
Section: multiverse/doc
Homepage: http://coq.inria.fr/
Depends: coq-doc-html (>= 8.15.0-3), coq-doc-pdf (>= 8.15.0-3)
Description:  documentation for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This is a dummy package which will install the documentation in html and pdf formats.
Package: coq-hierarchy-builder (1.2.1-2)
Section: universe/ocaml
Homepage: https://github.com/math-comp/hierarchy-builder
Depends: libcoq-hierarchy-builder (= 1.2.1-2), ocaml-nox
Description:  build hierarchies of algebraic structures in Coq (tool) This software provides high-level commands to build hierarchies of algebraic structures in the Coq system. . This package provides the command-line tool.
Package: coq (8.15.0+dfsg-2)
Section: universe/math
Homepage: http://coq.inria.fr/
Depends: libcoq-stdlib (= 8.15.0+dfsg-2), libcoq-core-ocaml-aosg1, libzarith-ocaml-4dps0, ocaml-base-4.13.1, python3:any, libc6 (>= 2.35), libgmp10 (>= 2:6.2.1+dfsg), ocaml-nox, ocaml-findlib
Description:  proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
Package: coqide (8.15.0+dfsg-2)
Section: universe/math
Homepage: http://coq.inria.fr/
Depends: coq (= 8.15.0+dfsg-2), libc6 (>= 2.35), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk-3-0 (>= 3.1.4), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0)
Description:  proof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
Package: corekeeper (1.7)
Section: universe/admin
Depends: procps
Description:  enable core files and report crashes to the sysadmin corekeeper enables core files, reports crashes to the sysadmin and deletes old core files after 7 days. . Core file dumping is enabled for all users, to restrict that, please remove or edit the config file at /etc/security/limits.d/corekeeper.conf . On Linux core files are written to private per-userid dirs in /var/crash. Linux 3.6 and earlier have an issue that means all core files are written to the directory for root. If your system is running Linux 3.6 or earlier and is single-user (or you don't care about the privacy of core file names), you can avoid this issue by editing /etc/sysctl.d/corekeeper.conf. . On kFreeBSD files are written to /var/crash, kernel limitations prevent core files from being written to private per-userid dirs. . To fully remove this package it needs to be purged and the system rebooted.
Package: coreutils (8.32-4.1ubuntu1.1)
Section: utils
Homepage: http://gnu.org/software/coreutils
Description:  GNU core utilities This package contains the basic file, shell and text manipulation utilities which are expected to exist on every operating system. . Specifically, this package includes: arch base64 basename cat chcon chgrp chmod chown chroot cksum comm cp csplit cut date dd df dir dircolors dirname du echo env expand expr factor false flock fmt fold groups head hostid id install join link ln logname ls md5sum mkdir mkfifo mknod mktemp mv nice nl nohup nproc numfmt od paste pathchk pinky pr printenv printf ptx pwd readlink realpath rm rmdir runcon sha*sum seq shred sleep sort split stat stty sum sync tac tail tee test timeout touch tr true truncate tsort tty uname unexpand uniq unlink users vdir wc who whoami yes
Package: corkscrew (2.0-13)
Section: universe/net
Homepage: http://agroman.net/corkscrew/
Depends: libc6 (>= 2.15)
Description:  tunnel TCP connections through HTTP proxies corkscrew is a simple tool to tunnel TCP connections through an HTTP proxy supporting the CONNECT method. It reads stdin and writes to stdout during the connection, just like netcat. . It can be used for instance to connect to an SSH server running on a remote 443 port through a strict HTTPS proxy.
Package: corosync-doc (3.1.6-1ubuntu1)
Section: doc
Homepage: https://corosync.github.io/corosync/
Description:  cluster engine HTML documentation The Corosync Cluster Engine is a Group Communication System with additional features for implementing high availability within applications. The project provides four C Application Programming Interface features: .  * A closed process group communication model with virtual synchrony    guarantees for creating replicated state machines.  * A simple availability manager that restarts the application process    when it has failed.  * A configuration and statistics in-memory database that provide the    ability to set, retrieve, and receive change notifications of    information.  * A quorum system that notifies applications when quorum is achieved    or lost. . This package contains the Corosync HTML manuals and the API documentation generated by Doxygen.
Package: corosync-notifyd (3.1.6-1ubuntu1)
Section: universe/admin
Homepage: https://corosync.github.io/corosync/
Depends: libc6 (>= 2.34), libcfg7 (>= 2.99.5), libcmap4 (>= 2.99.3), libcorosync-common4 (>= 1.99.9), libdbus-1-3 (>= 1.9.14), libqb100 (>= 2.0.3), libquorum5 (>= 1.99.9), libsnmp40 (>= 5.9.1+dfsg), libsystemd0, corosync, lsb-base (>= 3.0-6)
Description:  cluster engine notification daemon The Corosync Cluster Engine is a Group Communication System with additional features for implementing high availability within applications. The project provides four C Application Programming Interface features: .  * A closed process group communication model with virtual synchrony    guarantees for creating replicated state machines.  * A simple availability manager that restarts the application process    when it has failed.  * A configuration and statistics in-memory database that provide the    ability to set, retrieve, and receive change notifications of    information.  * A quorum system that notifies applications when quorum is achieved    or lost. . This package contains the DBus/SNMP notification daemon for Corosync events.
Package: corosync-qdevice (3.0.1-1)
Section: universe/admin
Homepage: https://github.com/corosync/corosync-qdevice
Depends: libc6 (>= 2.14), libcmap4 (>= 1.99.9), libcorosync-common4 (>= 1.99.9), libnspr4 (>= 2:4.9-2~), libnss3 (>= 2:3.13.4-2~), libsystemd0, libvotequorum8 (>= 2.4.2), corosync (>= 2), libnss3-tools
Description:  cluster engine quorum device daemon corosync-qdevice is a daemon running on each node of a cluster. It provides a configured number of votes to the quorum subsystem based on a third-party arbitrator's decision. Its primary use is to allow a cluster to sustain more node failures than standard quorum rules allow. It is recommended for clusters with an even number of nodes and highly recommended for 2 node clusters.
Package: corosync-qnetd (3.0.1-1)
Section: universe/admin
Homepage: https://github.com/corosync/corosync-qdevice
Depends: adduser, libnss3-tools, procps, libc6 (>= 2.14), libnspr4 (>= 2:4.9-2~), libnss3 (>= 2:3.13.4-2~), libsystemd0
Description:  cluster engine quorum device network daemon Corosync-qnetd is a daemon running outside of the cluster with the purpose of providing a vote to the corosync-qdevice model net. It's designed to support multiple clusters and be almost configuration and state free. New clusters are handled dynamically and no configuration file exists. It's also able to run as non-root user - which is recommended. Connection between the corosync-qdevice model net client can be optionally configured with TLS client certificate checking. The communication protocol between server and client is designed to be very simple and allow backwards compatibility.
Package: corosync-vqsim (3.1.6-1ubuntu1)
Section: universe/admin
Homepage: https://corosync.github.io/corosync/
Depends: libc6 (>= 2.34), libcorosync-common4 (>= 1.99.9), libknet1 (>= 0.9), libqb100 (>= 2.0.3), libreadline8 (>= 6.0)
Description:  cluster engine votequorum simulator The Corosync Cluster Engine is a Group Communication System with additional features for implementing high availability within applications. The project provides four C Application Programming Interface features: .  * A closed process group communication model with virtual synchrony    guarantees for creating replicated state machines.  * A simple availability manager that restarts the application process    when it has failed.  * A configuration and statistics in-memory database that provide the    ability to set, retrieve, and receive change notifications of    information.  * A quorum system that notifies applications when quorum is achieved    or lost. . This package contains the Corosync votequorum simulator.  It can simulate multiple nodes, network splits and a basic quorum device.
Package: corosync (3.1.6-1ubuntu1)
Section: admin
Homepage: https://corosync.github.io/corosync/
Depends: libc6 (>= 2.34), libcfg7 (>= 3.1.1), libcmap4 (>= 2.99.3), libcorosync-common4 (>= 1.99.9), libcpg4 (>= 1.1.0), libknet1 (>= 1.18), libnozzle1 (>= 1.6), libqb100 (>= 2.0.3), libquorum5 (>= 1.99.9), libstatgrab10 (>= 0.92.1), libsystemd0, libvotequorum8 (>= 2.4.2), lsb-base (>= 3.0-6), adduser, xsltproc, libqb-dev
Description:  cluster engine daemon and utilities The Corosync Cluster Engine is a Group Communication System with additional features for implementing high availability within applications. The project provides four C Application Programming Interface features: .  * A closed process group communication model with virtual synchrony    guarantees for creating replicated state machines.  * A simple availability manager that restarts the application process    when it has failed.  * A configuration and statistics in-memory database that provide the    ability to set, retrieve, and receive change notifications of    information.  * A quorum system that notifies applications when quorum is achieved    or lost. . This package contains the Corosync daemon and some administration tools.
Package: corsix-th-data (0.65.1-1)
Section: multiverse/games
Homepage: https://corsixth.com
Description:  Open source clone of Theme Hospital (data package) Theme Hospital was a simulation computer game developed by Bullfrog Productions and published by Electronic Arts in 1997, in which the player designs and operates a hospital. . The game currently requires the original graphics and tries to mimic the original as closely as possible. Therefore you will need a copy of the original game for this package to be useful. . (This package contains the data files)
Package: corsix-th (0.65.1-1)
Section: multiverse/games
Homepage: https://corsixth.com
Depends: corsix-th-data (= 0.65.1-1), lua-filesystem, lua-lpeg, libavcodec58 (>= 7:4.4), libavformat58 (>= 7:4.4), libavutil56 (>= 7:4.4), libc6 (>= 2.34), libfreetype6 (>= 2.2.1), libgcc-s1 (>= 3.3.1), liblua5.4-0 (>= 5.4.3), libsdl2-2.0-0 (>= 2.0.12), libsdl2-mixer-2.0-0 (>= 2.0.2), libstdc++6 (>= 6), libswresample3 (>= 7:4.4), libswscale5 (>= 7:4.4)
Description:  Open source clone of Theme Hospital Theme Hospital was a simulation computer game developed by Bullfrog Productions and published by Electronic Arts in 1997, in which the player designs and operates a hospital. . The game currently requires the original graphics and tries to mimic the original as closely as possible. Therefore you will need a copy of the original game for this package to be useful.
Package: cortado (0.6.0-5)
Section: universe/utils
Homepage: http://theora.org/cortado/
Depends: libcortado-java (>= 0.6.0-5)
Description:  streaming applet for Ogg formats By embedding the cortado applet in your website, you can give viewers access to streams from either the Flumotion streaming server or any HTTP server providing multimedia files without the need for a locally installed media player supporting the correct formats on the visitor's computer.  Cortado currently include Java decoders for Ogg Theora, Ogg Vorbis (the JOrbis library), Mulaw audio, MJPEG and Flumotion's Smoke codec. . The package will automatically be configured for apache2 but can be used with any other HTTP server. Some HTML files are included as examples of how to use the applet.
Package: coturn (4.5.2-3.1~ubuntu22.04.1)
Section: universe/net
Homepage: https://github.com/coturn/coturn/
Depends: adduser, sqlite3, lsb-base (>= 3.0-6), telnet | telnet-client, libc6 (>= 2.34), libevent-core-2.1-7 (>= 2.1.8-stable), libevent-extra-2.1-7 (>= 2.1.8-stable), libevent-openssl-2.1-7 (>= 2.1.8-stable), libevent-pthreads-2.1-7 (>= 2.1.8-stable), libhiredis0.14 (>= 0.14.0), libmysqlclient21 (>= 8.0.11), libpq5 (>= 8.4~), libsqlite3-0 (>= 3.6.0), libssl3 (>= 3.0.0~~alpha1), libsystemd0
Description:  TURN and STUN server for VoIP STUN (Session Traversal Utilities for NAT) and TURN (Traversal Using Relays around NAT) are protocols that can be used to provide NAT traversal for VoIP and WebRTC. This package provides a VoIP media traffic NAT traversal server and gateway. . Supported RFCs: TURN specs:  * RFC 5766 - base TURN specs;  * RFC 6062 - TCP relaying TURN extension;  * RFC 6156 - IPv6 extension for TURN;  * RFC 7635 - OAuth third-party TURN/STUN authorization;  * DTLS support as client protocol    http://tools.ietf.org/html/draft-petithuguenin-tram-turn-dtls-00  * Mobile ICE (MICE) support    http://tools.ietf.org/html/draft-wing-tram-turn-mobility-03  * TURN ORIGIN specs for multi-tenant servers    http://tools.ietf.org/html/draft-johnston-tram-stun-origin-02  * TURN Bandwidth draft specs    http://tools.ietf.org/html/draft-thomson-tram-turn-bandwidth-00  * SSODA (dual allocation) draft specs    http://tools.ietf.org/html/draft-martinsen-tram-ssoda-00 . STUN specs:  * RFC 3489 - obsolete "classic" STUN specs;  * RFC 5389 - base "new" STUN specs;  * RFC 5769 - test vectors for STUN protocol testing;  * RFC 5780 - NAT behavior discovery support. . The implementation fully supports UDP, TCP, TLS, and DTLS as protocols between the TURN client and the TURN server. Both UDP and TCP relaying are supported. . SQLite, MySQL, PostgreSQL and Redis are supported for the user repository (if authentication is required). The long-term credentials mechanism is supported. For WebRTC applications, the TURN server REST API for time-limited secret-based authentication is implemented. The third-party authentication specs (OAuth-based) are supported, too. . Load balancing can be implemented either by DNS round-robin mechanism, or with the external networking tools, or by the built-in ALTERNATE-SERVER mechanism. . The implementation is intended to be simple to install and configure. The project focuses on performance, scalability, and simplicity. The aim is to provide an enterprise-grade TURN solution.
Package: courier-authdaemon (0.71.1-2build1)
Section: universe/mail
Homepage: https://www.courier-mta.org/
Depends: courier-authlib (>= 0.71.1-2build1), lsb-base (>= 3.0-10), sysvinit-utils (>= 2.88dsf-50) | init-d-script, libc6 (>= 2.14)
Description:  Courier authentication daemon This package contains the authentication daemon for the Courier applications.
Package: courier-authlib-dev (0.71.1-2build1)
Section: universe/mail
Homepage: https://www.courier-mta.org/
Depends: courier-authlib (>= 0.71.1-2build1), libc6 (>= 2.4)
Description:  Development libraries for the Courier authentication library This package contains the development libraries and files needed to compile Courier packages that use the Courier authentication library.
Package: courier-authlib-ldap (0.71.1-2build1)
Section: universe/mail
Homepage: https://www.courier-mta.org/
Depends: courier-authlib (>= 0.71.1-2build1), libc6 (>= 2.14), libgcc-s1 (>= 3.0), libldap-2.5-0 (>= 2.5.4), libstdc++6 (>= 5.2)
Description:  LDAP support for the Courier authentication library This package contains the LDAP support for the Courier authentication library.
Package: courier-authlib-mysql (0.71.1-2build1)
Section: universe/mail
Homepage: https://www.courier-mta.org/
Depends: courier-authlib (>= 0.71.1-2build1), libc6 (>= 2.14), libgcc-s1 (>= 3.0), libmysqlclient21 (>= 8.0.11), libstdc++6 (>= 5.2)
Description:  MySQL support for the Courier authentication library This package contains the MySQL support for the Courier authentication library.
Package: courier-authlib-pipe (0.71.1-2build1)
Section: universe/mail
Homepage: https://www.courier-mta.org/
Depends: courier-authlib (>= 0.71.1-2build1), libc6 (>= 2.15)
Description:  External authentication support for the Courier authentication library This package contains external authentication support via pipes for the Courier authentication library. The authpipe module is a generic plugin that enables authentication requests to be serviced by an external program, then communicates through messages on stdin and stdout.
Package: courier-authlib-postgresql (0.71.1-2build1)
Section: universe/mail
Homepage: https://www.courier-mta.org/
Depends: courier-authlib (>= 0.71.1-2build1), libc6 (>= 2.14), libgcc-s1 (>= 3.0), libpq5, libstdc++6 (>= 5.2)
Description:  PostgreSQL support for the Courier authentication library This package contains the PostgreSQL support for the Courier authentication library.
Package: courier-authlib-sqlite (0.71.1-2build1)
Section: universe/mail
Homepage: https://www.courier-mta.org/
Depends: courier-authlib (>= 0.71.1-2build1), libc6 (>= 2.14), libgcc-s1 (>= 3.0), libsqlite3-0 (>= 3.5.9), libstdc++6 (>= 5.2)
Description:  SQLite 3 support for the Courier authentication library This package contains the SQLite 3 support for the Courier authentication library.
Package: courier-authlib-userdb (0.71.1-2build1)
Section: universe/mail
Homepage: https://www.courier-mta.org/
Depends: courier-authlib (>= 0.71.1-2build1), libc6 (>= 2.33), libcrypt1 (>= 1:4.1.0), libgdbm6 (>= 1.16)
Description:  userdb support for the Courier authentication library This package contains the userdb support for the Courier authentication library. Userdb is a simple way to manage virtual mail accounts using a GDBM-based database file.
Package: courier-authlib (0.71.1-2build1)
Section: universe/mail
Homepage: https://www.courier-mta.org/
Depends: adduser, libc6 (>= 2.33), libcrypt1 (>= 1:4.1.0), libgcc-s1 (>= 3.0), libgdbm6 (>= 1.16), libltdl7 (>= 2.4.6), libpam0g (>= 0.99.7.1), libstdc++6 (>= 5.2)
Description:  Courier authentication library The Courier authentication library provides authentication services for other Courier applications.
Package: courier-base (1.0.16-3build3)
Section: universe/mail
Homepage: http://www.courier-mta.org/
Depends: adduser, courier-authdaemon, courier-authlib (>= 0.66.1), courier-authlib-userdb, debconf (>= 0.5) | debconf-2.0, gnutls-bin, lsb-base, sysvinit-utils (>= 2.88dsf-50), perl:any, libc6 (>= 2.34), libcourier-unicode4 (>= 2.1.2), libgamin0 | libfam0, libgdbm6 (>= 1.16), libgnutls30 (>= 3.7.2), libidn12 (>= 1.13), libpcre3
Description:  Courier mail server - base system The Courier mail transfer agent (MTA) is an integrated mail/groupware server based on open commodity protocols, such as ESMTP, IMAP, POP3, LDAP, TLS, and HTTP. Courier provides ESMTP, IMAP, POP3, webmail, and mailing list services within a single, consistent, framework. . This package provides the functionality needed by all courier packages such as some configuration files, helper programs and the Courier TCP server daemon. . Courier uses the a TLS wrapper application named couriertls instead of embedding TLS support in the different applications. Additionally, this package contains a default set of trusted X.509 root CA certs.
Package: courier-doc (1.0.16-3build3)
Section: universe/doc
Homepage: http://www.courier-mta.org/
Description:  Courier mail server - additional documentation The Courier mail transfer agent (MTA) is an integrated mail/groupware server based on open commodity protocols, such as ESMTP, IMAP, POP3, LDAP, TLS, and HTTP. Courier provides ESMTP, IMAP, POP3, webmail, and mailing list services within a single, consistent, framework. . This package contains additional documentation for Courier.
Package: courier-faxmail (1.0.16-3build3)
Section: universe/mail
Homepage: http://www.courier-mta.org/
Depends: courier-mta (= 1.0.16-3build3), ghostscript, groff, mgetty-fax
Description:  Courier mail server - Fax<->mail gateway The Courier mail transfer agent (MTA) is an integrated mail/groupware server based on open commodity protocols, such as ESMTP, IMAP, POP3, LDAP, TLS, and HTTP. Courier provides ESMTP, IMAP, POP3, webmail, and mailing list services within a single, consistent, framework. . The courierfax module implements a faxmail gateway, which faxes a printed copy of an email message to the phone number specified in the email address (e.g. 5558888@fax).
Package: courier-filter-perl (0.200+ds-4)
Section: universe/perl
Homepage: https://metacpan.org/release/Courier-Filter
Depends: perl, courier-mta, liberror-perl
Description:  purely Perl-based mail filter framework for the Courier MTA Courier::Filter implements the Courier MTA's courierfilter interface as a framework for mail filter modules.  Authors of filter modules can concentrate on writing the actual filter logic without having to care about the usual low-level details of the courierfilter interface.  Logging to various facilities is also supported. . Courier::Filter allows multiple filter modules to be installed in stacked and hierarchically grouped configurations.  Also, modules' polarity can be reversed, so some modules can be used for explicitly accepting messages while others are used in the traditional way for rejecting messages. . The following filter modules are included:   * BlankBody: matching of blank bodies (a stupid spammer symptom)   * DNSBL:     matching of calling MTA's IP address against DNS black-lists   * SPF:       authentication of sender addresses in inbound messages   * SPFout:    authentication of sender addresses in outbound messages   * Envelope:  matching of RFC 2821 message envelope fields   * Header:    matching of RFC 2822 message header fields   * FakeDate:  detection of implausible and malformed date header fields   * ClamAVd:   malware detection using the ClamAV scanner   * SpamAssassin:  spam detection using SpamAssassin   * Parts:     matching of MIME parts and ZIP archive contents   * SendCopy:  sending message copies to additional recipients