notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC		 Ukraine
The recently imposed "must be logged in" restriction is a response to increased bot traffic on the site. This affects search, commits, and vuxml pages.
Search engines are not blocked. Try using "site:www.freshports.org" and your search terms.
Port details
gnatcoll-bindings-gmp GNATColl interface to GNU Multiple Precision arithmetic library
26.0.0 develnew! on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout Package not present on quarterly.This port was created during this quarter. It will be in the next quarterly branch but not the current one.
Maintainer: ada@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2026-07-18 14:09:36
Last Update: 2026-07-18 14:08:17
Commit Hash: 86d48e8
Also Listed In: lang math science
License: GPLv3+ GPLv3RLE+
WWW:
https://github.com/AdaCore/gnatcoll-bindings
Description:
GNATColl Bindings Ada Packages provides bindings to programming and scripting languages, libraries, and system services. This package is an interface to the GNU Multiple Precision (GMP) arithmetic library.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (69 items)
Collapse this list.
  1. /usr/local/share/licenses/gnatcoll-bindings-gmp-26.0.0/catalog.mk
  2. /usr/local/share/licenses/gnatcoll-bindings-gmp-26.0.0/LICENSE
  3. /usr/local/share/licenses/gnatcoll-bindings-gmp-26.0.0/GPLv3+
  4. /usr/local/share/licenses/gnatcoll-bindings-gmp-26.0.0/GPLv3RLE+
  5. include/gnatcoll-bindings/gmp/gmp_support.c
  6. include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-io.adb
  7. include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-io.ads
  8. include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-misc.adb
  9. include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-misc.ads
  10. include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-number_theoretic.adb
  11. include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-number_theoretic.ads
  12. include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-random.adb
  13. include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-random.ads
  14. include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-root_extraction.adb
  15. include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-root_extraction.ads
  16. include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers.adb
  17. include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers.ads
  18. include/gnatcoll-bindings/gmp/gnatcoll-gmp-lib.ads
  19. include/gnatcoll-bindings/gmp/gnatcoll-gmp-mpz_even_p.c
  20. include/gnatcoll-bindings/gmp/gnatcoll-gmp-mpz_odd_p.c
  21. include/gnatcoll-bindings/gmp/gnatcoll-gmp-mpz_sign.c
  22. include/gnatcoll-bindings/gmp/gnatcoll-gmp-random_state.adb
  23. include/gnatcoll-bindings/gmp/gnatcoll-gmp-random_state.ads
  24. include/gnatcoll-bindings/gmp/gnatcoll-gmp-rational_numbers.adb
  25. include/gnatcoll-bindings/gmp/gnatcoll-gmp-rational_numbers.ads
  26. include/gnatcoll-bindings/gmp/gnatcoll-gmp.ads
  27. lib/gnatcoll-bindings/gmp/relocatable/libgnatcoll_gmp.so
  28. lib/gnatcoll-bindings/gmp/relocatable/libgnatcoll_gmp.so.26.0.0
  29. lib/gnatcoll-bindings/gmp/static-pic/libgnatcoll_gmp.a
  30. lib/gnatcoll-bindings/gmp/static/libgnatcoll_gmp.a
  31. lib/libgnatcoll_gmp.so
  32. lib/libgnatcoll_gmp.so.26.0.0
  33. libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-integers-io.ali
  34. libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-integers-misc.ali
  35. libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-integers-number_theoretic.ali
  36. libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-integers-random.ali
  37. libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-integers-root_extraction.ali
  38. libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-integers.ali
  39. libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-lib.ali
  40. libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-random_state.ali
  41. libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-rational_numbers.ali
  42. libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp.ali
  43. libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-integers-io.ali
  44. libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-integers-misc.ali
  45. libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-integers-number_theoretic.ali
  46. libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-integers-random.ali
  47. libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-integers-root_extraction.ali
  48. libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-integers.ali
  49. libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-lib.ali
  50. libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-random_state.ali
  51. libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-rational_numbers.ali
  52. libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp.ali
  53. libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-integers-io.ali
  54. libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-integers-misc.ali
  55. libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-integers-number_theoretic.ali
  56. libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-integers-random.ali
  57. libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-integers-root_extraction.ali
  58. libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-integers.ali
  59. libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-lib.ali
  60. libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-random_state.ali
  61. libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-rational_numbers.ali
  62. libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp.ali
  63. share/examples/gnatcoll/gmp/gmp_examples.gpr
  64. share/examples/gnatcoll/gmp/isprime.adb
  65. share/examples/gnatcoll/gmp/square_triangular_numbers.adb
  66. share/gpr/gnatcoll_gmp.gpr
  67. @owner
  68. @group
  69. @mode
Collapse this list.
USE_RC_SUBR (Service Scripts)
  • no SUBR information found for this port
Dependency lines:
  • gnatcoll-bindings-gmp>0:devel/gnatcoll-bindings-gmp
To install the port:
cd /usr/ports/devel/gnatcoll-bindings-gmp/ && make install clean
To add the package, run one of these commands:
  • pkg install devel/gnatcoll-bindings-gmp
  • pkg install gnatcoll-bindings-gmp
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: gnatcoll-bindings-gmp
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1781854180 SHA256 (AdaCore-gnatcoll-bindings-v26.0.0_GH0.tar.gz) = ba9c877a66069b4a32f362b7a45ac2510e287963b505629646955984c50882b5 SIZE (AdaCore-gnatcoll-bindings-v26.0.0_GH0.tar.gz) = 331403
No package information for this port in our database
Sometimes this happens. Not all ports have packages. This is doubly so for new ports, like this one.
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. gprbuild>0 : devel/gprbuild
  2. gnat : lang/gnat12
Runtime dependencies:
  1. gnat : lang/gnat12
Library dependencies:
  1. libgmp.so : math/gmp
  2. libgnatcoll_minimal.so : devel/gnatcoll-core
This port is required by:
for Libraries
  1. devel/gnatcoll-bindings
Configuration Options:
===> The following configuration options are available for gnatcoll-bindings-gmp-26.0.0: EXAMPLES=on: Build and/or install examples ===> Use 'make config' to modify these settings
Options name:
devel_gnatcoll-bindings-gmp
USES:
ada:run
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/AdaCore/gnatcoll-bindings/tar.gz/v26.0.0?dummy=/
Collapse this list.

Number of commits found: 1

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
26.0.0
18 Jul 2026 14:08:17
commit hash: 86d48e88369768d2ab930c9dc59781eb7ca727fecommit hash: 86d48e88369768d2ab930c9dc59781eb7ca727fecommit hash: 86d48e88369768d2ab930c9dc59781eb7ca727fecommit hash: 86d48e88369768d2ab930c9dc59781eb7ca727fe files touched by this commit		 Thierry Thomas (thierry) search for other commits by this committer
Author: Alastair Hogge		 
devel/gnatcoll-bindings*: New Port, GNATColl Bindings

A set of Ada libraries related to the GNATColl reusable components,
providing interfaces to other languages, system services, or other
libraries.

Supported languages: C++ and Python-3
Supported libraries: iconv, lzma, OpenMP, readline, syslog, and zlib

https://github.com/AdaCore/gnatcoll-bindings

 PR:		296499

Number of commits found: 1
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
tailscaleJul 19
nginxJul 18
nginx-develJul 18
phpmyfaqJul 18
traefikJul 18
liboqsJul 16
ocaml-opamJul 14
popplerJul 14
poppler-glibJul 14
poppler-qt5Jul 14
poppler-qt6Jul 14
poppler-utilsJul 14
apache-commons-httpclientJul 10
apache-commons-httpclientJul 10
httpclientJul 10

20 vulnerabilities affecting 249 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-07-19 11:58:22 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 34916
Broken 89
Deprecated 299
Ignore 204
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 45
Expired 19
Set to expire 223
Interactive 0
new 24 hours 1
new 48 hours14
new 7 days82
new fortnight207
new month458
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.