1 files changed, 2 insertions, 1 deletions
diff --git a/checksetup.pl b/checksetup.pl
index f0a7a3d77..fc8f471f4 100755
--- a/checksetup.pl
+++ b/checksetup.pl
@@ -735,8 +735,9 @@ $table{fielddefs} =
 
 $table{versions} =
    'value tinytext,
-    program varchar(64)';
+    program varchar(64) not null,
 
+    unique(program)';
 
 $table{votes} =
    'who mediumint not null,