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