package info (click to toggle)
gringo 5.3.0-10
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 16,468 kB
  • sloc: cpp: 141,185; python: 1,568; ansic: 1,378; yacc: 880; xml: 182; sh: 156; makefile: 41

Folder: 5.3.0-10

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 113 app
d d rwxr-xr-x 4,096 clasp
d d rwxr-xr-x 149 cmake
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 16 doc
d d rwxr-xr-x 85 examples
d d rwxr-xr-x 121 libclingo
d d rwxr-xr-x 96 libgringo
d d rwxr-xr-x 80 libluaclingo
d d rwxr-xr-x 78 libpyclingo
d d rwxr-xr-x 81 libreify
- - rw-r--r-- 230 .gitignore
- - rw-r--r-- 1,310 .travis.yml
- - rw-r--r-- 5,920 .ycm_extra_conf.py
- - rw-r--r-- 10,311 CHANGES.md
- - rw-r--r-- 7,771 CMakeLists.txt
- - rw-r--r-- 8,684 INSTALL.md
- - rw-r--r-- 1,080 LICENSE.md
- - rw-r--r-- 982 README.md
- - rw-r--r-- 2,002 clingo.1
- - rw-r--r-- 2,142 gringo.1
- - rw-r--r-- 1,790 lpconvert.1
- - rw-r--r-- 1,854 reify.1