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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minizinc-ide_2.8.2-1.dsc	1.7 KiB	2024-May-15 12:01
minizinc-ide_2.8.2-1.debian.tar.xz	12.9 KiB	2024-May-15 12:01
minizinc-ide_2.8.2.orig.tar.gz	815.5 KiB	2024-May-15 12:01