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