File: license.rst

package info (click to toggle)
coq-doc 8.16.1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: bookworm
  • size: 42,788 kB
  • sloc: ml: 219,673; sh: 4,035; python: 3,372; ansic: 2,529; makefile: 728; lisp: 279; javascript: 87; xml: 24; sed: 2
file content (7 lines) | stat: -rw-r--r-- 312 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
 
.. note:: **License**

   This material (the Coq Reference Manual) may be distributed only
   subject to the terms and conditions set forth in the Open
   Publication License, v1.0 or later (the latest version is presently
   available at http://www.opencontent.org/openpub). Options A and B
   are not elected.