diff --git a/lib/coq/version.in b/lib/coq/version.in
new file mode 100644
index 000000000..1064aeb64
--- /dev/null
+++ b/lib/coq/version.in
@@ -0,0 +1 @@
+@COQVERSION@
diff --git a/lib/pvs/version.in b/lib/pvs/version.in
new file mode 100644
index 000000000..6d39b7fbb
--- /dev/null
+++ b/lib/pvs/version.in
@@ -0,0 +1 @@
+@PVSVERSION@