Index of /pub/NetBSD-CVS/pkgsrc/lang/spark2014-14/patches/

../
patch-Makefile,v                                   21-Sep-2026 18:24                3380
patch-Makefile.gnatprove,v                         21-Sep-2026 18:24                1016
patch-gnat2why_Makefile,v                          21-Sep-2026 18:24                1279
patch-gnatprove.gpr,v                              21-Sep-2026 18:24                1472
patch-src_common_platform.ads,v                    21-Sep-2026 18:24                1077
patch-src_common_semaphores__c.c,v                 21-Sep-2026 18:24                2331
patch-src_common_x86__64-netbsd_platform.adb,v     21-Sep-2026 18:24                2906
patch-src_gnatprove_configuration.adb,v            21-Sep-2026 18:24                2961
patch-src_gnatprove_spark__report.adb,v            21-Sep-2026 18:24                1044