minizinc-ide

0 directories 3 files 4.6 MiB total

Name	Size	Modified
Up
minizinc-ide-dbgsym_2.1.7-1+b1_riscv64.deb	4.3 MiB	12/20/2019 06:03:21 AM +00:00
minizinc-ide_2.1.7-1+b1_riscv64.buildinfo	9.8 KiB	12/20/2019 06:03:22 AM +00:00
minizinc-ide_2.1.7-1+b1_riscv64.deb	250 KiB	12/20/2019 06:03:22 AM +00:00