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

../
patch-Makefile,v                                   22-Jun-2026 00:37                3332
patch-Makefile.gnatprove,v                         22-Jun-2026 00:37                 968
patch-gnat2why_Makefile,v                          22-Jun-2026 00:37                1231
patch-gnatprove.gpr,v                              22-Jun-2026 00:37                1424
patch-src_common_platform.ads,v                    22-Jun-2026 00:37                1029
patch-src_common_semaphores__c.c,v                 22-Jun-2026 00:37                2283
patch-src_common_x86__64-netbsd_platform.adb,v     22-Jun-2026 00:37                2858
patch-src_gnatprove_configuration.adb,v            22-Jun-2026 00:37                2913
patch-src_gnatprove_spark__report.adb,v            22-Jun-2026 00:37                 996