package info (click to toggle)
alt-ergo 2.0.0-3
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 2,096 kB
  • sloc: ml: 28,606; makefile: 15; sh: 12

Folder: 2.0.0-3

show hidden (1)
d .. (parent)
d d rwxr-xr-x 144 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 50 doc
d d rwxr-xr-x 44 examples
d d rwxr-xr-x 121 lib
d d rwxr-xr-x 42 parsers
d d rwxr-xr-x 64 plugins
d d rwxr-xr-x 52 preludes
d d rwxr-xr-x 57 tools
- - rw-r--r-- 11,358 Apache-License-2.0.txt
- - rw-r--r-- 17,417 CHANGES
- - rw-r--r-- 14 COPYING.md
- - rw-r--r-- 3,656 INSTALL.md
- - rw-r--r-- 27,532 LGPL-License.txt
- - rw-r--r-- 1,263 LICENSE.md
- - rw-r--r-- 161 License.OCamlPro
- - rw-r--r-- 82 Makefile
- - rw-r--r-- 1,297 Makefile.configurable.in
- - rw-r--r-- 6,619 Makefile.developers
- - rw-r--r-- 11,429 Makefile.users
- - rw-r--r-- 722 README.md
- - rwxr-xr-x 106,382 configure
- - rw-r--r-- 8,877 configure.in
- - rw-r--r-- 976 opam