../ patches/ 09-Mar-2023 00:00 - 09-texlive-fonts.conf 26-May-2015 10:04 382 BUILD 18-Mar-2023 18:00 1329 CONFLICTS 26-May-2015 10:04 285 DEPENDS 18-Mar-2023 18:00 1801 DETAILS 16-Oct-2023 21:00 641 FINAL 24-Apr-2021 00:00 558 HISTORY 16-Oct-2023 21:00 11762 INSTALL 09-Mar-2023 00:00 2598 PRE_BUILD 16-Oct-2023 21:00 1959