/usr/share/coq/coqvars.mk is in coq 8.3.pl4+dfsg-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 | # Current coq version
COQ_VERSION ?= 8.3pl4
# Current coq ABI
COQ_ABI ?= 8.3pl4+3.12.1
# Standard library path
COQ_STDLIB_DIR ?= $(shell /usr/bin/coqc -where)
# Directory for contributions
# External libraries should go there
COQ_USERCONTRIB_DIR ?= $(COQ_STDLIB_DIR)/user-contrib
|