HASY: Not German; adjust parameters

publications/hasy/main.tex

@@ -57,7 +57,7 @@
 \usepackage{xspace}
 \newcommand*\elide{\textup{[\,\dots]}\xspace}
 
-\usepackage[german,nameinlink, noabbrev,capitalise]{cleveref}
+\usepackage[nameinlink, noabbrev,capitalise]{cleveref}
 
 \title{The HASY dataset}
 \author{%
@@ -74,6 +74,8 @@
 \usepackage[inline]{enumitem}
 \usepackage{longtable}
 \usepackage{booktabs}       % \toprule
+\usepackage{braket}         % needed for \Set
+
 % Packages for symbols
 \usepackage{mathtools}
 \usepackage{mathrsfs}
@@ -97,9 +99,9 @@
 \newcommand{\dbTestInstances}{\num{17074}}
 \newcommand{\dbTotalInstances}{\num{168233}}
 \newcommand{\dbName}{HASY}
-\newcommand{\dbSizeMB}{33.3}
-\newcommand{\dbDownloadURL}{\url{http://TODO.com/_me}}
-\newcommand{\dbMDfivesum}{1b452c44895e44e4357141822a38de8f}
+\newcommand{\dbSizeMB}{29.1}
+\newcommand{\dbDownloadURL}{\url{https://doi.org/10.5281/zenodo.250239}}
+\newcommand{\dbMDfivesum}{6118404f29810a2e09f47171b952148b}
 
 % Start
 \begin{document}