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