package info (click to toggle)
menhir 20190626-6
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 6,016 kB
  • sloc: ml: 21,465; makefile: 1,048; sh: 126; lisp: 8

Folder: 20190626-6

show hidden (1)
d .. (parent)
d d rwxr-xr-x 136 .pc
d d rwxr-xr-x 102 coq-menhirlib
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 demos
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 8,192 src
d d rwxr-xr-x 110 www
- - rw-r--r-- 3 .gitignore
- - rw-r--r-- 107 .gitlab-ci.yml
- - rw-r--r-- 33,056 CHANGES.md
- - rw-r--r-- 1,392 INSTALLATION.md
- - rw-r--r-- 45,491 LICENSE
- - rw-r--r-- 8,207 Makefile
- - rw-r--r-- 977 README.md
- - rwxr-xr-x 2,459 check-tarball.sh