/tools/ubot-plugins/hs-echo/app/
drwxr-xr-x [up]
-rw-r--r-- 2021-06-17 19:32 +0200 1559 Main.hs