../ venturis.dtx 27-Sep-2024 07:27 41461 venturis2.dtx 27-Sep-2024 07:27 20238 venturisadf-build.dtx 27-Sep-2024 07:27 92275 venturisadf-imp.dtx 27-Sep-2024 07:27 13862 venturisadf.dtx 27-Sep-2024 07:27 58049 venturisadf.ins 27-Sep-2024 07:27 8339 venturisold.dtx 27-Sep-2024 07:27 18009 venturissans.dtx 27-Sep-2024 07:27 21951 venturissans2.dtx 27-Sep-2024 07:27 16414