Directory: /rockos/20241230/rockos-base/pool/main/m/minizinc-ide/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minizinc-ide_2.8.5-1.debian.tar.xz8.9 KiB2024-Aug-28 04:19
minizinc-ide_2.8.5-1.dsc1.8 KiB2024-Aug-28 04:19
minizinc-ide_2.8.5.orig.tar.gz815.6 KiB2024-Aug-28 04:19