package info (click to toggle)
menhir 20200123-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 5,456 kB
  • sloc: ml: 21,099; makefile: 678; sh: 76; lisp: 8

Folder: 20200123-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 102 coq-menhirlib
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 4,096 lib
d d rwxr-xr-x 4,096 sdk
d d rwxr-xr-x 8,192 src
d d rwxr-xr-x 110 www
- - rw-r--r-- 18 .gitignore
- - rw-r--r-- 107 .gitlab-ci.yml
- - rw-r--r-- 34,324 CHANGES.md
- - rw-r--r-- 892 INSTALLATION.md
- - rw-r--r-- 45,491 LICENSE
- - rw-r--r-- 663 README.md
- - rwxr-xr-x 1,435 check-tarball.sh
- - rw-r--r-- 193 dune-project
- - rw-r--r-- 327 dune-workspace.versions