lang/spark2014-13/DESCR: 6d37c812d4b8a766d6b220e65b45e3b6ca116d52e26a04ea93eac93d55062452
lang/spark2014-13/Makefile: 5675f23fcda585a043ed2d2f25faa628dd8f3915b9e55ec52f836e758a3eecbb
lang/spark2014-13/PLIST: 91d5915cfd623a6394f0a1d79dce7dcd3d02d5ac2ea67672bee82a6b3d8372c1
lang/spark2014-13/distinfo: 16564c8e646f14810b7fa89f9e684be7da8b868d438dd550740c35dd27417132
lang/spark2014-13/patches/patch-Makefile: 3334e0d32970237f4d8d5322c39ae19b46537dde6709671e2dc748d19ff34451
lang/spark2014-13/patches/patch-gnatprove.gpr: df3b7a5602dd347a39153cc1367673916fcc52f911b541da7eb61525db006899
lang/spark2014-13/patches/patch-spark2014vsn.ads: 587cf3d9d087646b4f8bad95773a1de1164519a6b1b62ecd4ea57e4446fb28ae
lang/spark2014-13/patches/patch-src_common_platform.ads: a62cf0609ad6df865ca6143056503b5601a98181e4cb70d64d56ac58e951407f
lang/spark2014-13/patches/patch-src_common_semaphores__c.c: debd021f3200e0bbb1965e33000d7acf52c976ef3a194e55d051afbefa41ced8
lang/spark2014-13/patches/patch-src_common_x86__64-netbsd_platform.adb: daeda6f73ec795b9b0c019feeaa44c8edec19f3109b0f4136b46941074ac188a
lang/spark2014-13/patches/patch-src_gnatprove_spark__report.adb: 564b82fb524f440fd2d82022bbfb8daf2848e8a4f5c358abab023a318697f7ed
lang/spark2014-13/patches/patch-why3_Makefile.in: 4be58ee9914b451c50fa9dd32a6a7b9e1f281f7b5df0751ce34be8b425ffc53c
