package info (click to toggle)
menhir 20210929-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, sid
  • size: 4,292 kB
  • sloc: ml: 24,825; sh: 180; makefile: 100; lisp: 8

Folder: 20210929-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 124 .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 fix
d d rwxr-xr-x 4,096 lib
d d rwxr-xr-x 154 pprint
d d rwxr-xr-x 4,096 sdk
d d rwxr-xr-x 8,192 src
- - rw-r--r-- 75 .gitignore
- - rw-r--r-- 107 .gitlab-ci.yml
- - rw-r--r-- 45,375 LICENSE
- - rwxr-xr-x 1,686 check-tarball.sh
- - rwxr-xr-x 4,204 compile-ocaml.sh
- - rw-r--r-- 80 dune
- - rw-r--r-- 193 dune-project
- - rwxr-xr-x 919 exec.sh