k3ylabs/cosoco-image-dataset huggingface dataset:
Package: minimap (0.2-6)
Section: universe/science
Homepage: https://github.com/lh3/minimap
Depends: libc6 (>= 2.34), zlib1g (>= 1:1.1.4)
Description:  tool for approximate mapping of long biosequences such as DNA reads Minimap is an experimental tool to efficiently find multiple approximate mapping positions between two sets of long biological sequences, such as between DNA reads and reference genomes, between genomes and between long noisy reads. Minimap does not generate alignments as of now and because of this, it is usually tens of times faster than mainstream aligners. It does not replace mainstream aligners, but it can be useful when you want to quickly identify long approximate matches at moderate divergence among a huge collection of sequences. For this task, it is much faster than most existing tools.
Package: minimodem (0.24-1)
Section: universe/comm
Homepage: http://www.whence.com/minimodem
Depends: libasound2 (>= 1.0.16), libc6 (>= 2.15), libfftw3-single3, libpulse0 (>= 0.99.1), libsndfile1 (>= 1.0.20)
Description:  general-purpose software audio FSK modem Minimodem is a command-line program which decodes (or generates) audio modem tones at any specified baud rate, using various framing protocols. It acts a general-purpose software FSK modem, and includes support for various standard FSK protocols such as Bell103, Bell202, RTTY, TTY/TDD, NOAA SAME, and Caller-ID. . Minimodem can play and capture audio modem tones in real-time via the system audio device, or in batched mode via audio files. . Minimodem can be used to transfer data between nearby computers using an audio cable (or just via sound waves), or between remote computers using radio, telephone, or another audio communications medium.
Package: mininet (2.3.0-1ubuntu1)
Section: universe/net
Homepage: http://mininet.org/
Depends: cgroup-tools, iperf, net-tools, python3, socat, telnet, python3-pkg-resources, python3:any, libc6 (>= 2.4)
Description:  process-based network emulator Mininet is a network emulator which uses lightweight virtualization to create virtual networks for rapid prototyping of Software-Defined Network (SDN) designs using OpenFlow.
Package: minisapserver (0.3.6-1.1build2)
Section: universe/net
Homepage: http://www.videolan.org
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 5.2)
Description:  Mini SAP Server Mini SAP Server from VideoLan project is a small standalone application that can produce Session Announcement Protocol (SAP) announcements in Session Description Protocol (SDP) format. SAP is  described in RFC2974. SDP in RFC4566. . This is a mini-sap-server from VideoOnLan project.
Package: minisat+ (1.0-4build1)
Section: universe/science
Homepage: http://minisat.se/MiniSat+.html
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libgmp10, libstdc++6 (>= 5)
Description:  solver for pseudo-Boolean constraints MinSat+ is a solver for Pseudo-Boolean Optimization (AKA 0-1 integer programming) that is based on the MiniSat SAT-solver. It supports optimizing a linear objective function, subject to a set of linear constraints. The variables of the objective function and constraints are boolean, i.e. required to be 0 or 1. Pseudo-Boolean optimization can be used to solve many kinds of combinatorial optimization problems. This version of Minisat+ is compiled with bignum support for constraint coefficients.
Package: minisat2 (1:2.2.1-5build2)
Section: universe/science
Homepage: http://minisat.se/
Depends: minisat
Description:  Transitional package for minisat This is a transitional package for minisat, and can be safely removed after the installation is complete.
Package: minisat (1:2.2.1-5build2)
Section: universe/science
Homepage: http://minisat.se/
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)
Description:  Fast and lightweight SAT solver Despite the NP completeness of the satisfiability problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems. . MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT.
Package: minissdpd (1.5.20211105-1)
Section: universe/net
Homepage: http://miniupnp.free.fr/minissdpd.html
Depends: debconf, lsb-base, debconf (>= 0.5) | debconf-2.0, init-system-helpers (>= 1.51), libc6 (>= 2.34), libnfnetlink0
Description:  keep memory of all UPnP devices that announced themselves MiniSSDPd is a small daemon used by MiniUPnPc (a UPnP control point for IGD devices) to speed up device discoveries. MiniSSDPd keeps memory of all UPnP devices that announced themselves on the network through SSDP NOTIFY packets. MiniSSDPd also has the ability to handle all SSDP traffic received on a computer via the multicast group 239.255.255.250:1900. . MiniSSDPd receives NOTIFY packets and stores information contained for later use by UPnP Control Points on the machine. MiniSSDPd receives M-SEARCH packets and answers on behalf of the UPnP devices running on the machine. MiniUPnPd and MiniUPnPc are designed to take automatically advantage of MiniSSDPd running on the same computer. Just make sure that MiniSSDPd is started before any other UPnP program on the computer.
Package: ministat (20150715-1build1)
Section: universe/math
Depends: libc6 (>= 2.14)
Description:  simple tool for statistical comparison of data sets The ministat command from FreeBSD.  It calculates fundamental statistical properties of one or two numeric data sets, and whether a difference can be found between two data sets at a given confidence level.
Package: ministocks (0+git20200120-2)
Section: universe/misc
Homepage: https://github.com/Dakostu/MiniStocks
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libqt5core5a (>= 5.12.2), libqt5gui5 (>= 5.0.2) | libqt5gui5-gles (>= 5.0.2), libqt5network5 (>= 5.0.2), libqt5widgets5 (>= 5.9.0~beta), libstdc++6 (>= 6)
Description:  minimalistic QT stock ticker for Linux This is a Qt widget focussing on a minimalistic display of real-time stock data.
Package: minitube (3.9.1-1)
Section: universe/video
Homepage: http://flavio.tordini.org/minitube
Depends: libc6 (>= 2.34), libmpv1 (>= 0.29), libqt5core5a (>= 5.15.1), libqt5dbus5 (>= 5.14.1), libqt5gui5 (>= 5.14.1) | libqt5gui5-gles (>= 5.14.1), libqt5network5 (>= 5.15.1), libqt5qml5 (>= 5.0.2), libqt5sql5 (>= 5.3.0), libqt5widgets5 (>= 5.15.1), libqt5x11extras5 (>= 5.6.0), libstdc++6 (>= 5), default-dbus-session-bus | dbus-session-bus, libqt5sql5-sqlite
Description:  Native YouTube client Minitube is a native YouTube client. With it you can watch YouTube videos in a new way: you type a keyword, Minitube gives you an endless video stream. . Minitube does not require the Flash Player. . Minitube is not about cloning the original YouTube web interface, it aims to create a new TV-like experience.
Package: miniupnpc (2.2.3-1build1)
Section: universe/net
Homepage: http://miniupnp.free.fr/
Depends: libc6 (>= 2.34), libminiupnpc17 (>= 1.9.20140610)
Description:  UPnP IGD client lightweight library client The UPnP protocol is supported by most home adsl/cable routers and Microsoft Windows 2K/XP. The aim of the MiniUPnP project is to bring a free software solution to support the "Internet Gateway Device" part of the protocol. The MediaServer/MediaRenderer UPnP protocol is also becoming very popular. . Miniupnpc aims at the simplest library possible, with the smallest footprint and no dependencies to other libraries such as XML parsers or HTTP implementations. All the code is pure ANSI C. Compiled on a x86 PC, the miniupnp client library have less than 15KB code size. For instance, the upnpc sample program is around 20KB. The miniupnp daemon is much smaller than any other IGD daemon and is ideal for using on low memory device for this reason. . This package is an example client for the library.
Package: miniupnpd-iptables (2.2.3-1)
Section: universe/net
Homepage: http://miniupnp.free.fr/
Depends: iptables, libc6 (>= 2.34), libip4tc2 (>= 1.8.3), libip6tc2 (>= 1.8.3)
Description:  UPnP and NAT-PMP daemon for gateway routers - legacy iptables backend MiniUPnPd is a small daemon which can be installed on a NAT router to provide UPnP Internet Gateway Device and Port Mapping Protocol services, enabling clients on the LAN to ask for port redirections. It is compatible with peer-to-peer software, messaging applications, and games consoles that connect to online services (including Xbox LIVE and the PlayStation Network). . This package provides miniupnpd with iptables backend. The iptables/xtables framework has been replaced by nftables. You should consider migrating now.
Package: miniupnpd-nftables (2.2.3-1)
Section: universe/net
Homepage: http://miniupnp.free.fr/
Depends: libc6 (>= 2.34), libmnl0 (>= 1.0.3-4~), libnftnl11 (>= 1.1.2)
Description:  UPnP and NAT-PMP daemon for gateway routers - nftables backend MiniUPnPd is a small daemon which can be installed on a NAT router to provide UPnP Internet Gateway Device and Port Mapping Protocol services, enabling clients on the LAN to ask for port redirections. It is compatible with peer-to-peer software, messaging applications, and games consoles that connect to online services (including Xbox LIVE and the PlayStation Network). . This package provides miniupnpd with nftables backend.
Package: miniupnpd (2.2.3-1)
Section: universe/net
Homepage: http://miniupnp.free.fr/
Depends: debconf, lsb-base, uuid-runtime, miniupnpd-nftables | miniupnpd-iptables, debconf (>= 0.5) | debconf-2.0, init-system-helpers (>= 1.51)
Description:  UPnP and NAT-PMP daemon for gateway routers MiniUPnPd is a small daemon which can be installed on a NAT router to provide UPnP Internet Gateway Device and Port Mapping Protocol services, enabling clients on the LAN to ask for port redirections. It is compatible with peer-to-peer software, messaging applications, and games consoles that connect to online services (including Xbox LIVE and the PlayStation Network).
Package: minizinc-ide (2.5.3-1)
Section: universe/devel
Homepage: http://www.minizinc.org/ide/
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libqt5core5a (>= 5.15.1), libqt5gui5 (>= 5.14.1) | libqt5gui5-gles (>= 5.14.1), libqt5network5 (>= 5.14.1), libqt5sql5 (>= 5.0.2), libqt5webchannel5 (>= 5.6.1), libqt5webenginewidgets5 (>= 5.7.1), libqt5widgets5 (>= 5.14.1), libstdc++6 (>= 5.2), minizinc (>= 2.4.1)
Description:  MiniZinc constraint modelling language IDE The MiniZinc IDE is a simple Integrated Development Environment for writing and running MiniZinc models. It provides a tabbed editor with MiniZinc syntax highlighting, configuration dialogs for solver options and model parameters, and an integrated environment for compiling models and running solvers.
Package: minizinc (2.5.3+dfsg1-1)
Section: universe/devel
Homepage: http://www.minizinc.org/
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libgecode49, libgecodegist49, libstdc++6 (>= 9), flatzinc (>= 6.2.0-1)
Description:  constraint modelling language and tool chain MiniZinc is a medium-level constraint modelling language. It is high-level enough to express most constraint problems easily, but low-level enough that it can be mapped onto existing solvers easily and consistently. It is a subset of the higher-level language Zinc. . MiniZinc is designed to interface easily to different backend solvers.  It does this by transforming an input MiniZinc model and data file into a FlatZinc model. FlatZinc models consist of variable declaration and constraint definitions as well as a definition of the objective function if the problem is an optimization problem. The translation from MiniZinc to FlatZinc is specializable to individual backend solvers, so they can control what form constraints end up in. In particular, MiniZinc allows the specification of global constraints by decomposition.
Package: minizip (1.1-8build1)
Section: universe/utils
Homepage: http://www.winimage.com/zLibDll/minizip.html
Depends: libc6 (>= 2.14), libminizip1 (>= 1.1), zlib1g (>= 1:1.1.4)
Description:  compression library - minizip tools minizip is a minimalistic library that supports compressing, extracting, viewing, and manipulating zip files. . This package includes the minizip and miniunzip tools.
Package: minlog (4.0.99.20100221-7)
Section: universe/math
Homepage: http://www.minlog-system.de
Depends: racket | guile
Description:  Proof assistant based on first order natural deduction calculus intended to reason about computable functionals, using minimal rather than classical or intuitionistic logic. The main motivation behind MINLOG is to exploit the proofs-as-programs paradigm for program development and program verification. Proofs are in fact treated as first class objects which can be normalized. If a formula is existential then its proof can be used for reading off an instance of it, or changed appropriately for program development by proof transformation. To this end MINLOG is equipped with tools to extract functional programs directly from proof terms. This also applies to non-constructive proofs, using a refined A-translation. The system is supported by automatic proof search and normalization by evaluation as an efficient term rewriting device. . Minlog can be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-minlog package to be installed.
Package: minpack-dev (19961126+dfsg1-5build1)
Section: universe/devel
Homepage: https://www.netlib.org/minpack/
Depends: libminpack1 (= 19961126+dfsg1-5build1)
Description:  nonlinear equations and nonlinear least squares static library Minpack includes software for solving nonlinear equations and nonlinear least squares problems.  Five algorithmic paths each include a core subroutine and an easy-to-use driver.  The algorithms proceed either from an analytic specification of the Jacobian matrix or directly from the problem functions.  The paths include facilities for systems of equations with a banded Jacobian matrix, for least squares problems with a large amount of data, and for checking the consistency of the Jacobian matrix with the functions. . This package provides the headers, man pages, examples, and static library.
Package: minuet-data (21.12.3-0ubuntu1)
Section: universe/kde
Homepage: https://minuet.kde.org/
Description:  data files for Minuet Music education Free Software, thoughtfully designed to push your musical skills to the next level. Enhance your ability to recognize intervals, chords, rhythm, and scales while enjoying all the power of Free Software. . This package contains the data files for Minuet.
Package: minuet (21.12.3-0ubuntu1)
Section: universe/kde
Homepage: https://minuet.kde.org/
Depends: freepats, minuet-data (= 21.12.3-0ubuntu1), timidity, libc6 (>= 2.34), libfluidsynth3 (>= 2.0.5), libgcc-s1 (>= 3.3.1), libkf5coreaddons5 (>= 5.15.0~), libkf5crash5 (>= 5.15.0), libkf5i18n5 (>= 5.17.0), libqt5core5a (>= 5.15.1), libqt5gui5 (>= 5.7.0~) | libqt5gui5-gles (>= 5.7.0~), libqt5qml5 (>= 5.7.0~), libstdc++6 (>= 5)
Description:  KDE Software for Music Education Music education Free Software, thoughtfully designed to push your musical skills to the next level. Enhance your ability to recognize intervals, chords, rhythm, and scales while enjoying all the power of Free Software.
Package: mipe (1.1-9)
Section: universe/science
Homepage: http://mipe.sourceforge.net
Depends: libxml-twig-perl, libxml-perl, perl:any
Description:  Tools to store PCR-derived data MIPE provides a standard format to exchange and/or storage of all information associated with PCR experiments using a flat text file. This will:  * allow for exchange of PCR data between researchers/laboratories  * enable traceability of the data  * prevent problems when submitting data to dbSTS or dbSNP  * enable the writing of standard scripts to extract data (e.g. a    list of PCR primers, SNP positions or haplotypes for different animals) . Although this tool can be used for data storage, it's primary focus should be data exchange. For larger repositories, relational databases are more appropriate for storage of these data. The MIPE format could then be used as a standard format to import into and/or export from these databases.
Package: mir-demos (2.7.0-0ubuntu3)
Section: universe/x11
Homepage: https://mir-server.io/
Depends: libboost-filesystem1.74.0 (>= 1.74.0), libc6 (>= 2.34), libegl1, libfreetype6 (>= 2.2.1), libgcc-s1 (>= 3.3.1), libgles2, libglib2.0-0 (>= 2.12.0), libmiral4 (>= 3.3.0), libmircore1 (>= 2.7.0), libstdc++6 (>= 11), libwayland-client0 (>= 1.20.0), libwayland-egl1 (>= 1.15.0), inotify-tools
Description:  Display server for Ubuntu - demonstration programs Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . Contains demo applications that use the Mir display server
Package: mir-doc (2.7.0-0ubuntu3)
Section: doc
Homepage: https://mir-server.io/
Description:  API documentation for mir This package installs the mir API documentation.
Package: mir-graphics-drivers-desktop (2.7.0-0ubuntu3)
Section: universe/libs
Homepage: https://mir-server.io/
Depends: mir-platform-graphics-gbm-kms, mir-platform-graphics-x, mir-platform-graphics-wayland
Description:  Display server for Ubuntu - desktop driver metapackage Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . This package depends on a full set of graphics and input drivers for traditional desktop systems.
Package: mir-graphics-drivers-nvidia (2.7.0-0ubuntu3)
Section: universe/libs
Homepage: https://mir-server.io/
Depends: mir-platform-graphics-eglstream-kms, mir-platform-graphics-x
Description:  Display server for Ubuntu - Nvidia driver metapackage Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . This package depends on a full set of graphics and input drivers for Nvidia systems.
Package: mir-platform-graphics-eglstream-kms19 (2.7.0-0ubuntu3)
Section: universe/libs
Homepage: https://mir-server.io/
Depends: libc6 (>= 2.34), libdrm2 (>= 2.4.62), libepoxy0 (>= 1.3), libgcc-s1 (>= 3.3.1), libgles2, libmircommon8 (>= 2.7.0), libmircore1 (>= 2.7.0), libmirplatform23 (>= 2.7.0), libnvidia-egl-wayland1 (>= 1:1.1.7), libstdc++6 (>= 12), libwayland-server0 (>= 1.3.92)
Description:  Display server for Ubuntu - platform library for NVIDIA Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . Contains the shared libraries required for the Mir server to interact with the hardware platform using the EGLStream EGL extensions, such as the NVIDIA binary driver.
Package: mir-platform-graphics-eglstream-kms (2.7.0-0ubuntu3)
Section: universe/libs
Homepage: https://mir-server.io/
Depends: mir-platform-graphics-eglstream-kms19, mir-platform-input-evdev8
Description:  Display server for Ubuntu - eglstream-kms driver metapackage Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . This package depends on a full set of graphics and input drivers for eglstream-kms systems.
Package: mir-platform-graphics-gbm-kms19 (2.7.0-0ubuntu3)
Section: universe/libs
Homepage: https://mir-server.io/
Depends: libboost-program-options1.74.0 (>= 1.74.0), libc6 (>= 2.32), libdrm2 (>= 2.4.71), libegl1, libgbm1 (>= 10.2~0), libgcc-s1 (>= 3.3.1), libgles2, libmircommon8 (>= 2.7.0), libmircore1 (>= 2.7.0), libmirplatform23 (>= 2.7.0), libstdc++6 (>= 12), libwayland-server0 (>= 1.3.92)
Description:  Display server for Ubuntu - platform library for GBM KMS Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . Contains the shared libraries required for the Mir server to interact with the hardware platform using the Mesa drivers.
Package: mir-platform-graphics-gbm-kms (2.7.0-0ubuntu3)
Section: universe/libs
Homepage: https://mir-server.io/
Depends: mir-platform-graphics-gbm-kms19, mir-platform-input-evdev8
Description:  Display server for Ubuntu - gbm-kms driver metapackage Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . This package depends on a full set of graphics and input drivers for gbm-kms systems.
Package: mir-platform-graphics-wayland19 (2.7.0-0ubuntu3)
Section: universe/libs
Homepage: https://mir-server.io/
Depends: libboost-program-options1.74.0 (>= 1.74.0), libc6 (>= 2.34), libegl1, libepoxy0 (>= 1.0), libgcc-s1 (>= 3.3.1), libgles2, libmircommon8 (>= 2.7.0), libmircore1 (>= 2.7.0), libmirplatform23 (>= 2.7.0), libstdc++6 (>= 12), libwayland-client0 (>= 1.20.0), libwayland-egl1 (>= 1.15.0), libwayland-server0 (>= 1.3.92), libxkbcommon0 (>= 0.5.0)
Description:  Display server for Ubuntu - platform library for Wayland Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . Contains the shared libraries required for the Mir server to interact with a "host" Wayland display server.
Package: mir-platform-graphics-wayland (2.7.0-0ubuntu3)
Section: universe/libs
Homepage: https://mir-server.io/
Depends: mir-platform-graphics-wayland19
Description:  Display server for Ubuntu - wayland driver metapackage Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . This package depends on a full set of graphics and input drivers for wayland systems.
Package: mir-platform-graphics-x19 (2.7.0-0ubuntu3)
Section: universe/libs
Homepage: https://mir-server.io/
Depends: libboost-program-options1.74.0 (>= 1.74.0), libc6 (>= 2.32), libegl1, libgcc-s1 (>= 3.3.1), libgles2, libmircommon8 (>= 2.7.0), libmircore1 (>= 2.7.0), libmirplatform23 (>= 2.7.0), libstdc++6 (>= 12), libwayland-server0 (>= 1.3.92), libx11-6, libx11-xcb1 (>= 2:1.7.2), libxcb-xfixes0, libxcb-xkb1, libxcb1, libxkbcommon-x11-0 (>= 0.5.0), libxkbcommon0 (>= 0.5.0)
Description:  Display server for Ubuntu - platform library for X11 Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . Contains the shared libraries required for the Mir server to interact with the X11 platform.
Package: mir-platform-graphics-x (2.7.0-0ubuntu3)
Section: universe/libs
Homepage: https://mir-server.io/
Depends: mir-platform-graphics-x19
Description:  Display server for Ubuntu - x driver metapackage Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . This package depends on a full set of graphics and input drivers for X systems.
Package: mir-platform-input-evdev8 (2.7.0-0ubuntu3)
Section: universe/libs
Homepage: https://mir-server.io/
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libinput10 (>= 1.1.0), libmircommon8 (>= 2.7.0), libmircore1 (>= 2.7.0), libmirplatform23 (>= 2.7.0), libstdc++6 (>= 11), libudev1 (>= 183)
Description:  Display server for Ubuntu - input platform library Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . Contains the shared libraries required for the Mir server to interact with the input hardware using the evdev interface.
Package: mir-renderer-gl-dev (2.7.0-0ubuntu3)
Section: libdevel
Homepage: https://mir-server.io/
Description:  Display server for Ubuntu - GL Renderer development files Mir is a display server running on linux systems, with a focus on efficiency, robust operation and a well-defined driver model. . Contains header files that define the interfaces through which platforms and renderers access the functionality needed to render with GL.