k3ylabs/cosoco-image-dataset huggingface dataset:
Package: libgm2-9-dev-mipsel-cross (9.4.0-1ubuntu1cross1)
Section: universe/libdevel
Homepage: http://gcc.gnu.org/
Depends: gcc-9-cross-base-mipsen (= 9.4.0-1ubuntu1cross1), libgm2-0-mipsel-cross (>= 9.4.0-1ubuntu1cross1)
Description:  GNU Modula-2 standard library This is the Modula-2 standard library that comes with the gm2 compiler.
Package: libgm2-9-dev-mipsr6-cross (9.4.0-1ubuntu1cross1)
Section: universe/libdevel
Homepage: http://gcc.gnu.org/
Depends: gcc-9-cross-base-mipsen (= 9.4.0-1ubuntu1cross1), libgm2-0-mipsr6-cross (>= 9.4.0-1ubuntu1cross1)
Description:  GNU Modula-2 standard library This is the Modula-2 standard library that comes with the gm2 compiler.
Package: libgm2-9-dev-mipsr6el-cross (9.4.0-1ubuntu1cross1)
Section: universe/libdevel
Homepage: http://gcc.gnu.org/
Depends: gcc-9-cross-base-mipsen (= 9.4.0-1ubuntu1cross1), libgm2-0-mipsr6el-cross (>= 9.4.0-1ubuntu1cross1)
Description:  GNU Modula-2 standard library This is the Modula-2 standard library that comes with the gm2 compiler.
Package: libgm2-9-dev-ppc64el-cross (9.5.0-1ubuntu1~22.04cross1)
Section: universe/libdevel
Homepage: http://gcc.gnu.org/
Depends: gcc-9-cross-base (>= 9.5.0-1ubuntu1~22.04), libgm2-0-ppc64el-cross (>= 9.5.0-1ubuntu1~22.04cross1)
Description:  GNU Modula-2 standard library This is the Modula-2 standard library that comes with the gm2 compiler.
Package: libgm2-9-dev-riscv64-cross (9.5.0-1ubuntu1~22.04cross1)
Section: universe/libdevel
Homepage: http://gcc.gnu.org/
Depends: gcc-9-cross-base-ports (= 9.5.0-1ubuntu1~22.04cross1), libgm2-0-riscv64-cross (>= 9.5.0-1ubuntu1~22.04cross1)
Description:  GNU Modula-2 standard library This is the Modula-2 standard library that comes with the gm2 compiler.
Package: libgm2-9-dev-s390x-cross (9.5.0-1ubuntu1~22.04cross1)
Section: universe/libdevel
Homepage: http://gcc.gnu.org/
Depends: gcc-9-cross-base (>= 9.5.0-1ubuntu1~22.04), libgm2-0-s390x-cross (>= 9.5.0-1ubuntu1~22.04cross1)
Description:  GNU Modula-2 standard library This is the Modula-2 standard library that comes with the gm2 compiler.
Package: libgm2-9-dev-sparc64-cross (9.5.0-1ubuntu1~22.04cross1)
Section: universe/libdevel
Homepage: http://gcc.gnu.org/
Depends: gcc-9-cross-base-ports (= 9.5.0-1ubuntu1~22.04cross1), libgm2-0-sparc64-cross (>= 9.5.0-1ubuntu1~22.04cross1)
Description:  GNU Modula-2 standard library This is the Modula-2 standard library that comes with the gm2 compiler.
Package: libgm2-9-dev-x32-cross (9.5.0-1ubuntu1~22.04cross1)
Section: universe/libdevel
Homepage: http://gcc.gnu.org/
Depends: gcc-9-cross-base-ports (= 9.5.0-1ubuntu1~22.04cross1), libgm2-0-x32-cross (>= 9.5.0-1ubuntu1~22.04cross1)
Description:  GNU Modula-2 standard library This is the Modula-2 standard library that comes with the gm2 compiler.
Package: libgm2-9-dev (9.5.0-1ubuntu1~22.04)
Section: universe/libdevel
Homepage: http://gcc.gnu.org/
Depends: gcc-9-base (= 9.5.0-1ubuntu1~22.04), libgm2-0 (>= 9.5.0-1ubuntu1~22.04)
Description:  GNU Modula-2 standard library This is the Modula-2 standard library that comes with the gm2 compiler.
Package: libgmap-ocaml-dev (0.3.0-1build1)
Section: universe/ocaml
Homepage: https://github.com/hannesm/gmap
Depends: libgmap-ocaml-2ewd8, ocaml-4.13.1
Description:  heterogenous maps over a GADT for OCaml (dev files) Gmap exposes the functor Make which takes a key type (a GADT 'a key) and outputs a type-safe Map where each 'a key is associated with a 'a value. This removes the need for additional packing. It uses OCaml's stdlib Map data structure. . This package contains development files.
Package: libgmap-ocaml (0.3.0-1build1)
Section: universe/ocaml
Homepage: https://github.com/hannesm/gmap
Depends: ocaml-base-4.13.1
Description:  heterogenous maps over a GADT for OCaml (runtime files) Gmap exposes the functor Make which takes a key type (a GADT 'a key) and outputs a type-safe Map where each 'a key is associated with a 'a value. This removes the need for additional packing. It uses OCaml's stdlib Map data structure. . This package contains runtime files.
Package: libgmavenplus-java (1.8.1-1)
Section: universe/java
Homepage: http://groovy.github.io/GMavenPlus/
Depends: ant, ivy, libjansi-java (>= 1.18), libjline2-java, libmaven-archiver-java (>= 3.2.0), libmaven-file-management-java (>= 3.0.0), libmaven3-core-java (>= 3.6.3), libplexus-classworlds-java (>= 2.6.0)
Description:  GMavenPlus Plugin GMavenPlus Plugin is a rewrite of GMaven, a Maven plugin that allows one to integrate Groovy into Maven projects.
Package: libgmbal-commons-java (3.2.1-b003-1.1)
Section: universe/java
Homepage: https://javaee.github.io/gmbal-commons
Description:  GlassFish MBean Annotation Library (Common APIs) The GlassFish MBean Annotation Library (gmbal, pronounced as in "gumball") is a runtime annotation processor that creates Open MBeans. This is useful for creating a management API for existing code with minimal effort. It is intended to be applied to existing modules (which may be OSGi bundles in GlassFish v3, or any other packaging model including standard jar files), but could be used anywhere that it is desired to combine the definition of the management API with the module API and implementation. . Gmbal is not limited to use in GlassFish. Gmbal is completely independent of GlassFish, and may be used in a context where GlassFish is not present. . This package contains the common APIs used by Gmbal.
Package: libgmbal-java (4.0.0-b002-1.1)
Section: universe/java
Homepage: https://javaee.github.io/gmbal
Depends: libgmbal-commons-java (>= 3.2.1-b003), libgmbal-pfl-java (>= 4.0.1-b003)
Description:  GlassFish MBean Annotation Library The GlassFish MBean Annotation Library (gmbal, pronounced as in "gumball") is a runtime annotation processor that creates Open MBeans. This is useful for creating a management API for existing code with minimal effort. It is intended to be applied to existing modules (which may be OSGi bundles in GlassFish v3, or any other packaging model including standard jar files), but could be used anywhere that it is desired to combine the definition of the management API with the module API and implementation. . Gmbal is not limited to use in GlassFish. Gmbal is completely independent of GlassFish, and may be used in a context where GlassFish is not present.
Package: libgmbal-pfl-java (4.0.1-b003-2)
Section: universe/java
Homepage: https://javaee.github.io/gmbal-pfl/
Description:  GlassFish MBean Annotation Library (Primitive Function Library) The GlassFish MBean Annotation Library (gmbal, pronounced as in "gumball") is a runtime annotation processor that creates Open MBeans. This is useful for creating a management API for existing code with minimal effort. It is intended to be applied to existing modules (which may be OSGi bundles in GlassFish v3, or any other packaging model including standard jar files), but could be used anywhere that it is desired to combine the definition of the management API with the module API and implementation. . Gmbal is not limited to use in GlassFish. Gmbal is completely independent of GlassFish, and may be used in a context where GlassFish is not present. . This package contains the Primitive Function Library used by Gmbal (PFL)
Package: libgme-dev (0.6.3-2)
Section: universe/libdevel
Homepage: https://bitbucket.org/mpyne/game-music-emu/wiki/Home
Depends: libgme0 (= 0.6.3-2)
Description:  Playback library for video game music files - development files game-music-emu is a collection of video game music file emulators that support the following formats and systems:  * AY        ZX Spectrum/Amstrad CPC  * GBS       Nintendo Game Boy  * GYM       Sega Genesis/Mega Drive  * HES       NEC TurboGrafx-16/PC Engine  * KSS       MSX Home Computer/other Z80 systems (doesn't support FM sound)  * NSF/NSFE  Nintendo NES/Famicom (with VRC 6, Namco 106, and FME-7 sound)  * SAP       Atari systems using POKEY sound chip  * SPC       Super Nintendo/Super Famicom  * VGM/VGZ   Sega Master System/Mark III, Sega Genesis/Mega Drive,BBC Micro . This package contains the header files, static libraries and symbolic links that developers using libgme will need.
Package: libgme0 (0.6.3-2)
Section: universe/libs
Homepage: https://bitbucket.org/mpyne/game-music-emu/wiki/Home
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.1.1), zlib1g (>= 1:1.1.4)
Description:  Playback library for video game music files - shared library game-music-emu is a collection of video game music file emulators that support the following formats and systems:  * AY        ZX Spectrum/Amstrad CPC  * GBS       Nintendo Game Boy  * GYM       Sega Genesis/Mega Drive  * HES       NEC TurboGrafx-16/PC Engine  * KSS       MSX Home Computer/other Z80 systems (doesn't support FM sound)  * NSF/NSFE  Nintendo NES/Famicom (with VRC 6, Namco 106, and FME-7 sound)  * SAP       Atari systems using POKEY sound chip  * SPC       Super Nintendo/Super Famicom  * VGM/VGZ   Sega Master System/Mark III, Sega Genesis/Mega Drive,BBC Micro . This package contains the shared libraries necessary to run programs using libgme.
Package: libgmenuharness-dev (0.1.4-2)
Section: universe/libdevel
Homepage: https://gitlab.com/ubports/core/gmenuharness
Depends: libgmenuharness0.1 (= 0.1.4-2)
Description:  GMenu harness library (development files) Library containing GMenu harness. This library is useful for testing GMenuModel structures. . This package contains the gmenuharness header files for development.
Package: libgmenuharness0.1 (0.1.4-2)
Section: universe/libs
Homepage: https://gitlab.com/ubports/core/gmenuharness
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libglib2.0-0 (>= 2.37.0), libstdc++6 (>= 11)
Description:  GMenu harness library Library containing GMenu harness. This library is useful for testing GMenuModel structures. . This package contains the gmenuharness shared library.
Package: libgmerlin-avdec-dev (2.0.0~svn6298~dfsg0-1build1)
Section: universe/libdevel
Homepage: http://gmerlin.sourceforge.net/
Depends: libgavl-dev, libgmerlin-avdec2 (= 2.0.0~svn6298~dfsg0-1build1)
Description:  general multimedia decoding library (development files) Gmerlin_avdecoder is a general purpose media decoding library. It was written as a support library for gmerlin, but it can also be used by other applications. You don't even need gmerlin installed, only gavl. . This package provides the files necessary to compile an application using Gmerlin_avdecoder.
Package: libgmerlin-avdec-doc (2.0.0~svn6298~dfsg0-1build1)
Section: universe/doc
Homepage: http://gmerlin.sourceforge.net/
Description:  general multimedia decoding library (documentation) Gmerlin_avdecoder is a general purpose media decoding library. It was written as a support library for gmerlin, but it can also be used by other applications. You don't even need gmerlin installed, only gavl. . This package provides the API documentation for Gmerlin_avdecoder.
Package: libgmerlin-avdec2 (2.0.0~svn6298~dfsg0-1build1)
Section: universe/libs
Homepage: http://gmerlin.sourceforge.net/
Depends: liba52-0.7.4 (>= 0.7.4), libavcodec58 (>= 7:4.4), libavutil56 (>= 7:4.4), libc6 (>= 2.33), libcdio19 (>= 2.1.0), libdca0 (>= 0.0.5), libdvdread8 (>= 4.1.3), libflac8 (>= 1.3.0), libgavl2 (>= 2.0.0~svn6298~), libgsm1 (>= 1.0.18), libmad0 (>= 0.15.1b-3), libogg0 (>= 1.0rc3), libopus0 (>= 1.1), libpng16-16 (>= 1.6.2-1), libspeex1 (>= 1.2~beta3-1), libtheora0 (>= 1.0), libtiff5 (>= 4.0.3), libudf0 (>= 0.78.2+dfsg1), libvorbis0a (>= 1.1.2), libvorbisenc2 (>= 1.1.2), zlib1g (>= 1:1.1.4)
Description:  general multimedia decoding library Gmerlin_avdecoder is a general purpose media decoding library. It was written as a support library for gmerlin, but it can also be used by other applications. You don't even need gmerlin installed, only gavl. . This package provides the shared object necessary to run an application using Gmerlin_avdecoder.
Package: libgmerlin-common (2.0.0~svn6298~dfsg0-1)
Section: universe/libs
Homepage: http://gmerlin.sourceforge.net/
Description:  core library for gmerlin - common runtime files Gmerlin is a multiformat media player with tree-like virtual directory structure, where you can save your files, webstreams or whatever. It handles even large media collections gracefully. Hardware devices appear also in the tree so you can open Audio-CDs, (S)VCDs, DVDs and DVB-broadcasts. . This package contains the common files needed by libgmerlin.
Package: libgmerlin-dev (2.0.0~svn6298~dfsg0-1)
Section: universe/libdevel
Homepage: http://gmerlin.sourceforge.net/
Depends: libgavl-dev (>= 2~), libgmerlin2 (= 2.0.0~svn6298~dfsg0-1), libxml2-dev, pkg-config
Description:  core library for gmerlin - development files Gmerlin is a multiformat media player with tree-like virtual directory structure, where you can save your files, webstreams or whatever. It handles even large media collections gracefully. Hardware devices appear also in the tree so you can open Audio-CDs, (S)VCDs, DVDs and DVB-broadcasts. . This package contains the files needed to compile and link against libgmerlin.
Package: libgmerlin2 (2.0.0~svn6298~dfsg0-1)
Section: universe/libs
Homepage: http://gmerlin.sourceforge.net/
Depends: libc6 (>= 2.34), libcairo2 (>= 1.10.0), libdbus-1-3 (>= 1.9.16), libfontconfig1 (>= 2.12.6), libgavl2 (>= 2.0.0~svn6298~), libgdk-pixbuf-2.0-0 (>= 2.22.0), libgl1, libglib2.0-0 (>= 2.12.0), libgtk-3-0 (>= 3.21.5), libjson-c5 (>= 0.15), libncursesw6 (>= 6), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libsqlite3-0 (>= 3.5.9), libtinfo6 (>= 6), libuuid1 (>= 2.31.1), libx11-6, libxext6, libxfixes3, libxinerama1 (>= 2:1.1.4), libxml2 (>= 2.7.4), libxtst6, libxv1
Description:  core library for gmerlin - runtime files Gmerlin is a multiformat media player with tree-like virtual directory structure, where you can save your files, webstreams or whatever. It handles even large media collections gracefully. Hardware devices appear also in the tree so you can open Audio-CDs, (S)VCDs, DVDs and DVB-broadcasts. . This package contains the files needed to run a program compiled using libgmerlin.
Package: libgmetrics-groovy-java-doc (0.7-4.1)
Section: universe/doc
Homepage: http://gmetrics.sourceforge.net/
Description:  Documentation for libgmetrics-groovy-java Documentation for GMetrics that is a library providing calculation and reporting of size and complexity metrics for Groovy source code, by scanning the code with an Ant Task, applying a set of metrics, and generating an HTML or XML report of the results.
Package: libgmetrics-groovy-java (0.7-4.1)
Section: universe/java
Homepage: http://gmetrics.sourceforge.net/
Depends: ant, groovy, liblog4j1.2-java
Description:  Groovy library that provides reports and metrics for Groovy code GMetrics provides calculation and reporting of size and complexity metrics for Groovy source code, by scanning the code with an Ant Task, applying a set of metrics, and generating an HTML or XML report of the results.
Package: libgmic-dev (2.9.4-4build1)
Section: universe/libdevel
Homepage: http://gmic.sourceforge.net/
Depends: libgmic1 (= 2.9.4-4build1)
Description:  GREYC's Magic for Image Computing - development files G'MIC is an open and full-featured framework for image processing, providing several different user interfaces to convert/manipulate/filter/visualize generic image datasets, from 1d scalar signals to 3d+t sequences of multi-spectral volumetric images. . This package contains the development files for libgmic.
Package: libgmic1 (2.9.4-4build1)
Section: universe/libs
Homepage: http://gmic.sourceforge.net/
Depends: libc6 (>= 2.34), libcurl4 (>= 7.16.2), libfftw3-double3 (>= 3.3.5), libgcc-s1 (>= 3.3.1), libgomp1 (>= 4.9), libgraphicsmagick++-q16-12 (>= 1.3.26-5~), libilmbase25 (>= 2.5.7), libjpeg8 (>= 8c), libopencv-core4.5d (>= 4.5.4+dfsg), libopencv-videoio4.5d (>= 4.5.4+dfsg), libopenexr25 (>= 2.5.7), libpng16-16 (>= 1.6.2-1), libstdc++6 (>= 5.2), libtiff5 (>= 4.0.3), libx11-6, zlib1g (>= 1:1.2.0)
Description:  GREYC's Magic for Image Computing - shared library G'MIC is an open and full-featured framework for image processing, providing several different user interfaces to convert/manipulate/filter/visualize generic image datasets, from 1d scalar signals to 3d+t sequences of multi-spectral volumetric images. . This package contains the shared library.
Package: libgmime-3.0-0 (3.2.7-1)
Section: universe/libs
Homepage: https://github.com/jstedfast/gmime/
Depends: libc6 (>= 2.14), libglib2.0-0 (>= 2.31.8), libgpgme11 (>= 1.7.0), zlib1g (>= 1:1.1.4)
Description:  MIME message parser and creator library GMime provides a core library and set of utilities which may be used for the creation and parsing of messages using the Multipurpose Internet Mail Extension (MIME). . This package contains the shared library of GMime.
Package: libgmime-3.0-dev (3.2.7-1)
Section: universe/libdevel
Homepage: https://github.com/jstedfast/gmime/
Depends: gir1.2-gmime-3.0 (= 3.2.7-1), libc6-dev, libglib2.0-dev, libgmime-3.0-0 (= 3.2.7-1)
Description:  MIME message parser and creator library - development files GMime provides a core library and set of utilities which may be used for the creation and parsing of messages using the Multipurpose Internet Mail Extension (MIME). . This package contains the development files of GMime for programmers using C or Vala.
Package: libgmime-3.0-doc (3.2.7-1)
Section: universe/doc
Homepage: https://github.com/jstedfast/gmime/
Description:  MIME message parser and creator library - documentation GMime provides a core library and set of utilities which may be used for the creation and parsing of messages using the Multipurpose Internet Mail Extension (MIME). . This package contains the documentation and examples of GMime.
Package: libgmlib-dev (1.0.9-2ubuntu1)
Section: universe/libdevel
Homepage: http://code.google.com/p/gmtk/
Depends: libgmlib1 (= 1.0.9-2ubuntu1), libglib2.0-dev
Description:  gnome-mplayer library (development files) A set of functions used by gnome-mplayer and gecko-mediaplayer. It provides functions to manipulate audio devices and manage configuration settings. . This package provides the development files.
Package: libgmlib1-dbg (1.0.9-2ubuntu1)
Section: universe/debug
Homepage: http://code.google.com/p/gmtk/
Depends: libgmlib1 (= 1.0.9-2ubuntu1)
Description:  gnome-mplayer library (debugging symbols) A set of functions used by gnome-mplayer and gecko-mediaplayer. It provides functions to manipulate audio devices and manage configuration settings. . This package provides the debugging symbols for the shared library.
Package: libgmlib1 (1.0.9-2ubuntu1)
Section: universe/libs
Homepage: http://code.google.com/p/gmtk/
Depends: libasound2 (>= 1.0.16), libc6 (>= 2.4), libglib2.0-0 (>= 2.31.8), libpulse-mainloop-glib0 (>= 0.99.1), libpulse0 (>= 0.99.1)
Description:  gnome-mplayer library (shared library) A set of functions used by gnome-mplayer and gecko-mediaplayer. It provides functions to manipulate audio devices and manage configuration settings. . This package provides the shared library.
Package: libgmm++-dev (5.3+dfsg1-4ubuntu1)
Section: universe/libdevel
Homepage: http://getfem.org/
Depends: libmumps-dev
Description:  Generic C++ template library for sparse, dense and skyline matrices GMM++ is a framework of pre-defined methods for matrix computation. It is built as a set of generic algorithms for any interfaced vector type or matrix type. . It can be viewed as a glue library allowing cooperation between several vector and matrix types. However, basic sparse, dense and skyline matrix/vector types are built-in, hence it can be used as a standalone linear algebra library.
Package: libgmock-dev (1.11.0-3)
Section: universe/libdevel
Homepage: https://github.com/google/googletest
Depends: libgtest-dev (= 1.11.0-3)
Description:  Google's framework for writing C++ tests Inspired by jMock, EasyMock, and Hamcrest, and designed with C++'s specifics in mind, it can help you derive better designs of your system and write better tests. . Google Mock: .  - provides a declarative syntax for defining mocks,  - can easily define partial (hybrid) mocks, which are a cross of real    and mock objects,  - handles functions of arbitrary types and overloaded functions,  - comes with a rich set of matchers for validating function arguments,  - uses an intuitive syntax for controlling the behavior of a mock,  - does automatic verification of expectations (no record-and-replay    needed),  - allows arbitrary (partial) ordering constraints on    function calls to be expressed,  - lets a user extend it by defining new matchers and actions.  - does not use exceptions, and  - is easy to learn and use.
Package: libgmp-dev (2:6.2.1+dfsg-3ubuntu1)
Section: libdevel
Homepage: https://gmplib.org/
Depends: libgmp10 (= 2:6.2.1+dfsg-3ubuntu1), libgmpxx4ldbl (= 2:6.2.1+dfsg-3ubuntu1)
Description:  Multiprecision arithmetic library developers tools This development package provides the header files and the symbolic links to allow compilation and linking of programs that use the libraries provided in the libgmp10 package. . Both C and C++ bindings are present in this package.  Package libstdc++-dev is required to use the C++ bindings. . The MPFR library (multiple-precision floating-point) used to be included, but has since been moved to package libmpfr-dev.
Package: libgmp-ocaml-dev (20021123-21build2)
Section: universe/devel
Homepage: http://www-verimag.imag.fr/~monniaux/download/
Depends: libgmp-ocaml-7ai72, ocaml-4.13.1, libgmp3-dev
Description:  OCaml bindings for the GNU multiprecision arithmetic library (dev) This package provides bindings for the GNU multiprecision library (GNU MP) for the language OCaml(caml.inria.fr).  It is mostly a 1-1 mapping of the C functions into the OCaml namespace, but also includes some infix operators to make for a cleaner syntax. . This package provides the static library, OCaml library and interface for developing applications to use libgmp-ocaml
Package: libgmp-ocaml (20021123-21build2)
Section: universe/devel
Homepage: http://www-verimag.imag.fr/~monniaux/download/
Depends: libc6 (>= 2.4), libgmp10 (>= 2:6.2.1+dfsg), ocaml-base-4.13.1
Description:  OCaml bindings for the GNU multiprecision arithmetic library (runtime) This package provides bindings for the GNU multiprecision library (GNU MP) for the language OCaml (caml.inria.fr).  It is mostly a 1-1 mapping of the C functions into the OCaml namespace, but also includes some infix operators to make for a cleaner syntax. . This package provides the shared library for running applications linked against libgmp-ocaml
Package: libgmp10-doc (2:6.2.1+dfsg-3ubuntu1)
Section: doc
Homepage: https://gmplib.org/
Description:  Multiprecision arithmetic library example code This package provides example code illustrating the use of GMP.
Package: libgmp10 (2:6.2.1+dfsg-3ubuntu1)
Section: libs
Homepage: https://gmplib.org/
Depends: libc6 (>= 2.14)
Description:  Multiprecision arithmetic library GNU MP is a programmer's library for arbitrary precision arithmetic (ie, a bignum package).  It can operate on signed integer, rational, and floating point numeric types. . It has a rich set of functions, and the functions have a regular interface.
Package: libgmp3-dev (2:6.2.1+dfsg-3ubuntu1)
Section: libdevel
Homepage: https://gmplib.org/
Depends: libgmp-dev (= 2:6.2.1+dfsg-3ubuntu1)
Description:  Multiprecision arithmetic library developers tools This is a dummy package that simply pulls in libgmp-dev. It can safely be removed.
Package: libgmpada10-dev (1.4-2)
Section: universe/libdevel
Homepage: http://nicolas.boulenguez.free.fr
Depends: libgmp-dev, gnat, gnat-10, libgmpada8 (= 1.4-2)
Description:  Ada binding to the GNU MultiPrecision library: development GMPAda allows programmers to use the GNU MultiPrecision library within the Ada language: unbounded integers, rationals and floats. . Install this package if you want to write programs that use libgmpada.
Package: libgmpada8 (1.4-2)
Section: universe/libs
Homepage: http://nicolas.boulenguez.free.fr
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgmp10, libgnat-10 (>= 10.2.1)
Description:  Ada binding to the GNU MultiPrecision library: shared library GMPAda allows programmers to use the GNU MultiPrecision library within the Ada language: unbounded integers, rationals and floats. . This package contains the runtime shared library.