package coq-serapi

  1. Overview
  2. Docs

Source file ser_version.ml

let ser_git_version = "8.18.0+0.18.1";;