package info (click to toggle)
minizinc-ide 2.5.3-1
  • links: PTS
  • area: main
  • in suites: bullseye, sid
  • size: 2,764 kB
  • sloc: cpp: 20,833; sh: 59; makefile: 7

Folder: 2.5.3-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 MiniZincIDE
d d rwxr-xr-x 111 cp-profiler
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 121 resources
- - rw-r--r-- 11 .gitignore
- - rw-r--r-- 14,381 .gitlab-ci.yml
- - rw-r--r-- 149 .gitmodules
- - rw-r--r-- 16,726 LICENSE.txt
- - rw-r--r-- 120 MiniZincIDE.pro
- - rw-r--r-- 1,426 TODO.txt