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

../
patch-Makefile,v                                   22-Jun-2026 00:37                3067
patch-gnatprove.gpr,v                              22-Jun-2026 00:37                1133
patch-spark2014vsn.ads,v                           22-Jun-2026 00:37                1016
patch-src_common_platform.ads,v                    22-Jun-2026 00:37                1068
patch-src_common_semaphores__c.c,v                 22-Jun-2026 00:37                2337
patch-src_common_x86__64-netbsd_platform.adb,v     22-Jun-2026 00:37                2899
patch-src_gnatprove_spark__report.adb,v            22-Jun-2026 00:37                1157
patch-why3_Makefile.in,v                           22-Jun-2026 00:37                1233