\clearpage\section{Labs}\begin{Lab}

   \ifINSTRUCTORLED
      \begin{videobox}
         \begin{alltt}
    \reslink{using_dpkg_demo.mp4} \end{alltt}
      \end{videobox}
   \fi

   \setcounter{labno}{-1}
   \begin{exe} {dpkg Required}

      \begin{debianfamilybox}
         To do these labs you need to have access to a system that
         is \textbf{Debian}-based, such as \textbf{Debian},
         \textbf{Ubuntu}, or \textbf{Linux Mint}.
      \end{debianfamilybox}
   \end{exe}

   \input{dpkg1}
\end{Lab}
