lang/spark2014-14/DESCR: 6d37c812d4b8a766d6b220e65b45e3b6ca116d52e26a04ea93eac93d55062452
lang/spark2014-14/Makefile: 34224e1861ba35954144bfb8cb7a127481340f26ef70d4c5050ff0c073a759c2
lang/spark2014-14/PLIST: 0632d44049d9ff9f7ca7aeb26e8d77da03c68c11988f52648040678f515c7ee0
lang/spark2014-14/distinfo: 715630c072c73b6b0685394ec30b10ac9b89a20e980e6e482136a37eac5f2baf
lang/spark2014-14/patches/patch-Makefile.gnatprove: bb1bb06e8fa9b939a3f8d93d284dc1404a8419e8c98027d486d3c1cf2279c5d9
lang/spark2014-14/patches/patch-Makefile: eecaf1b256f52d22c473ca8121e83142bb6d1ee1e5347365150c64d9004a9858
lang/spark2014-14/patches/patch-gnat2why_Makefile: fcda1f3fd62e4e6926f929390a2641756e2d2ba237fe022384edc5a75c5d3d7e
lang/spark2014-14/patches/patch-gnatprove.gpr: 98fdac1e635b71782fdf159b874383745f4df858aa98c5fbfffae9dbac1f5af9
lang/spark2014-14/patches/patch-src_common_platform.ads: 38d5745c061bbae836b3aefe3d9ecbb3517709b2e342a7e980686dfef7180e56
lang/spark2014-14/patches/patch-src_common_semaphores__c.c: e4232f9330c1a7582b1f28aec007d0fb4a7715dc53b02982b70e64f1763b98d7
lang/spark2014-14/patches/patch-src_common_x86__64-netbsd_platform.adb: 483e3660eb5db826132cd24409602d814d51fd6904f03b048d618423c469d715
lang/spark2014-14/patches/patch-src_gnatprove_configuration.adb: 0b46c9d26e03d16b52ee2df511d92d7a4979d0a5d26aec96cd6921071bdc912d
lang/spark2014-14/patches/patch-src_gnatprove_spark__report.adb: 953926ecb53e73c185763a3be6ecc312bae9b0ed54409380b53075b93dffa91b
