community/picat: rebuild due to upstream rerelease
It appears picat was rereleased, the checksum is different. Notably, this is is different:
- printf("Picat version 3.5#5\n");
+ printf("Picat version 3.6\n");
It's not just the version that is different, the entire archive is different, so it appears that the 3.5 source was released as 3.6.
Rebuild all packages using the new source.