File: README.source

package info (click to toggle)
menhir 20220210%2Bds-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 4,152 kB
  • sloc: ml: 32,565; sh: 209; makefile: 134; lisp: 8
file content (8 lines) | stat: -rw-r--r-- 333 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
 
menhir (20200123-2) unstable; urgency=medium

  * As of this version, the coq-menhirlib directory is excluded from the
  source of menhir. Instead, it will be packaged as an independent source
  package, in order to get avoid that menhir build-depends on coq.

 -- Ralf Treinen <treinen@debian.org>  Thu, 27 Feb 2020 22:12:34 +0100