DIST fricas-1.3.13-full.tar.bz2 10997314 BLAKE2B 57af1c51ca2ca754e58b754f237f34ea65ae3f0bdd8985e383a19a80a1438a04fa112e2067f5641a836bd3413d0298150b7261b16f7201cd5a8dd971b928d98b SHA512 8f2f8de62ccca7ee47a99ca19533ffd8384ee0acb888a5143836ed7587b78484bfe8da7bad13991166cf8b631243ceca44c45c879af7f38de5890f3c3db7ae6d
DIST fricas-1.4.0-full.tar.bz2 10651441 BLAKE2B b3eb80dd5994020719e2183a5e6107d17aa74451cd8894bc6f58e333ae102c2f02c1e8e63399aa5681bf09eb6449c896138f817d6f856cd8bc92e29996effea3 SHA512 409ac842085b9ed5ba441f1264c8b6b9695f8f0227a662de7a32c3dc91a42864c784fcd1d8ef1f0357a0628c837caf52ecca78e3bcb7e364b4def1dfb79f38c8