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

../
patch-Makefile,v                                   20-Dec-2025 21:48                2973
patch-gnatprove.gpr,v                              20-Dec-2025 21:48                1039
patch-spark2014vsn.ads,v                           20-Dec-2025 21:48                 922
patch-src_common_platform.ads,v                    20-Dec-2025 21:48                 974
patch-src_common_semaphores__c.c,v                 20-Dec-2025 21:48                2243
patch-src_common_x86__64-netbsd_platform.adb,v     20-Dec-2025 21:48                2805
patch-src_gnatprove_spark__report.adb,v            20-Dec-2025 21:48                1063
patch-why3_Makefile.in,v                           20-Dec-2025 21:48                1139