aboutsummaryrefslogblamecommitdiff
path: root/math/minizinc/distinfo
blob: cb967600c214ecbe483997e0437f46827bc75c35 (plain) (tree) 
bbde1ed31ba7



1
2
3



                                                                                                                 
TIMESTAMP = 1616977123
SHA256 (MiniZinc-libminizinc-2.5.5_GH0.tar.gz) = c6c81fa8bdc2d7f8c8d851e5a4b936109f5d996abd8c6f809539f753581c6288
SIZE (MiniZinc-libminizinc-2.5.5_GH0.tar.gz) = 12593468
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-04 08:35:26 +0000