Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - verbatimbox.pdf 2023-08-08 14:43 252K verbatimbox.tex 2023-08-08 14:43 20K verbatimbox.sty 2023-08-08 14:41 9.0K README 2023-08-08 14:42 1.1K