1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00
freebsd-ports/devel/gps/files
..
patch-common-tty-terminals.c
patch-gnatlib_aclocal.m4
patch-gnatlib_configure
patch-gnatlib_src_nonpython_gnatcoll-scripts.nopython.adb
patch-gnatlib_src_nonpython_gnatcoll-scripts.nopython.ads
patch-gnatlib-gnat_src-mlib-utl.adb
patch-gnatlib-gnatcoll_shared.gpr.in
patch-Makefile.in
patch-shared.gpr