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

../
patch-Makefile,v                                   20-Dec-2025 21:48                3238
patch-Makefile.gnatprove,v                         20-Dec-2025 21:48                 874
patch-gnat2why_Makefile,v                          20-Dec-2025 21:48                1137
patch-gnatprove.gpr,v                              20-Dec-2025 21:48                1330
patch-src_common_platform.ads,v                    20-Dec-2025 21:48                 935
patch-src_common_semaphores__c.c,v                 20-Dec-2025 21:48                2189
patch-src_common_x86__64-netbsd_platform.adb,v     20-Dec-2025 21:48                2764
patch-src_gnatprove_configuration.adb,v            20-Dec-2025 21:48                2819
patch-src_gnatprove_spark__report.adb,v            20-Dec-2025 21:48                 902