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

../
patch-Makefile,v                                   20-Sep-2025 13:25                3191
patch-Makefile.gnatprove,v                         20-Sep-2025 13:25                 827
patch-gnat2why_Makefile,v                          20-Sep-2025 13:25                1090
patch-gnatprove.gpr,v                              20-Sep-2025 13:25                1283
patch-src_common_platform.ads,v                    20-Sep-2025 13:25                 888
patch-src_common_semaphores__c.c,v                 20-Sep-2025 13:25                2142
patch-src_common_x86__64-netbsd_platform.adb,v     20-Sep-2025 13:25                2717
patch-src_gnatprove_configuration.adb,v            20-Sep-2025 13:25                2772
patch-src_gnatprove_spark__report.adb,v            20-Sep-2025 13:25                 855