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

../
patch-Makefile,v                                   21-Sep-2026 18:24                3115
patch-gnatprove.gpr,v                              21-Sep-2026 18:24                1181
patch-spark2014vsn.ads,v                           21-Sep-2026 18:24                1064
patch-src_common_platform.ads,v                    21-Sep-2026 18:24                1116
patch-src_common_semaphores__c.c,v                 21-Sep-2026 18:24                2385
patch-src_common_x86__64-netbsd_platform.adb,v     21-Sep-2026 18:24                2947
patch-src_gnatprove_spark__report.adb,v            21-Sep-2026 18:24                1205
patch-why3_Makefile.in,v                           21-Sep-2026 18:24                1281