1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-05 01:55:52 +00:00
freebsd-ports/devel/gprbuild/files
..
patch-gprbuild.gpr
patch-Makefile.in
patch-share_gprconfig_compilers.xml
patch-share_gprconfig_gnat.xml
patch-share_gprconfig_linker.xml
patch-share_gprconfig_targetset.xml
patch-src_gprlib.adb