1 files changed, 1 insertions, 0 deletions
diff --git a/debian/build/version.c b/debian/build/version.c
new file mode 100644
index 0000000..c54b2b6
--- /dev/null
+++ b/debian/build/version.c
@@ -0,0 +1 @@
+char	Version[] = "8.12.7";