../ venturis.dtx 25-Jul-2025 19:34 41461 venturis2.dtx 25-Jul-2025 19:34 20238 venturisadf-build.dtx 25-Jul-2025 19:34 92275 venturisadf-imp.dtx 25-Jul-2025 19:34 13862 venturisadf.dtx 25-Jul-2025 19:34 58049 venturisadf.ins 25-Jul-2025 19:34 8339 venturisold.dtx 25-Jul-2025 19:34 18009 venturissans.dtx 25-Jul-2025 19:34 21951 venturissans2.dtx 25-Jul-2025 19:34 16414