../ emoji.opm 12-Jul-2025 19:35 1950 math.opm 12-Jul-2025 19:35 57393 minim-mp.opm 12-Jul-2025 19:35 327 minim-pdf.opm 12-Jul-2025 19:35 3198 minim.opm 12-Jul-2025 19:35 7555 mte.opm 12-Jul-2025 19:35 22056 plain-at.opm 12-Jul-2025 19:35 1282 qrcode.opm 12-Jul-2025 19:35 85123 tikz.opm 12-Jul-2025 19:35 5290 vlna.opm 12-Jul-2025 19:35 7543