package info (click to toggle)
minizinc-ide 2.0.14-1
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 1,216 kB
  • ctags: 583
  • sloc: cpp: 5,783; makefile: 11; sh: 1

Folder: 2.0.14-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 4,096 debian
- - rw-r--r-- 46,079 COMBINED_LICENSE.txt
- - rw-r--r-- 16,726 LICENSE.txt
- - rw-r--r-- 1,426 TODO.txt