Index of /ports/devel/minizinc/files/

Icon  Name                                                    Last modified      Size  
[PARENTDIR] Parent Directory                                                             -   
[TXT] 0001-file_utils.cpp-add-a-missing-cstdint-include.patch 2024-06-20 07:11  607