Yuri Victorovich 8444522a9b math/gecode: Install MiniZinc config file

2021-05-04 12:07:26 -07:00

..

files

…

distinfo

…

Makefile

…

pkg-descr

…

pkg-plist

…