Index of /cvsroot/pkgsrc/lang/spark2014-14/patches/

../
patch-Makefile,v                                   25-Mar-2026 21:31                3285
patch-Makefile.gnatprove,v                         25-Mar-2026 21:31                 921
patch-gnat2why_Makefile,v                          25-Mar-2026 21:31                1184
patch-gnatprove.gpr,v                              25-Mar-2026 21:31                1377
patch-src_common_platform.ads,v                    25-Mar-2026 21:31                 982
patch-src_common_semaphores__c.c,v                 25-Mar-2026 21:31                2236
patch-src_common_x86__64-netbsd_platform.adb,v     25-Mar-2026 21:31                2811
patch-src_gnatprove_configuration.adb,v            25-Mar-2026 21:31                2866
patch-src_gnatprove_spark__report.adb,v            25-Mar-2026 21:31                 949