../ libghc-texmath-dev_0.11.1-3+b1_armhf.deb 22-Jul-2020 16:29 5633844 libghc-texmath-doc_0.11.1-3_all.deb 22-Jul-2020 15:47 312168 libghc-texmath-prof_0.11.1-3+b1_armhf.deb 22-Jul-2020 14:34 3332200