DIST fricas-1.3.12-full.tar.bz2 10951028 BLAKE2B a88a9665ac003aaabf3aeb1a862a0402d781b22ffbb8a5fb95d5875ac459b86cd1f86c0160945898afa1bb88ca95f372ec73e9e58b73a3f7f75cb44f632571d7 SHA512 458505a41282e3aa874c70fe688a40296cb9a0d8053571d091a11df96c84ae5e8792524d83d156ccfecc915fa7c36b9dfa801cb68eaad36404aeccb673199358
DIST fricas-1.3.13-full.tar.bz2 10997314 BLAKE2B 57af1c51ca2ca754e58b754f237f34ea65ae3f0bdd8985e383a19a80a1438a04fa112e2067f5641a836bd3413d0298150b7261b16f7201cd5a8dd971b928d98b SHA512 8f2f8de62ccca7ee47a99ca19533ffd8384ee0acb888a5143836ed7587b78484bfe8da7bad13991166cf8b631243ceca44c45c879af7f38de5890f3c3db7ae6d