| devel/asfml | FreeBSD | 3.0.0 | devel/asfml 3.0.0: Ada bindings to the Simple and Fast Multimedia Library (SFML). FreeBSD port maintained by [email protected]. |
| devel/getopt-ada | FreeBSD | 2.0.0 | devel/getopt-ada 2.0.0: Ada POSIX getopt(3) library. FreeBSD port maintained by [email protected]. |
| devel/gnatcoll-bindings | FreeBSD | 26.0.0 | devel/gnatcoll-bindings 26.0.0: GNATColl Bindings meta-port. FreeBSD port maintained by [email protected]. |
| devel/gnatcoll-bindings-cpp | FreeBSD | 26.0.0 | devel/gnatcoll-bindings-cpp 26.0.0: GNATColl interface to C++ Standard library. FreeBSD port maintained by [email protected]. |
| devel/gnatcoll-bindings-gmp | FreeBSD | 26.0.0 | devel/gnatcoll-bindings-gmp 26.0.0: GNATColl interface to GNU Multiple Precision arithmetic library. FreeBSD port maintained by [email protected]. |
| devel/gnatcoll-bindings-iconv | FreeBSD | 26.0.0 | devel/gnatcoll-bindings-iconv 26.0.0: GNATColl interface to GNU libiconv. FreeBSD port maintained by [email protected]. |
| devel/gnatcoll-bindings-lzma | FreeBSD | 26.0.0 | devel/gnatcoll-bindings-lzma 26.0.0: GNATColl interface to liblzma. FreeBSD port maintained by [email protected]. |
| devel/gnatcoll-bindings-omp | FreeBSD | 26.0.0 | devel/gnatcoll-bindings-omp 26.0.0: GNATColl GCC OpenMP component. FreeBSD port maintained by [email protected]. |
| devel/gnatcoll-bindings-python | FreeBSD | 26.0.0 | devel/gnatcoll-bindings-python 26.0.0: GNATColl interface to Python 3. FreeBSD port maintained by [email protected]. |
| devel/gnatcoll-bindings-readline | FreeBSD | 26.0.0 | devel/gnatcoll-bindings-readline 26.0.0: GNATColl interface to GNU readline. FreeBSD port maintained by [email protected]. |
| devel/gnatcoll-bindings-syslog | FreeBSD | 26.0.0 | devel/gnatcoll-bindings-syslog 26.0.0: GNATColl interface to the system syslog service. FreeBSD port maintained by [email protected]. |
| devel/gnatcoll-bindings-zlib | FreeBSD | 26.0.0 | devel/gnatcoll-bindings-zlib 26.0.0: GNATColl interface to zlib. FreeBSD port maintained by [email protected]. |
| devel/gnatcoll-core | FreeBSD | 26.0.0 | devel/gnatcoll-core 26.0.0: GNAT Components Collection (Core and Minimal). FreeBSD port maintained by [email protected]. |
| devel/gnatcoll-minimal | FreeBSD | 26.0.0 | devel/gnatcoll-minimal 26.0.0: GNAT Components Collection (Minimal). FreeBSD port maintained by [email protected]. |
| devel/gprbuild | FreeBSD | 26.0.0,1 | devel/gprbuild 26.0.0,1: Advanced multi-language build system. FreeBSD port maintained by [email protected]. |
| devel/matreshka | FreeBSD | 21.0.18 | devel/matreshka 21.0.18: Ada framework for information systems development. FreeBSD port maintained by [email protected]. |
| lang/gnat12 | FreeBSD | 12.4.0_1 | lang/gnat12 12.4.0_1: GNAT (GNU Ada) compiler. FreeBSD port maintained by [email protected]. |
| lang/gnat13 | FreeBSD | 13.3.0_1 | lang/gnat13 13.3.0_1: GNAT (GNU Ada) compiler. FreeBSD port maintained by [email protected]. |
| lang/gnat14 | FreeBSD | 14.2.0_1 | lang/gnat14 14.2.0_1: GNAT (GNU Ada) compiler. FreeBSD port maintained by [email protected]. |
| lang/gnat15 | FreeBSD | 15.2.0 | lang/gnat15 15.2.0: GNAT (GNU Ada) compiler. FreeBSD port maintained by [email protected]. |
| math/adasat | FreeBSD | 26.0.0 | math/adasat 26.0.0: DPLL-based SAT solver in Ada. FreeBSD port maintained by [email protected]. |
| textproc/xmlada | FreeBSD | 26.0.0 | textproc/xmlada 26.0.0: XML/Ada toolkit. FreeBSD port maintained by [email protected]. |
BSD Ports