File: version.tex

package info (click to toggle)
menhir 20181113-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 3,992 kB
  • sloc: ml: 21,252; makefile: 425; sh: 90; lisp: 8
file content (1 line) | stat: -rw-r--r-- 30 bytes parent folder | download | duplicates (2) 
1
 
\gdef\menhirversion{20181113}