Index of /srv/001/usr/local/pkgs/lang/spark2014-14/patches/

NameLast ModifiedSizeType
../ -  Directory
CVS/2025-Sep-24 10:37:49-  Directory
patch-Makefile2025-Jul-28 07:00:552.7Kapplication/octet-stream
patch-Makefile.gnatprove2025-Jul-28 07:00:550.5Kapplication/octet-stream
patch-gnat2why_Makefile2025-Jul-28 07:00:550.7Kapplication/octet-stream
patch-gnatprove.gpr2025-Jul-28 07:00:550.9Kapplication/octet-stream
patch-src_common_platform.ads2025-Jul-28 07:00:550.5Kapplication/octet-stream
patch-src_common_semaphores__c.c2025-Jul-28 07:00:551.7Ktext/plain;charset=utf-8
patch-src_common_x86__64-netbsd_platform.adb2025-Jul-28 07:00:552.3Kapplication/octet-stream
patch-src_gnatprove_configuration.adb2025-Jul-28 07:00:552.3Kapplication/octet-stream
patch-src_gnatprove_spark__report.adb2025-Jul-28 07:00:550.5Kapplication/octet-stream
lighttpd/1.4.78