The following packages were found for maintainer: dkazankov@NetBSD.org
Restricting search to CURRENT branch. (Show all branches)

wip/xmlada XML/Ada: An XML parser for Ada95
lang/gcc13-gnat GNAT Compiler and Ada tools
wip/gnatcoll-core The GNAT Components Collection (GNATcoll) - Core packages
wip/gprlib LIBGPR development libraries
wip/spark2014 SPARK 2014 toolset
wip/gnatcoll-db The GNAT Components Collection (GNATcoll) - Database packages
wip/adasat Implementation of a DPLL-based SAT solver in Ada
lang/gcc13-gnat-libs The GNU Compiler Collection (GCC) support shared libraries
wip/polyorb Polymorphic, reusable infrastructure for building distributed systems
wip/gnat-glade GNAT Library for Ada Distributed Environment
lang/gcc14-gnat-libs The GNU Compiler Collection (GCC) support shared libraries
lang/gcc14-gnat GNAT Compiler and Ada tools
wip/gcc15-aux GCC with Ada support
wip/gcc15-aux-libs The GNU Compiler Collection (GCC) GNAT support shared libraries
wip/gcc15-gnat-libs The GNU Compiler Collection (GCC) GNAT support shared libraries
wip/gcc15-gnat GNAT compiler and Ada tools
math/ocaml-ocplib-simplex Ocplib-simplex library implements a simplex algorithm