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: coq-menhirlib

d .. (parent)
d d rwxr-xr-x 4,096 src
- - rw-r--r-- 2,279 CHANGES.md
- - rw-r--r-- 43,236 LICENSE
- - rw-r--r-- 144 Makefile
- - rw-r--r-- 719 README.md