k3ylabs/cosoco-image-dataset huggingface dataset:
Package: afflib-tools (3.7.19-2build1)
Section: universe/utils
Homepage: https://github.com/sshock/AFFLIBv3
Depends: libafflib0v5 (>= 3.7.16), libc6 (>= 2.34), libexpat1 (>= 2.0.1), libfuse2 (>= 2.6), libgcc-s1 (>= 3.0), libssl3 (>= 3.0.0~~alpha1), libstdc++6 (>= 11)
Description:  Advanced Forensics Format Library (utilities) The Advanced Forensic Format (AFF) is on-disk format for storing computer forensic information. Critical features of AFF include: .  - AFF allows you to store both computer forensic data and associated    metadata in one or more files.  - AFF allows files to be digital signed, to provide for    chain-of-custody and long-term file integrity.  - AFF allows for forensic disk images to stored encrypted and    decrypted on-the-fly for processing. This allows disk images    containing privacy sensitive material to be stored on the Internet. . This package provides the AFF Toolkit, that is a set of programs for working with computer forensic information. Using these tools you can:  * Interconvert disk images between a variety of formats, including:      - raw or "dd";      - splitraw (in which a single image is split between multiple files);      - AFF format (in which the entire disk image is stored in a single        file);      - AFD format (in which a disk image is stored in multiple AFF files        stored in a single directory);      - AFM format (in which an AFF file is used to annotate a raw file).  * Compare disk images and report the data or metadata that is different.  * Copy disk images from one location to another, with full verification    of data, metadata, and the automatic generation of a chain-of-custody    segment.  * Find errors in an AFF file and fix them.  * Print information about a file.  * Print detailed statistics about a file  * Generate a XML representation of a disk image's metadata (for example,    acquisition time or the serial number of the acquisition device).  * Produce a XML "diskprint" which allows a disk image to be rapidly    fingerprinted without having the computer the SHA1 of the entire    disk. . The AFF Toolkit provides these executables: affcat, affcompare, affconvert, affcopy, affcrypto, affdiskprint, affinfo, affix, affrecover, affsegment, affsign, affstats, affuse, affverify and affxml.
Package: afio (2.5.2-3)
Section: multiverse/utils
Homepage: https://github.com/kholtman/afio
Depends: libc6 (>= 2.34)
Description:  archive file manipulation program Afio manipulates groups of files, copying them within or between filesystems and an afio archive. . Afio archives are portable as they contain only ASCII-formatted header information. Afio makes cpio-format archives.  Afio deals somewhat gracefully with input data corruption.  Afio supports multi-volume archives during interactive operation.  Afio can make compressed archives that are much safer than compressed tar or cpio archives. . Afio is best used as an `archive engine' in a backup script.
Package: afl++-clang (4.00c-1ubuntu1)
Section: universe/devel
Homepage: https://github.com/vanhauser-thc/AFLplusplus
Depends: afl++
Description:  transitional dummy package for afl++-clang to afl++ This is a transitional package. It can safely be removed once afl++ is installed.
Package: afl++-doc (4.00c-1ubuntu1)
Section: universe/doc
Homepage: https://github.com/vanhauser-thc/AFLplusplus
Description:  instrumentation-driven fuzzer for binary formats - documentation American fuzzy lop is a fuzzer that employs compile-time instrumentation and genetic algorithms to automatically discover clean, interesting test cases that trigger new internal states in the targeted binary. . This package provides the documentation, a collection of special crafted test cases, vulnerability samples and experimental stuff.
Package: afl++ (4.00c-1ubuntu1)
Section: universe/devel
Homepage: https://github.com/vanhauser-thc/AFLplusplus
Depends: build-essential, procps, clang-13, clang, libc6 (>= 2.34), libgcc-s1 (>= 3.0), libpython3.10 (>= 3.10.0), libstdc++6 (>= 11)
Description:  instrumentation-driven fuzzer for binary formats American fuzzy lop is a fuzzer that employs compile-time instrumentation and genetic algorithms to automatically discover clean, interesting test cases that trigger new internal states in the targeted binary. This substantially improves the functional coverage for the fuzzed code. The compact synthesized corpora produced by the tool are also useful for seeding other, more labor- or resource-intensive testing regimes down the road. . afl++-fuzz is designed to be practical: it has modest performance overhead, uses a variety of highly effective fuzzing strategies, requires essentially no configuration, and seamlessly handles complex, real-world use cases - say, common image parsing or file compression libraries. . afl++ is a fork of the unmaintained afl.
Package: afl-clang (4.00c-1ubuntu1)
Section: universe/oldlibs
Homepage: https://github.com/vanhauser-thc/AFLplusplus
Depends: afl++-clang
Description:  transitional dummy package for afl-clang to afl++-clang This is a transitional package. It can safely be removed once afl++-clang is installed.
Package: afl-doc (4.00c-1ubuntu1)
Section: universe/oldlibs
Homepage: https://github.com/vanhauser-thc/AFLplusplus
Depends: afl++-doc
Description:  transitional dummy package for afl-doc to afl++-doc This is a transitional package. It can safely be removed once afl++-doc is installed.
Package: afl (4.00c-1ubuntu1)
Section: universe/oldlibs
Homepage: https://github.com/vanhauser-thc/AFLplusplus
Depends: afl++
Description:  transitional dummy package for afl to afl++ This is a transitional package. It can safely be removed once afl++ is installed.
Package: afnix-doc (3.5.0-3)
Section: universe/doc
Homepage: http://www.afnix.org/
Description:  Compiler and run-time for the AFNIX programming language (documentation) AFNIX is a multi-threaded functional programming language with dynamic symbol bindings that support the object oriented paradigm. The language features a state of the art runtime engine. The distribution is available with several clients and a rich set of modules that are designed to be platform independent. . This package contains the documentation for AFNIX.
Package: afnix (3.5.0-3)
Section: universe/interpreters
Homepage: http://www.afnix.org/
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 5), libtinfo6 (>= 6)
Description:  Compiler and run-time for the AFNIX programming language AFNIX is a multi-threaded functional programming language with dynamic symbol bindings that support the object oriented paradigm. The language features a state of the art runtime engine. The distribution is available with several clients and a rich set of modules that are designed to be platform independent.
Package: aft (2:5.098-4.1)
Section: universe/text
Homepage: http://www.maplefish.com/todd/aft.html
Depends: perl (>= 5.6)
Description:  "free form" document preparation system AFT is a document preparation system. It is mostly free form meaning that there is little intrusive markup. AFT source documents look a lot like plain old ASCII text. . AFT has a few rules for structuring your document and these rules have more to do with formatting your text rather than embedding commands. . Right now, AFT produces pretty good (weblint-able) HTML, XHTML, LaTeX, lout and RTF. It can, in fact, be coerced into producing all types of output (e.g. roll-your-own XML). All that needs to be done is to edit a rule file. You can even customize your own HTML rule files for specialized output.
Package: aften (0.0.8+git20100105-0ubuntu3)
Section: universe/sound
Homepage: http://aften.sourceforge.net/
Depends: libc6 (>= 2.27)
Description:  audio AC3 encoder Aften is an audio encoder which generates compressed audio streams based on ATSC A/52 specification. This type of audio is also known as AC-3 or Dolby® Digital and is one of the audio codecs used in DVD-Video content.
Package: afterstep-data (2.2.12-15)
Section: universe/x11
Homepage: http://www.afterstep.org/
Depends: fonts-freefont-ttf, sensible-utils, ucf (>= 1.17)
Description:  data files for AfterStep window manager AfterStep is a window manager based on FVWM which attempts to emulate the NEXTSTEP look and feel, while retaining the configurability of its predecessor.  Note that this window manager makes extensive use of the color palette.  If you have only an 8-bit color display, it will run as packaged, but you may want to modify the configuration to use fewer colors. . The package contains data and configuration files needed by AfterStep.
Package: afterstep (2.2.12-15)
Section: universe/x11
Homepage: http://www.afterstep.org/
Depends: afterstep-data (= 2.2.12-15), aterm | x-terminal-emulator, imagemagick, menu, menu-xdg, sensible-utils, ucf, perl:any, libafterimage0 (>= 2.2.12), libafterstep1 (>= 2.2.12), libc6 (>= 2.15), libdbus-1-3 (>= 1.9.14), libglib2.0-0 (>= 2.26.0), libgtk2.0-0 (>= 2.8.0), libreadline8 (>= 6.0), libx11-6, libxext6
Description:  window manager with the NEXTSTEP look and feel AfterStep is a window manager based on FVWM which attempts to emulate the NEXTSTEP look and feel, while retaining the configurability of its predecessor.  Note that this window manager makes extensive use of the color palette.  If you have only an 8-bit color display, it will run as packaged, but you may want to modify the configuration to use fewer colors. . AfterStep is a continuation of the BowMan window manager project, but the name was changed to reflect the desire that it do more than simply emulate and become a valuable window manager in its own right.
Package: afuse (0.4.1-1.1)
Section: universe/utils
Homepage: https://github.com/pcarrier/afuse
Depends: libc6 (>= 2.34), libfuse2 (>= 2.6)
Description:  automounting file system implemented in user-space using FUSE Afuse is a FUSE based filesystem which implements filesystem automounting functionality similar to Linux's autofs.
Package: agda-bin (2.6.1-1build2.1)
Section: universe/haskell
Homepage: https://wiki.portal.chalmers.se/agda/
Depends: libc6 (>= 2.34), libffi8 (>= 3.4), libgmp10, libtinfo6 (>= 6), zlib1g (>= 1:1.1.4), libghc-agda-dev (<< 2.6.1+~), libghc-agda-dev (>= 2.6.1)
Description:  commandline interface to Agda Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
Package: agda-stdlib-doc (1.3-2)
Section: universe/doc
Homepage: http://wiki.portal.chalmers.se/agda/
Description:  standard library for Agda — documentation Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . The Agda standard library contains modules for many common data structures and proof patterns. Modules provided include:  - Algebra: Specifying and reasoning about abstract algebraic structures  - Category: Using idioms from category theory to structure functional programs  - Coinduction: Support for programming coindutively  - Data: Data types and properties about data types  - Foreign: Relating to the foreign function interface  - Induction: A general framework for induction  - IO: Input/output related functions  - Level: Universe levels  - Relations: Properties of and proofs about relations  - Size: Sizes used by the sized types mechanism . This package contains the hyperlinked library documentation.
Package: agda-stdlib (1.3-2)
Section: universe/libs
Homepage: http://wiki.portal.chalmers.se/agda/
Depends: libghc-agda-dev (>= 2.6.1), libghc-agda-dev (<< 2.6.2~)
Description:  standard library for Agda Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . The Agda standard library contains modules for many common data structures and proof patterns. Modules provided include:  - Algebra: Specifying and reasoning about abstract algebraic structures  - Category: Using idioms from category theory to structure functional programs  - Coinduction: Support for programming coindutively  - Data: Data types and properties about data types  - Foreign: Relating to the foreign function interface  - Induction: A general framework for induction  - IO: Input/output related functions  - Level: Universe levels  - Relations: Properties of and proofs about relations  - Size: Sizes used by the sized types mechanism . This package contains the complete library.
Package: agda (2.6.1-1build2.1)
Section: universe/misc
Homepage: https://wiki.portal.chalmers.se/agda/
Depends: agda-bin, agda-stdlib, agda-stdlib-doc, elpa-agda2-mode, libghc-agda-dev
Description:  dependently typed functional programming language Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This is a meta package which provides Agda's emacs mode, executable, standard library and its documentation.
Package: age (1.0.0-1)
Section: universe/utils
Homepage: https://github.com/FiloSottile/age
Depends: libc6 (>= 2.34)
Description:  simple, modern and secure encryption tool age features small explicit keys, no config options, and UNIX-style composability.
Package: agedu (9723-1build1)
Section: universe/utils
Homepage: http://www.chiark.greenend.org.uk/~sgtatham/agedu/
Depends: libc6 (>= 2.15)
Description:  Unix utility for tracking down wasted disk space Unix provides the standard du utility, which scans your disk and tells you which directories contain the largest amounts of data. That can help you narrow your search to the things most worth deleting. . However, that only tells you what's big. What you really want to know is what's too big. By itself, du won't let you distinguish between data that's big because you're doing something that needs it to be big, and data that's big because you unpacked it once and forgot about it. . To make this difference, agedu relies on the atime of the files.
Package: agenda.app (0.46-2build1)
Section: universe/misc
Homepage: https://github.com/poroussel/simpleagenda
Depends: gnustep-back0.29 (>= 0.29.0), gnustep-base-runtime (>= 1.28.0), gnustep-gui-runtime (>= 0.29.0), libaddresses0, libc6 (>= 2.34), libdbuskit0, libgcc-s1 (>= 3.0), libgnustep-base1.28 (>= 1.28.0), libgnustep-gui0.29 (>= 0.29.0), libical3 (>= 3.0.0), libobjc4 (>= 4.6), libuuid1 (>= 2.16)
Description:  Calendar manager for GNUstep SimpleAgenda is a an application to manage your calendars.  It handles both local and remote (webcal) calendars.  Calendars can be shared with other programs like Evolution, Dates, IceApe Calendar and others.  The following features are available: .  * Multiple agendas.  * Handle both events and tasks.  * Support for local and remote (ftp, http) iCalendar agendas.  * Monthly calendar, day view, summary and tasks view.  * Create, resize and move appointments easily.  * Export individual elements as files and to the pasteboard.  * Import .ics files.  * Simple text search.  * Alarms with multiple backends.
Package: agent-transfer (0.43-3.1)
Section: universe/net
Homepage: https://web.monkeysphere.info/
Depends: gnupg-agent (>= 2.1.0), libassuan0 (>= 2.0.1), libc6 (>= 2.14), libgcrypt20 (>= 1.8.0), libgpg-error0 (>= 1.14)
Description:  copy a secret key from GnuPG's gpg-agent to OpenSSH's ssh-agent agent-transfer is a simple utility to extract a secret RSA or Ed25519 key from GnuPG's gpg-agent and send it to a running ssh-agent.  This is useful for those who prefer the runtime semantics and behavior of OpenSSH's ssh-agent, but whose secret keys are held in long-term storage by GnuPG's gpg-agent. . This tool comes from the monkeysphere project.
Package: aggregate (1.6-7build1)
Section: universe/net
Depends: libc6 (>= 2.4)
Description:  ipv4 cidr prefix aggregator takes a list of prefixes in conventional format on stdin, and performs two optimisations to reduce the length of the prefix list. It removes any supplied prefixes which are supurfluous because they are already included in another supplied prefix (e.g., 203.97.2.0/24 would be removed if 203.97.0.0/17 was also supplied), and identifies adjacent prefixes that can be combined under a single, shorter-length prefix (e.g., 203.97.2.0/24 and 203.97.3.0/24 can be combined into the single prefix 203.97.2.0/23).
Package: aghermann (1.1.2-3build3)
Section: universe/science
Homepage: http://johnhommer.com/academic/code/aghermann
Depends: libc6 (>= 2.34), libcairo2 (>= 1.2.4), libconfig++9v5 (>= 1.5-0.4~), libfftw3-double3 (>= 3.3.5), libgcc-s1 (>= 3.3.1), libglib2.0-0 (>= 2.31.18), libgomp1 (>= 6), libgsl27 (>= 2.7.1), libgtk-3-0 (>= 3.21.5), libitpp8v5 (>= 4.3.1), liblua5.2-0, libpango-1.0-0 (>= 1.14.0), libsamplerate0 (>= 0.1.7), libstdc++6 (>= 11), libvte-2.91-0
Description:  Sleep-research experiment manager Aghermann is a program designed around a common workflow in sleep-research, complete with scoring facility; cairo subpixel drawing on screen or to file; conventional PSD and EEG Micrcontinuity profiles; Independent Component Analysis; artifact detection; and Process S simulation following Achermann et al, 1993.
Package: aglfn (1.7+git20191031.4036a9c-2)
Section: universe/fonts
Homepage: https://github.com/adobe-type-tools/agl-aglfn
Description:  Adobe Glyph List For New Fonts AGL (Adobe Glyph List) maps glyph names to Unicode values for the purpose of deriving content. AGLFN (Adobe Glyph List For New Fonts) is a subset of AGL that excludes the glyph names associated with the PUA (Private Use Area), and is meant to specify preferred glyph names for new fonts. Also included is the ITC Zapf Dingbats Glyph List, which is similar to AGL in that it maps glyph names to Unicode values for the purpose of deriving content, but only for the glyphs in the ITC Zapf Dingbats font. . Be sure to visit the AGL Specification and Developer Documentation pages for detailed information about naming glyphs, interpreting glyph names, and developing OpenType fonts.
Package: agordejo (0.3.1-0ubuntu1)
Section: universe/sound
Homepage: https://www.laborejo.org/agordejo/
Depends: linuxaudio-new-session-manager, jackd2, sensible-utils
Description:  Music Production Session Manager Agordejo (Esperanto: ‘place to set things up’) is a music production session manager. It is used to start your programs, remember their (JACK) interconnections and make your life easier in general.
Package: aha (0.5.1-2)
Section: universe/utils
Homepage: https://github.com/theZiz/aha
Depends: libc6 (>= 2.34)
Description:  ANSI color to HTML converter aha (ANSI HTML Adapter) converts ANSI colors to HTML, e.g. if you want to publish the output of ls --color=yes, git diff, ccal or htop as static HTML somewhere.
Package: ahcpd (0.53-3)
Section: universe/net
Homepage: https://www.irif.fr/~jch/software/ahcp/
Depends: lsb-base, libc6 (>= 2.15)
Description:  Ad-Hoc Configuration Protocol AHCP is an autoconfiguration protocol for IPv6 and dual-stack IPv6/IPv4 networks designed to be used in place of router discovery and DHCP on networks where it is difficult or impossible to configure a server within every link-layer broadcast domain, for example mobile ad-hoc networks. AHCP will automatically configure the IPv6 prefix, an IPv4 address for every host, the routing protocol, the DNS server and the NTP server. It is currently able to configure hosts for static routing, for use of the OLSR protocol, or for use of the Babel protocol. AHCP is extensible, so adding support for other routing protocols should be easy.
Package: aide-common (0.17.4-1)
Section: admin
Homepage: https://aide.github.io
Depends: aide (>= 0.17), bsd-mailx | mailx, liblockfile1, ucf (>= 2.0020), debconf (>= 0.5) | debconf-2.0
Description:  Advanced Intrusion Detection Environment - Common files AIDE is an intrusion detection system that detects changes to files on the local system. It creates a database from the regular expression rules that it finds from the config file. Once this database is initialized it can be used to verify the integrity of the files. It has several message digest algorithms (md5, sha1, rmd160, tiger, haval, etc.) that are used to check the integrity of the file. More algorithms can be added with relative ease. All of the usual file attributes can also be checked for inconsistencies. . This package contains base and configuration files that are needed to run the actual binaries. . You will almost certainly want to tweak the configuration file in /etc/aide/aide.conf or drop your own config snippets into /etc/aide/aide.conf.d.
Package: aide-dynamic (0.17.4-1)
Section: universe/admin
Homepage: https://aide.github.io
Depends: aide (>= 0.17.3-5~)
Description:  Advanced Intrusion Detection Environment - transitional package AIDE is an intrusion detection system that detects changes to files on the local system. It creates a database from the regular expression rules that it finds from the config file. Once this database is initialized it can be used to verify the integrity of the files. It has several message digest algorithms (md5, sha1, rmd160, tiger, haval, etc.) that are used to check the integrity of the file. More algorithms can be added with relative ease. All of the usual file attributes can also be checked for inconsistencies. . This is a transitional package to allow the seamless replacement of the aide-dynamic package with the normal aide package, which is now also dynamically linked. See NEWS.Debian for an explanation.