k3ylabs/cosoco-image-dataset huggingface dataset:
Package: mercantile (1.1.5-1)
Section: universe/utils
Homepage: https://github.com/mapbox/mercantile
Depends: python3-mercantile (>= 1.1.5-1), python3:any
Description:  Command line utility of mercantile Python package The mercantile module provides functions that respectively return the upper left corner and bounding longitudes and latitudes for XYZ tiles, spherical mercator x and y coordinates, tile containing a given point, and quadkey conversion functions for translating between quadkey and tile coordinates. . Also in mercantile are functions to traverse the tile stack. Named tuples are used to represent tiles, coordinates, and bounding boxes. . This package contains the mercantile utility.
Package: mercurial-common (6.1.1-1ubuntu1)
Section: universe/devel
Homepage: https://www.mercurial-scm.org/
Depends: python3:any
Description:  easy-to-use, scalable distributed version control system (common files) Mercurial is a fast, lightweight Source Control Management system designed for efficient handling of very large distributed projects. . This package contains the architecture independent components of Mercurial, and is generally useless without the mercurial package.
Package: mercurial-git (0.10.4-3)
Section: universe/vcs
Homepage: https://hg-git.github.io/
Depends: python3-mercurial, python3-dulwich (>= 0.20.6), python3:any
Description:  Git plugin for Mercurial The Hg-Git plugin for Mercurial adds the ability to push and pull to/from a Git server repository. This means you can collaborate on Git based projects from Mercurial, or use a Git server as a collaboration point for a team with developers using both Git and Mercurial. . The plugin can convert commits/changesets losslessly from one system to another, so you can push via a Mercurial repository and another Mercurial client can pull it and their changeset node ids will be identical - Mercurial data does not get lost in translation.
Package: mercurial-keyring (1.3.1-3)
Section: universe/python
Homepage: https://pypi.python.org/pypi/mercurial_keyring
Depends: mercurial, python3-keyring, python3-mercurial-extension-utils, python3:any
Description:  Mercurial Keyring Extension mercurial_keyring is a Mercurial extension used to securely save HTTP and SMTP authentication passwords in password databases (GNOME Keyring, KDE KWallet, OSXKeyChain, specific solutions for Win32 and command line). This extension uses and wraps services of the keyring library.
Package: mercurial (6.1.1-1ubuntu1)
Section: universe/devel
Homepage: https://www.mercurial-scm.org/
Depends: mercurial-common (= 6.1.1-1ubuntu1), ucf (>= 2.0020), python3 (<< 3.11), python3 (>= 3.10~), python3:any, libc6 (>= 2.34)
Description:  easy-to-use, scalable distributed version control system Mercurial is a fast, lightweight Source Control Management system designed for efficient handling of very large distributed projects. . Its features include:  * O(1) delta-compressed file storage and retrieval scheme  * Complete cross-indexing of files and changesets for efficient exploration    of project history  * Robust SHA1-based integrity checking and append-only storage model  * Decentralized development model with arbitrary merging between trees  * High-speed HTTP-based network merge protocol  * Easy-to-use command-line interface  * Integrated stand-alone web interface  * Small Python codebase . This package contains the architecture dependent files.
Package: mergelog (4.5.1-10)
Section: universe/utils
Homepage: http://mergelog.sourceforge.net/
Depends: libc6 (>= 2.7), zlib1g (>= 1:1.1.4)
Description:  utility that merges httpd log files by date A small and fast C program which merges and sorts http log files in 'Common Log Format' from web servers behind round-robin DNS.  It has been designed to easily manage huge log files from highly stressed servers.
Package: mergerfs (2.33.3-1)
Section: universe/utils
Homepage: https://github.com/trapexit/mergerfs
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11), libfuse2, fuse
Description:  another FUSE union filesystem mergerfs is a union filesystem geared towards simplifying storage and management of files across numerous commodity storage devices. It is similar to mhddfs, unionfs, and aufs. . Some salient features include  * Runs in userspace (FUSE)  * Configurable behaviors  * Support for extended attributes (xattrs)  * Support for file attributes (chattr)  * Runtime configurable (via xattrs)  * Safe to run as root  * Opportunistic credential caching  * Works with heterogeneous filesystem types  * Handling of writes to full drives  * Handles pool of readonly and read/write drives
Package: meritous-data (1.5-1.1)
Section: universe/games
Homepage: https://gitlab.com/meritous
Description:  action-adventure dungeon crawl game (datafiles) Meritous is a action-adventure game with simple controls but a challenge to find a balance of power verses recovery time during greal-time battles. Set in a procedurally generated world, the player can explore thousands of rooms in search of powerful artifacts, tools to help them, and to eventually free the Orcus Dome from evil. . This package contains the architecture-independent data files used by meritous.
Package: meritous (1.5-1.1)
Section: universe/games
Homepage: https://gitlab.com/meritous
Depends: libc6 (>= 2.29), libsdl-image1.2 (>= 1.2.10), libsdl-mixer1.2, libsdl1.2debian (>= 1.2.11), zlib1g (>= 1:1.1.4), meritous-data (= 1.5-1.1)
Description:  action-adventure dungeon crawl game Far below the surface of the planet is a secret.  A place of limitless power. Those that seek to control such a utopia will soon bring an end to themselves. Seeking an end to the troubles that plague him, PSI user MERIT journeys into the hallowed Orcus Dome in search of answers. . Meritous is a action-adventure game with simple controls but a challenge to find a balance of power verses recovery time during real-time battles. Set in a procedurally generated world, the player can explore thousands of rooms in search of powerful artifacts, tools to help them, and to eventually free the Orcus Dome from evil.
Package: merkaartor (0.19.0+ds-2build2)
Section: universe/science
Homepage: http://www.merkaartor.be/
Depends: libc6 (>= 2.34), libexiv2-27 (>= 0.27.2), libgcc-s1 (>= 3.3.1), libgdal30 (>= 3.4.0), libgps28 (>= 3.10+dev1~), libproj22 (>= 5.1.0), libproxy1v5 (>= 0.4.17), libqt5concurrent5 (>= 5.6.0~rc), libqt5core5a (>= 5.15.1), libqt5gui5 (>= 5.3.0) | libqt5gui5-gles (>= 5.3.0), libqt5network5 (>= 5.14.1), libqt5printsupport5 (>= 5.0.2), libqt5svg5 (>= 5.6.0~beta), libqt5webenginewidgets5 (>= 5.7.1), libqt5widgets5 (>= 5.15.1), libqt5xml5 (>= 5.1.0), libstdc++6 (>= 11)
Description:  map editor for OpenStreetMap.org Merkaartor is a map editor for OpenStreetMap.org, the free editable map of the whole world. . Features:  * download from and upload to the OpenStreetMap server  * open .osm and .gpx files  * create and move trackpoints, ways, and areas  * add tags, delete features  * reverse, split and join ways  * visualize some leisure/landuse areas and road types  * displaying GPS information
Package: meryl (0~20150903+r2013-8build2)
Section: universe/science
Homepage: http://kmer.sourceforge.net
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5)
Description:  in- and out-of-core kmer counting and utilities meryl computes the kmer content of genomic sequences.  Kmer content is represented as a list of kmers and the number of times each occurs in the input sequences.  The kmer can be restricted to only the forward kmer, only the reverse kmer, or the canonical kmer (lexicographically smaller of the forward and reverse kmer at each location).  Meryl can report the histogram of counts, the list of kmers and their counts, or can perform mathematical and set operations on the processed data files. . This package is part of the Kmer suite.
Package: mes (0.23-4)
Section: universe/devel
Homepage: https://www.gnu.org/software/mes/
Depends: guile-3.0, nyacc (>= 1.00.2-3~), mescc-tools (>= 1.3)
Description:  Maxwell Equations of Software GNU Mes aims to help create a full source bootstrap as part of the bootstrappable builds effort. It consists of a mutual self-hosting Scheme interpreter written in C and a Nyacc-based C compiler written in Scheme. . Mes and MesCC can compile a lightly patched TinyCC that is self-hosting.
Package: mesa-common-dev (23.0.4-0ubuntu1~22.04.1)
Section: devel
Homepage: https://mesa3d.org/
Depends: libgl-dev, libglx-dev, libx11-dev, libdrm-dev (>= 2.4.95)
Description:  Developer documentation for Mesa This package includes the specifications for the Mesa-specific OpenGL extensions, the complete set of release notes and the development header files common to all Mesa packages.
Package: mesa-drm-shim (23.0.4-0ubuntu1~22.04.1)
Section: libs
Homepage: https://mesa3d.org/
Depends: libc6 (>= 2.34)
Description:  DRM shim libraries This package provides drm-shim libraries which can be used for testing DRM drivers when none exists on the host
Package: mesa-opencl-icd (23.0.4-0ubuntu1~22.04.1)
Section: universe/libs
Homepage: https://mesa3d.org/
Depends: libclc-15, ocl-icd-libopencl1 | libopencl1, libc6 (>= 2.34), libclang-cpp15 (>= 1:15.0.7), libdrm-amdgpu1 (>= 2.4.110), libdrm-nouveau2 (>= 2.4.66), libdrm-radeon1 (>= 2.4.31), libdrm2 (>= 2.4.75), libelf1 (>= 0.142), libexpat1 (>= 2.0.1), libgcc-s1 (>= 3.4), libllvm15, libllvmspirvlib15 (>= 15.0.0), libstdc++6 (>= 12), libzstd1 (>= 1.4.0), zlib1g (>= 1:1.1.4)
Description:  free implementation of the OpenCL API -- ICD runtime This package contains the mesa implementation of the OpenCL (Open Compute Language) library, which is intended for use with an ICD loader. OpenCL provides a standardized interface for computational analysis on graphical processing units.
Package: mesa-utils-bin (8.4.0-1ubuntu1)
Section: universe/x11
Homepage: https://mesa3d.org/
Depends: libc6 (>= 2.34), libegl1, libgl1, libgles2, libwayland-client0 (>= 1.20.0), libwayland-egl1 (>= 1.15.0), libx11-6
Description:  Miscellaneous Mesa utilities -- native applications This package provides native builds of utilities provided by Mesa, including glxinfo and glxgears.
Package: mesa-utils (8.4.0-1ubuntu1)
Section: universe/graphics
Homepage: https://mesa3d.org/
Depends: mesa-utils-bin
Description:  Miscellaneous Mesa utilities -- symlinks This package provides symlinks to several native utilities provided by Mesa, including glxinfo and glxgears.
Package: mesa-va-drivers (23.0.4-0ubuntu1~22.04.1)
Section: universe/libs
Homepage: https://mesa3d.org/
Depends: libc6 (>= 2.34), libdrm-amdgpu1 (>= 2.4.110), libdrm-nouveau2 (>= 2.4.66), libdrm-radeon1 (>= 2.4.31), libdrm2 (>= 2.4.75), libelf1 (>= 0.142), libexpat1 (>= 2.0.1), libgcc-s1 (>= 3.4), libllvm15, libstdc++6 (>= 11), libx11-xcb1 (>= 2:1.7.5), libxcb-dri2-0 (>= 1.8), libxcb-dri3-0, libxcb-present0, libxcb-sync1, libxcb-xfixes0, libxcb1 (>= 1.9.2), libxshmfence1, libzstd1 (>= 1.4.0), zlib1g (>= 1:1.1.4)
Description:  Mesa VA-API video acceleration drivers These libraries provide the Video Acceleration API (VA-API) for Unix. They provide accelerated video playback (incl. H.264) and video post-processing for the supported graphics cards. . This package enables support for VA-API for some gallium drivers.
Package: mesa-vdpau-drivers (23.0.4-0ubuntu1~22.04.1)
Section: libs
Homepage: https://mesa3d.org/
Depends: libvdpau1, libc6 (>= 2.34), libdrm-amdgpu1 (>= 2.4.110), libdrm-nouveau2 (>= 2.4.66), libdrm-radeon1 (>= 2.4.31), libdrm2 (>= 2.4.75), libelf1 (>= 0.142), libexpat1 (>= 2.0.1), libgcc-s1 (>= 3.4), libllvm15, libstdc++6 (>= 11), libx11-xcb1 (>= 2:1.7.5), libxcb-dri2-0 (>= 1.8), libxcb-dri3-0, libxcb-present0, libxcb-sync1, libxcb-xfixes0, libxcb1 (>= 1.9.2), libxshmfence1, libzstd1 (>= 1.4.0), zlib1g (>= 1:1.1.4)
Description:  Mesa VDPAU video acceleration drivers These libraries provide the Video Decode and Presentation API for Unix. They provide accelerated video playback (incl. H.264) and video post-processing for the supported graphics cards. . This package enables support for VDPAU for some gallium drivers.
Package: mesa-vulkan-drivers (23.0.4-0ubuntu1~22.04.1)
Section: libs
Homepage: https://mesa3d.org/
Depends: libvulkan1, python3:any | python3-minimal:any, libc6 (>= 2.34), libdrm-amdgpu1 (>= 2.4.110), libdrm2 (>= 2.4.99), libelf1 (>= 0.142), libexpat1 (>= 2.0.1), libgcc-s1 (>= 3.4), libllvm15, libstdc++6 (>= 11), libwayland-client0 (>= 1.20.0), libx11-xcb1 (>= 2:1.7.5), libxcb-dri3-0 (>= 1.13), libxcb-present0, libxcb-randr0 (>= 1.13), libxcb-shm0, libxcb-sync1, libxcb-xfixes0, libxcb1 (>= 1.9.2), libxshmfence1, libzstd1 (>= 1.4.0), zlib1g (>= 1:1.1.4)
Description:  Mesa Vulkan graphics drivers Vulkan is a low-overhead 3D graphics and compute API. This package includes Vulkan drivers provided by the Mesa project.
Package: mesaflash (3.4.2-1)
Section: universe/misc
Homepage: https://github.com/LinuxCNC/mesaflash
Depends: libc6 (>= 2.34), libmd0 (>= 0.0.0), libpci3 (>= 1:3.5.1)
Description:  Mesa Electronics utility tool This package provides a tool for the configuration and/or diagnosis of Mesa Electronics boards. The cards provide I/O channels for robotics applications and have a strong user base in the LinuxCNC community. This tool works for all cards, be they directly plugged into your computer via PCI(E) or connected by a cable (ETH/EPP/USB/SPI).
Package: mescc-tools (1.3-2)
Section: universe/devel
Homepage: https://savannah.nongnu.org/projects/mescc-tools/
Depends: libc6 (>= 2.34)
Description:  tools for binary bootstrapping The tools included provide very minimal functionality tools used in very early bootstrap of a toolchain. . blood-elf: generate ELF debug tables in M1-macro format from M1-macro assembly files . exec_enable: mark files as executable . get_machine: identify running hardware architecture . kaem: run shell scripts without a shell . hex2_linker: The trivially bootstrappable linker that is designed to be introspectable by humans and should you so desire assemble hex programs that you write. . M1-macro: The universal Macro assembler that can target any reasonable hardware architecture.
Package: meshio-tools (5.3.0-1)
Section: universe/utils
Homepage: https://github.com/nschloe/meshio
Depends: python3:any, python3-meshio
Description:  command-line tools for meshio Meshio can read from and write to various data formats representing unstructured meshes, such as DOLFIN, Gmsh, H5M or VTK. . This package provides the command-line tools, and a plugin for paraview. . This package also provides Flavien Loiseau's msh2xdmf tool to convert from MSH to XDMF mesh formats.
Package: meshlab (2020.09+dfsg1-2)
Section: universe/graphics
Homepage: https://www.meshlab.net/
Depends: lib3ds-1-3 (>= 1.3.0), libc6 (>= 2.34), libgcc-s1 (>= 3.4), libglew2.2 (>= 2.2.0-4), libglu1-mesa | libglu1, libglx0, libgmp10, libgomp1 (>= 6), libmuparser2v5 (>= 2.2.6.1+dfsg), libopenctm1 (>= 1.0.3), libopengl0, libqhull8.0 (>= 2020.1), libqt5core5a (>= 5.15.1), libqt5gui5 (>= 5.14.1) | libqt5gui5-gles (>= 5.14.1), libqt5network5 (>= 5.0.2), libqt5opengl5 (>= 5.0.2), libqt5qml5 (>= 5.0.2), libqt5widgets5 (>= 5.15.1), libqt5xml5 (>= 5.0.2), libstdc++6 (>= 11)
Description:  System for processing and editing triangular meshes This is an open source, portable, and extendible system for the processing and editing of unstructured 3D triangular meshes. The system is aimed to help the processing of the typical not-so-small unstructured models arising in 3D scanning, providing a set of tools for editing, cleaning, healing, inspecting, rendering and converting this kind of meshes. . Meshlab can read files in these formats: PLY, STL, OFF, OBJ, 3DS, COLLADA and PTX. It can write PLY, STL, OFF, OBJ, 3DS, COLLADA, VRML, and DXF.
Package: meshs3d (0.2.2.1-3build1)
Section: universe/net
Homepage: http://s3d.sourceforge.net/
Depends: libg3d-plugins, s3d-data (= 0.2.2.1-3build1), libc6 (>= 2.29), libs3d2 (>= 0.2.2.1), libs3dw2 (>= 0.2.2.1)
Description:  OLSR/B.A.T.M.A.N. topology visualizer for s3d s3d is a 3d network display server which can be used as 3d desktop environment. . This package provides a OLSR/B.A.T.M.A.N. topology visualizer for s3d.
Package: meson (0.61.2-1)
Section: universe/devel
Homepage: https://mesonbuild.com
Depends: python3:any (>= 3.7~), ninja-build (>= 1.6), python3-pkg-resources, python3-distutils
Description:  high-productivity build system Meson is a build system designed to increase programmer productivity. It does this by providing a fast, simple and easy to use interface for modern software development tools and practices.
Package: mess-desktop-entries (0.2-4.1)
Section: universe/gnome
Depends: mame
Description:  Desktop entries for MESS ROMs This is a collection of desktop entries to handle ROM files for certain game consoles. They use the Multiple Emulator Super System (MESS) to start a game by simply double-clicking the ROM file from a file manager.
Package: metabat (2.15-3)
Section: universe/science
Homepage: https://bitbucket.org/berkeleylab/metabat/wiki/Home
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.4), libgomp1 (>= 6), libhts3 (>= 1.10), libstdc++6 (>= 5.2), zlib1g (>= 1:1.1.4)
Description:  robust statistical framework for reconstructing genomes from metagenomic data MetaBAT integrates empirical probabilistic distances of genome abundance and tetranucleotide frequency for accurate metagenome binning. MetaBAT outperforms alternative methods in accuracy and computational efficiency on both synthetic and real metagenome datasets. It automatically forms hundreds of high quality genome bins on a very large assembly consisting millions of contigs in a matter of hours on a single node.
Package: metacam (1.2-14)
Section: universe/graphics
Homepage: http://www.cheeseplant.org/~daniel/pages/metacam.html
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5.2)
Description:  extract EXIF information from digital camera files EXIF (Exchangeable Image File Format) is a standard for storing interchange information in image files, especially those using JPEG compression. Most digital cameras, including mobile phones, now use the EXIF format. . The format is part of the DCF standard created by JEIDA to encourage the interoperability between imaging devices. In addition to the standard EXIF fields, MetaCam also supports vendor-specific extensions from Nikon, Olympus, Canon and Casio. . This program is useful in forensics investigations.
Package: metacity-common (1:3.44.0-1ubuntu1)
Section: universe/misc
Homepage: https://gitlab.gnome.org/GNOME/metacity
Depends: dconf-gsettings-backend | gsettings-backend
Description:  shared files for the Metacity window manager Metacity is a small window manager, using GTK to do everything. . As the author says, metacity is a "Boring window manager for the adult in you. Many window managers are like Marshmallow Froot Loops; Metacity is like Cheerios." . This package contains the shared files.
Package: metacity-themes (1.0.13)
Section: universe/x11
Depends: metacity
Description:  Themes for the Gtk2 metacity window manager This collection of themes for the metacity window manager has been carefully compiled from a number of sources. Each one is publically available under a license which complies with the Debian free software guidelines, most commonly the GPL license. The themes have been individually checked to ensure that they are all of high quality: they have a consistent design; include high quality graphics; handle all types of window. . Included Themes:     * Urbicande     * OutlineHot     * OutlineAsh     * OutlineBeach     * OutlineCoal     * OutlineCold     * OutlineFruity     * OutlineWinter     * keramik-Gyellow     * mcblue     * quiet-purple     * BrushedMetal     * Alloy     * HeliX-Sweetpill-Crowberry     * Watercolor     * Redmond     * Nodoka . The themes have primarity been gathered from http://themes.freshmeat.net and http://sunshineinabag.co.uk. I would like to hear suggestion for other high quality themes to be included, however please be sure to read the /usr/share/doc/metacity-themes/README.Debian file first, as it documents reasons why a number of themes were not included.
Package: metacity (1:3.44.0-1ubuntu1)
Section: universe/x11
Homepage: https://gitlab.gnome.org/GNOME/metacity
Depends: gsettings-desktop-schemas (>= 3.3.0), metacity-common (= 1:3.44.0-1ubuntu1), zenity, libatk1.0-0 (>= 1.12.4), libc6 (>= 2.34), libcairo2 (>= 1.10.0), libcanberra-gtk3-0 (>= 0.25), libcanberra0 (>= 0.2), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.67.3), libgtk-3-0 (>= 3.24.6), libgtop-2.0-11 (>= 2.22.3), libice6 (>= 1:1.0.0), libmetacity3 (>= 3.25.1), libpango-1.0-0 (>= 1.14.0), libsm6, libstartup-notification0 (>= 0.7), libx11-6 (>= 2:1.4.99.1), libxcomposite1 (>= 1:0.4.5), libxcursor1 (>> 1.1.2), libxdamage1 (>= 1:1.1), libxext6, libxfixes3, libxinerama1 (>= 2:1.1.4), libxpresent1, libxrandr2, libxrender1, libxres1 (>= 2:1.2.1)
Description:  lightweight GTK window manager Metacity is a small window manager, using GTK to do everything. . As the author says, metacity is a "Boring window manager for the adult in you. Many window managers are like Marshmallow Froot Loops; Metacity is like Cheerios." . This package contains the core binaries.
Package: metadata-cleaner (1.0.8-1)
Section: universe/utils
Homepage: https://gitlab.com/rmnvgr/metadata-cleaner
Depends: gir1.2-handy-1, libgtk-3-0 (>= 3.24.0), mat2, media-types, dconf-gsettings-backend | gsettings-backend, python3:any
Description:  GTK app for viewing and cleaning metadata in files Metadata within a file can tell a lot about you. Cameras record data about when a picture was taken and what camera was used. Office applications automatically add author and company information to documents and spreadsheets. Maybe you do not want to disclose those information. . This tool allows you to view metadata in your files and to get rid of them as much as possible. . Under the hood, it relies on mat2 to parse and remove the metadata.
Package: metadata-json-lint (3.0.0-2)
Section: universe/ruby
Homepage: http://github.com/voxpupuli/metadata-json-lint
Depends: ruby, ruby-spdx-licenses (>= 1.0), ruby-json-schema (>= 2.8)
Description:  Utility to verify Puppet metadata.json files This tool lets users verify that a file in Puppet modules, metadata.json, conforms to the format that it is expected to have. . The metadata.json file is used when publishing a module to the public module repository on forge.puppet.com, or to a private module forge. With this information, you can expose dependencies to other modules, set Puppet version requirements and expose the module's license, author and other such metadata. . metadata-json-lint can be used directly, or it can be used through puppet-development-kit.
Package: metamath-databases (0.0.0~20210101.git55fe226-2)
Section: universe/math
Homepage: http://us.metamath.org/
Description:  Sample databases for Metamath Metamath is a tiny language for expressing theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. . This package contains a number of Metamath databases developed collectively by people from the Metamath project, including set.mm (Metamath Proof Explorer) and others available at http://us.metamath.org/. . You can edit and verify these databases with any tool implementing the Metamath language, including the reference implementation available in the package metamath.
Package: metamath (0.195-1)
Section: universe/math
Homepage: http://us.metamath.org/
Depends: libc6 (>= 2.14)
Description:  Language for mathematical proofs Metamath is a tiny language for expressing theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. . This program is the reference implementation of the language. It provides a proof checker, a proof editor and tools to automatically render theorems and proofs to HTML and LaTeX files. . This package does not contain proof databases, but the tools to deal with them. The user can create their own databases, use those available on the Internet or provided by the metamath-databases package.