Index of /pureos/pool/main/m/minizinc-ide
Name
Last modified
Size
Description
Parent Directory
-
minizinc-ide_2.1.7-1.dsc
2018-01-29 03:01
1.7K
minizinc-ide_2.1.7.orig.tar.gz
2018-01-29 03:01
210K
minizinc-ide_2.1.7-1.debian.tar.xz
2018-01-29 03:01
8.7K
minizinc-ide_2.1.7-1_amd64.deb
2018-01-29 03:03
244K
minizinc-ide_2.1.7-1_arm64.deb
2018-03-06 23:17
233K
minizinc-ide_2.5.3-1.dsc
2020-12-14 21:45
1.7K
minizinc-ide_2.5.3.orig.tar.gz
2020-12-14 21:45
780K
minizinc-ide_2.5.3-1.debian.tar.xz
2020-12-14 21:45
13K
minizinc-ide_2.5.3-1_amd64.deb
2020-12-14 21:48
755K
minizinc-ide_2.5.3-1_arm64.deb
2020-12-14 21:48
697K
minizinc-ide_2.6.3-1.debian.tar.xz
2023-06-14 13:22
13K
minizinc-ide_2.6.3-1.dsc
2023-06-14 13:22
1.7K
minizinc-ide_2.6.3.orig.tar.gz
2023-06-14 13:22
808K
minizinc-ide_2.6.3-1_amd64.deb
2023-06-15 01:21
847K
minizinc-ide_2.6.3-1_arm64.deb
2023-06-15 01:21
785K
minizinc-ide_2.8.5-1.debian.tar.xz
2024-09-12 00:16
8.9K
minizinc-ide_2.8.5-1.dsc
2024-09-12 00:16
1.8K
minizinc-ide_2.8.5.orig.tar.gz
2024-09-12 00:16
816K
minizinc-ide_2.8.5-1_amd64.deb
2024-09-27 11:44
898K
minizinc-ide_2.8.5-1_arm64.deb
2024-09-27 11:44
823K
Apache/2.4.18 (Trisquel_GNU/Linux) Server at mirror.fsf.org Port 80