../ venturis.dtx 22-Nov-2024 19:32 41461 venturis2.dtx 22-Nov-2024 19:32 20238 venturisadf-build.dtx 22-Nov-2024 19:32 92275 venturisadf-imp.dtx 22-Nov-2024 19:32 13862 venturisadf.dtx 22-Nov-2024 19:32 58049 venturisadf.ins 22-Nov-2024 19:32 8339 venturisold.dtx 22-Nov-2024 19:32 18009 venturissans.dtx 22-Nov-2024 19:32 21951 venturissans2.dtx 22-Nov-2024 19:32 16414