package info (click to toggle)
gringo 3.0.4-3
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 3,116 kB
  • sloc: cpp: 45,083; ansic: 4,368; yacc: 477; makefile: 194; python: 22

Folder: 3.0.4-3

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 151 app
d d rwxr-xr-x 4,096 cmake
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 72 lemon
d d rwxr-xr-x 65 libclasp
d d rwxr-xr-x 66 libgringo
d d rwxr-xr-x 102 liblua
d d rwxr-xr-x 105 libluasql
d d rwxr-xr-x 72 libprogram_opts
- - rw-r--r-- 3,164 CHANGES
- - rw-r--r-- 3,087 CMakeLists.txt
- - rw-r--r-- 35,147 COPYING
- - rw-r--r-- 1,673 INSTALL
- - rw-r--r-- 1,339 Makefile
- - rw-r--r-- 1,787 README
- - rw-r--r-- 1,789 clingo.1
- - rw-r--r-- 1,889 gringo.1
- - rw-r--r-- 2,174 iclingo.1