../ venturis.dtx 27-Sep-2024 12:57 40K venturis2.dtx 27-Sep-2024 12:57 20K venturisadf-build.dtx 27-Sep-2024 12:57 90K venturisadf-imp.dtx 27-Sep-2024 12:57 14K venturisadf.dtx 27-Sep-2024 12:57 57K venturisadf.ins 27-Sep-2024 12:57 8339 venturisold.dtx 27-Sep-2024 12:57 18K venturissans.dtx 27-Sep-2024 12:57 21K venturissans2.dtx 27-Sep-2024 12:57 16K