drwxr-xr-x   2 edrx edrx   36864 Oct 12 18:13 ./
drwxr-xr-x 312 edrx edrx   40960 Oct 12 18:13 ../
-rw-r--r--   1 edrx edrx   41877 Aug  8  2021 04dia-d.e
-rw-r--r--   1 edrx edrx   46223 Oct 12 18:12 04dia-d.e.html
-rw-r--r--   1 edrx edrx    5727 Aug  8  2021 04lua.e
-rw-r--r--   1 edrx edrx    7884 Oct 12 18:12 04lua.e.html
-rw-r--r--   1 edrx edrx    2415 Oct 22  2021 0x0.e
-rw-r--r--   1 edrx edrx    4834 Oct 12 18:12 0x0.e.html
-rw-r--r--   1 edrx edrx    7810 Nov 13  2021 2021-oficina.e
-rw-r--r--   1 edrx edrx   19181 Oct 12 18:12 2021-oficina.e.html
-rw-r--r--   1 edrx edrx    3827 Aug  8  2021 21.e
-rw-r--r--   1 edrx edrx    6023 Oct 12 18:12 21.e.html
-rw-r--r--   1 edrx edrx    1548 Sep  1  2021 abella.e
-rw-r--r--   1 edrx edrx    2925 Oct 12 18:12 abella.e.html
-rw-r--r--   1 edrx edrx    3921 Aug  8  2021 adwin.e
-rw-r--r--   1 edrx edrx    6230 Oct 12 18:12 adwin.e.html
-rw-r--r--   1 edrx edrx   99403 Nov  1  2024 agda.e
-rw-r--r--   1 edrx edrx  193187 Oct 12 18:12 agda.e.html
-rw-r--r--   1 edrx edrx   26533 Aug  8  2021 alsa.e
-rw-r--r--   1 edrx edrx   53274 Oct 12 18:12 alsa.e.html
-rw-r--r--   1 edrx edrx   64179 Jun 15 01:04 anatocc.e
-rw-r--r--   1 edrx edrx  131839 Oct 12 18:12 anatocc.e.html
-rw-r--r--   1 edrx edrx   10823 Jul  9  2021 andre.e
-rw-r--r--   1 edrx edrx   18025 Oct 12 18:12 andre.e.html
-rw-r--r--   1 edrx edrx   38233 Jun 11 15:05 android.e
-rw-r--r--   1 edrx edrx   87325 Oct 12 18:12 android.e.html
-rw-r--r--   1 edrx edrx    7264 Jan 30  2023 angg.e
-rw-r--r--   1 edrx edrx   14908 Oct 12 18:12 angg.e.html
-rw-r--r--   1 edrx edrx    6826 Oct 20  2021 anggsmil.e
-rw-r--r--   1 edrx edrx    9273 Oct 12 18:12 anggsmil.e.html
-rw-r--r--   1 edrx edrx    9572 Jan 20  2023 apache.e
-rw-r--r--   1 edrx edrx   18069 Oct 12 18:12 apache.e.html
-rw-r--r--   1 edrx edrx   25169 Jun  5 21:12 apl.e
-rw-r--r--   1 edrx edrx   47858 Oct 12 18:12 apl.e.html
-rw-r--r--   1 edrx edrx    3816 Aug  8  2021 apt-cacher.e
-rw-r--r--   1 edrx edrx    8297 Oct 12 18:12 apt-cacher.e.html
-rw-r--r--   1 edrx edrx   60860 Jul 14  2024 apt.e
-rw-r--r--   1 edrx edrx  120525 Oct 12 18:12 apt.e.html
-rw-r--r--   1 edrx edrx    9483 Aug  8  2021 archlinux.e
-rw-r--r--   1 edrx edrx   14207 Oct 12 18:12 archlinux.e.html
-rw-r--r--   1 edrx edrx    8910 Dec 24  2021 arduino.e
-rw-r--r--   1 edrx edrx   18030 Oct 12 18:12 arduino.e.html
-rw-r--r--   1 edrx edrx   22399 Dec  5  2024 arxiv.e
-rw-r--r--   1 edrx edrx   51938 Oct 12 18:12 arxiv.e.html
-rw-r--r--   1 edrx edrx    2316 Jan  8  2022 asciidoc.e
-rw-r--r--   1 edrx edrx    4871 Oct 12 18:12 asciidoc.e.html
-rw-r--r--   1 edrx edrx    3919 Apr 23  2024 asymptote.e
-rw-r--r--   1 edrx edrx    7855 Oct 12 18:12 asymptote.e.html
-rw-r--r--   1 edrx edrx    2681 Mar  9  2024 auctex.e
-rw-r--r--   1 edrx edrx    4878 Oct 12 18:12 auctex.e.html
-rw-r--r--   1 edrx edrx    7150 Apr  4  2024 autoconf.e
-rw-r--r--   1 edrx edrx   15728 Oct 12 18:12 autoconf.e.html
-rw-r--r--   1 edrx edrx    1387 Nov  1  2021 awesome.e
-rw-r--r--   1 edrx edrx    2585 Oct 12 18:12 awesome.e.html
-rw-r--r--   1 edrx edrx   12783 Oct  7  2024 awk.e
-rw-r--r--   1 edrx edrx   31287 Oct 12 18:12 awk.e.html
-rw-r--r--   1 edrx edrx    2023 Aug  8  2021 backup.e
-rw-r--r--   1 edrx edrx    3202 Oct 12 18:12 backup.e.html
-rw-r--r--   1 edrx edrx   41438 Aug  1 00:28 bash.e
-rw-r--r--   1 edrx edrx  102993 Oct 12 18:12 bash.e.html
-rw-r--r--   1 edrx edrx    2480 Jan 11  2024 basic.e
-rw-r--r--   1 edrx edrx    5332 Oct 12 18:12 basic.e.html
-rw-r--r--   1 edrx edrx    1449 Feb 21  2020 bat.e
-rw-r--r--   1 edrx edrx    2668 Oct 12 18:12 bat.e.html
-rw-r--r--   1 edrx edrx    4197 Aug  8  2021 beamer.e
-rw-r--r--   1 edrx edrx    8334 Oct 12 18:12 beamer.e.html
-rw-r--r--   1 edrx edrx    2723 Oct 20  2021 bis.e
-rw-r--r--   1 edrx edrx    4370 Oct 12 18:12 bis.e.html
-rw-r--r--   1 edrx edrx   14458 Dec 26  2024 blender.e
-rw-r--r--   1 edrx edrx   22681 Oct 12 18:12 blender.e.html
-rw-r--r--   1 edrx edrx   66656 Nov  6  2024 blogme.e
-rw-r--r--   1 edrx edrx  136558 Oct 12 18:12 blogme.e.html
-rw-r--r--   1 edrx edrx    2059 Aug  8  2021 bluetooth.e
-rw-r--r--   1 edrx edrx    4404 Oct 12 18:12 bluetooth.e.html
-rw-r--r--   1 edrx edrx    3601 May  8 01:58 bmac.e
-rw-r--r--   1 edrx edrx    7484 Oct 12 18:12 bmac.e.html
-rw-r--r--   1 edrx edrx    8257 Feb 12  2024 bookworm.e
-rw-r--r--   1 edrx edrx   18447 Oct 12 18:12 bookworm.e.html
-rw-r--r--   1 edrx edrx   19830 Aug  8  2021 bootcd.e
-rw-r--r--   1 edrx edrx   31667 Oct 12 18:12 bootcd.e.html
-rw-r--r--   1 edrx edrx   17798 Jun 29  2022 bsd.e
-rw-r--r--   1 edrx edrx   33469 Oct 12 18:12 bsd.e.html
-rw-r--r--   1 edrx edrx    6032 Feb  6  2024 bullseye.e
-rw-r--r--   1 edrx edrx   12998 Oct 12 18:12 bullseye.e.html
-rw-r--r--   1 edrx edrx   10833 Aug  8  2021 busybox.e
-rw-r--r--   1 edrx edrx   19920 Oct 12 18:12 busybox.e.html
-rw-r--r--   1 edrx edrx   10085 Oct  8  2022 cabal.e
-rw-r--r--   1 edrx edrx   25456 Oct 12 18:12 cabal.e.html
-rw-r--r--   1 edrx edrx    5543 Apr 18 20:37 cad.e
-rw-r--r--   1 edrx edrx   10766 Oct 12 18:12 cad.e.html
-rw-r--r--   1 edrx edrx    6354 Sep 25  2024 calc.e
-rw-r--r--   1 edrx edrx   12751 Oct 12 18:12 calc.e.html
-rw-r--r--   1 edrx edrx    4778 Aug 11 16:05 calibre.e
-rw-r--r--   1 edrx edrx    9092 Oct 12 18:12 calibre.e.html
-rw-r--r--   1 edrx edrx   12266 Aug  8  2021 cdd.e
-rw-r--r--   1 edrx edrx   22112 Oct 12 18:12 cdd.e.html
-rw-r--r--   1 edrx edrx   34586 Jan 14  2023 cdrom.e
-rw-r--r--   1 edrx edrx   60256 Oct 12 18:12 cdrom.e.html
-rw-r--r--   1 edrx edrx    3717 Oct 20  2021 cfengine.e
-rw-r--r--   1 edrx edrx    5282 Oct 12 18:12 cfengine.e.html
-rw-r--r--   1 edrx edrx    2399 Feb  7  2021 chalktalk.e
-rw-r--r--   1 edrx edrx    4441 Oct 12 18:12 chalktalk.e.html
-rw-r--r--   1 edrx edrx   23437 Oct  4  2024 charsets.e
-rw-r--r--   1 edrx edrx   40453 Oct 12 18:12 charsets.e.html
-rw-r--r--   1 edrx edrx   14284 Apr  7  2022 chinese.e
-rw-r--r--   1 edrx edrx   24990 Oct 12 18:12 chinese.e.html
-rw-r--r--   1 edrx edrx    9629 Aug  8  2021 chomsky.e
-rw-r--r--   1 edrx edrx   15169 Oct 12 18:12 chomsky.e.html
-rw-r--r--   1 edrx edrx   55369 Oct  6 01:53 chrome.e
-rw-r--r--   1 edrx edrx   87728 Oct 12 18:12 chrome.e.html
-rw-r--r--   1 edrx edrx    7643 Oct 21  2021 chroot.e
-rw-r--r--   1 edrx edrx   12980 Oct 12 18:12 chroot.e.html
-rw-r--r--   1 edrx edrx   25981 Oct 21  2021 cipsga.e
-rw-r--r--   1 edrx edrx   38541 Oct 12 18:12 cipsga.e.html
-rw-r--r--   1 edrx edrx    9462 Feb 21  2020 circe.e
-rw-r--r--   1 edrx edrx   17374 Oct 12 18:12 circe.e.html
-rw-r--r--   1 edrx edrx   20385 Jan  6  2024 clock.e
-rw-r--r--   1 edrx edrx   40304 Oct 12 18:12 clock.e.html
-rw-r--r--   1 edrx edrx    6998 Mar  8  2025 clojure.e
-rw-r--r--   1 edrx edrx   12727 Oct 12 18:12 clojure.e.html
-rw-r--r--   1 edrx edrx    4325 Apr 29 21:02 color.e
-rw-r--r--   1 edrx edrx    9792 Oct 12 18:12 color.e.html
-rw-r--r--   1 edrx edrx    2642 Oct 20  2021 conf.e
-rw-r--r--   1 edrx edrx    4342 Oct 12 18:12 conf.e.html
-rw-r--r--   1 edrx edrx   42374 Sep 18 20:56 console.e
-rw-r--r--   1 edrx edrx   81858 Oct 12 18:12 console.e.html
-rw-r--r--   1 edrx edrx    9198 Mar 19  2025 context.e
-rw-r--r--   1 edrx edrx   17501 Oct 12 18:12 context.e.html
-rw-r--r--   1 edrx edrx   77287 Jun 21 17:00 coq.e
-rw-r--r--   1 edrx edrx  140381 Oct 12 18:12 coq.e.html
-rw-r--r--   1 edrx edrx    9470 Oct 21  2021 crim.e
-rw-r--r--   1 edrx edrx   19219 Oct 12 18:12 crim.e.html
-rw-r--r--   1 edrx edrx    2074 Oct 20  2021 cron.e
-rw-r--r--   1 edrx edrx    4353 Oct 12 18:12 cron.e.html
-rw-r--r--   1 edrx edrx    2489 Nov 22  2024 csound.e
-rw-r--r--   1 edrx edrx    4051 Oct 12 18:12 csound.e.html
-rw-r--r--   1 edrx edrx    4859 Sep  8 21:56 css.e
-rw-r--r--   1 edrx edrx   10023 Oct 12 18:12 css.e.html
-rw-r--r--   1 edrx edrx    2613 Jan 31  2023 cuis.e
-rw-r--r--   1 edrx edrx    6166 Oct 12 18:12 cuis.e.html
-rw-r--r--   1 edrx edrx   31227 Jun 16  2024 cvs.e
-rw-r--r--   1 edrx edrx   65836 Oct 12 18:12 cvs.e.html
-rw-r--r--   1 edrx edrx   55537 Aug  8  2021 davinci.e
-rw-r--r--   1 edrx edrx   71323 Oct 12 18:12 davinci.e.html
-rw-r--r--   1 edrx edrx    1478 Oct 20  2021 dbootstrap.e
-rw-r--r--   1 edrx edrx    2865 Oct 12 18:12 dbootstrap.e.html
-rw-r--r--   1 edrx edrx    2084 Dec  4  2022 dbus.e
-rw-r--r--   1 edrx edrx    3951 Oct 12 18:12 dbus.e.html
-rw-r--r--   1 edrx edrx    1668 Oct 20  2021 debian-by-ex.e
-rw-r--r--   1 edrx edrx    2814 Oct 12 18:12 debian-by-ex.e.html
-rw-r--r--   1 edrx edrx    9187 Oct 21  2021 debian-cd.e
-rw-r--r--   1 edrx edrx   16849 Oct 12 18:12 debian-cd.e.html
-rw-r--r--   1 edrx edrx    7436 Oct 21  2021 debian-net.e
-rw-r--r--   1 edrx edrx   13507 Oct 12 18:12 debian-net.e.html
-rw-r--r--   1 edrx edrx   21043 Feb  5  2023 debian.e
-rw-r--r--   1 edrx edrx   45603 Oct 12 18:12 debian.e.html
-rw-r--r--   1 edrx edrx   15818 Oct 21  2021 debian0.e
-rw-r--r--   1 edrx edrx   22354 Oct 12 18:12 debian0.e.html
-rw-r--r--   1 edrx edrx   24510 Oct 21  2021 debiandev.e
-rw-r--r--   1 edrx edrx   44990 Oct 12 18:12 debiandev.e.html
-rw-r--r--   1 edrx edrx   19072 May 28  2024 debootstrap.e
-rw-r--r--   1 edrx edrx   39052 Oct 12 18:12 debootstrap.e.html
-rw-r--r--   1 edrx edrx   36822 Aug  8  2021 debrepository.e
-rw-r--r--   1 edrx edrx   66259 Oct 12 18:12 debrepository.e.html
-rw-r--r--   1 edrx edrx   96589 Dec  1  2024 dednat.e
-rw-r--r--   1 edrx edrx  212640 Oct 12 18:12 dednat.e.html
-rw-r--r--   1 edrx edrx    1371 Jan  1  2022 devuan.e
-rw-r--r--   1 edrx edrx    2615 Oct 12 18:12 devuan.e.html
-rw-r--r--   1 edrx edrx    2695 Jun  5  2024 dhcp.e
-rw-r--r--   1 edrx edrx    6038 Oct 12 18:12 dhcp.e.html
-rw-r--r--   1 edrx edrx    9284 Aug  8  2021 diagrams.e
-rw-r--r--   1 edrx edrx   15940 Oct 12 18:12 diagrams.e.html
-rw-r--r--   1 edrx edrx    7814 Aug  8  2021 diagxy.e
-rw-r--r--   1 edrx edrx   17015 Oct 12 18:12 diagxy.e.html
-rw-r--r--   1 edrx edrx    8597 Aug  8  2021 dialog.e
-rw-r--r--   1 edrx edrx   13364 Oct 12 18:12 dialog.e.html
-rw-r--r--   1 edrx edrx    1947 Aug  8  2021 diaspora.e
-rw-r--r--   1 edrx edrx    3521 Oct 12 18:12 diaspora.e.html
-rw-r--r--   1 edrx edrx    9997 Feb 28  2025 dict.e
-rw-r--r--   1 edrx edrx   19434 Oct 12 18:12 dict.e.html
-rw-r--r--   1 edrx edrx    1671 Sep  5  2024 discord.e
-rw-r--r--   1 edrx edrx    3239 Oct 12 18:12 discord.e.html
-rw-r--r--   1 edrx edrx    2326 Jan 26  2023 dns.e
-rw-r--r--   1 edrx edrx    5189 Oct 12 18:12 dns.e.html
-rw-r--r--   1 edrx edrx    4295 Oct 21  2021 doc.e
-rw-r--r--   1 edrx edrx    7666 Oct 12 18:12 doc.e.html
-rw-r--r--   1 edrx edrx    1614 Feb 21  2020 docker.e
-rw-r--r--   1 edrx edrx    3094 Oct 12 18:12 docker.e.html
-rw-r--r--   1 edrx edrx   16463 Feb  5  2024 doom.e
-rw-r--r--   1 edrx edrx   32502 Oct 12 18:12 doom.e.html
-rw-r--r--   1 edrx edrx   45382 Jan 18  2023 dos.e
-rw-r--r--   1 edrx edrx   76706 Oct 12 18:12 dos.e.html
-rw-r--r--   1 edrx edrx    1430 Aug  8  2021 doxygen.e
-rw-r--r--   1 edrx edrx    2642 Oct 12 18:12 doxygen.e.html
-rw-r--r--   1 edrx edrx   32813 Aug  8  2021 dpkg.e
-rw-r--r--   1 edrx edrx   60152 Oct 12 18:12 dpkg.e.html
-rw-r--r--   1 edrx edrx    3766 Sep 24 00:45 drawtree.e
-rw-r--r--   1 edrx edrx    8058 Oct 12 18:12 drawtree.e.html
-rw-r--r--   1 edrx edrx    2137 Feb 21  2020 dropbox.e
-rw-r--r--   1 edrx edrx    3649 Oct 12 18:12 dropbox.e.html
-rw-r--r--   1 edrx edrx    4123 Oct 21  2021 dual.e
-rw-r--r--   1 edrx edrx    5734 Oct 12 18:12 dual.e.html
-rw-r--r--   1 edrx edrx   36629 Aug  8  2021 dvd.e
-rw-r--r--   1 edrx edrx   67032 Oct 12 18:12 dvd.e.html
-rw-r--r--   1 edrx edrx    6875 Aug  8  2021 e2fs.e
-rw-r--r--   1 edrx edrx   15615 Oct 12 18:12 e2fs.e.html
-rw-r--r--   1 edrx edrx  184476 Apr 30 01:54 ead.e
-rw-r--r--   1 edrx edrx  275745 Oct 12 18:12 ead.e.html
-rw-r--r--   1 edrx edrx   11112 Mar 24  2024 eat.e
-rw-r--r--   1 edrx edrx   16802 Oct 12 18:12 eat.e.html
-rw-r--r--   1 edrx edrx   26891 Aug  8  2021 eee.e
-rw-r--r--   1 edrx edrx   45106 Oct 12 18:12 eee.e.html
-rw-r--r--   1 edrx edrx   10797 Oct 21  2021 eeg.e
-rw-r--r--   1 edrx edrx   16194 Oct 12 18:12 eeg.e.html
-rw-r--r--   1 edrx edrx  154699 Oct  6 02:16 eev.e
-rw-r--r--   1 edrx edrx  298563 Oct 12 18:12 eev.e.html
-rw-r--r--   1 edrx edrx    2973 Feb 25  2025 elixir.e
-rw-r--r--   1 edrx edrx    5976 Oct 12 18:12 elixir.e.html
-rw-r--r--   1 edrx edrx    1674 May 16  2022 elm.e
-rw-r--r--   1 edrx edrx    3088 Oct 12 18:12 elm.e.html
-rw-r--r--   1 edrx edrx    9985 Apr 25  2024 elpa.e
-rw-r--r--   1 edrx edrx   16915 Oct 12 18:12 elpa.e.html
-rw-r--r--   1 edrx edrx  856166 Oct 12 09:17 emacs.e
-rw-r--r--   1 edrx edrx 1615512 Oct 12 18:12 emacs.e.html
-rw-r--r--   1 edrx edrx    4095 Sep 20  2020 emacsconf2019.e
-rw-r--r--   1 edrx edrx    8799 Oct 12 18:12 emacsconf2019.e.html
-rw-r--r--   1 edrx edrx   31181 Sep  4  2022 emacsconf2020.e
-rw-r--r--   1 edrx edrx   50223 Oct 12 18:12 emacsconf2020.e.html
-rw-r--r--   1 edrx edrx    3628 Nov 28  2021 emacsconf2021.e
-rw-r--r--   1 edrx edrx    7608 Oct 12 18:12 emacsconf2021.e.html
-rw-r--r--   1 edrx edrx    7563 Jan  9  2023 emacsconf2022.e
-rw-r--r--   1 edrx edrx   14326 Oct 12 18:12 emacsconf2022.e.html
-rw-r--r--   1 edrx edrx   20783 Mar  2  2024 emacsconf2023.e
-rw-r--r--   1 edrx edrx   44975 Oct 12 18:12 emacsconf2023.e.html
-rw-r--r--   1 edrx edrx    3133 Jul  1  2022 emlua.e
-rw-r--r--   1 edrx edrx    8312 Oct 12 18:12 emlua.e.html
-rw-r--r--   1 edrx edrx    2774 Apr 21  2023 erc.e
-rw-r--r--   1 edrx edrx    5657 Oct 12 18:12 erc.e.html
-rw-r--r--   1 edrx edrx   20720 Sep 15  2024 erlang.e
-rw-r--r--   1 edrx edrx   26011 Oct 12 18:12 erlang.e.html
-rw-r--r--   1 edrx edrx   33840 Oct 21  2021 escripts.e
-rw-r--r--   1 edrx edrx   57994 Oct 12 18:12 escripts.e.html
-rw-r--r--   1 edrx edrx   22817 Oct 23  2024 eshell.e
-rw-r--r--   1 edrx edrx   47064 Oct 12 18:12 eshell.e.html
-rw-r--r--   1 edrx edrx    2289 Oct 20  2021 ethernet.e
-rw-r--r--   1 edrx edrx    3635 Oct 12 18:12 ethernet.e.html
-rw-r--r--   1 edrx edrx    5963 Aug  8  2021 ewiki.e
-rw-r--r--   1 edrx edrx    8933 Oct 12 18:12 ewiki.e.html
-rw-r--r--   1 edrx edrx   10297 Oct 20  2021 exim.e
-rw-r--r--   1 edrx edrx   19035 Oct 12 18:12 exim.e.html
-rw-r--r--   1 edrx edrx    3758 Aug  8  2021 expat.e
-rw-r--r--   1 edrx edrx    7376 Oct 12 18:12 expat.e.html
-rw-r--r--   1 edrx edrx   46868 Oct  8 20:19 expect.e
-rw-r--r--   1 edrx edrx   73505 Oct 12 18:12 expect.e.html
-rw-r--r--   1 edrx edrx    1624 Dec 16  2022 exwm.e
-rw-r--r--   1 edrx edrx    2882 Oct 12 18:12 exwm.e.html
-rw-r--r--   1 edrx edrx   47083 Apr  7  2023 facebook.e
-rw-r--r--   1 edrx edrx   97813 Oct 12 18:12 facebook.e.html
-rw-r--r--   1 edrx edrx    3747 Sep 15  2024 factor.e
-rw-r--r--   1 edrx edrx    7504 Oct 12 18:12 factor.e.html
-rw-r--r--   1 edrx edrx    8973 Aug  8  2021 fbcmd.e
-rw-r--r--   1 edrx edrx   18583 Oct 12 18:12 fbcmd.e.html
-rw-r--r--   1 edrx edrx    3472 Feb 20  2022 fengari.e
-rw-r--r--   1 edrx edrx    6372 Oct 12 18:12 fengari.e.html
-rw-r--r--   1 edrx edrx   19806 Jul 26 19:24 fennel.e
-rw-r--r--   1 edrx edrx   44715 Oct 12 18:12 fennel.e.html
-rw-r--r--   1 edrx edrx    2043 Sep 26  2024 ferramentas.e
-rw-r--r--   1 edrx edrx    3678 Oct 12 18:12 ferramentas.e.html
-rw-r--r--   1 edrx edrx   54744 Aug 18 00:27 ffmpeg.e
-rw-r--r--   1 edrx edrx  119742 Oct 12 18:12 ffmpeg.e.html
-rw-r--r--   1 edrx edrx    7564 May 26  2024 figlet.e
-rw-r--r--   1 edrx edrx   17931 Oct 12 18:12 figlet.e.html
-rw-r--r--   1 edrx edrx   17459 Dec 20  2024 firefox.e
-rw-r--r--   1 edrx edrx   34979 Oct 12 18:12 firefox.e.html
-rw-r--r--   1 edrx edrx    3222 Oct 21  2021 fl.e
-rw-r--r--   1 edrx edrx    5433 Oct 12 18:12 fl.e.html
-rw-r--r--   1 edrx edrx   13143 Jul 16  2023 flash.e
-rw-r--r--   1 edrx edrx   26639 Oct 12 18:12 flash.e.html
-rw-r--r--   1 edrx edrx    9825 Oct 21  2021 float.e
-rw-r--r--   1 edrx edrx   16146 Oct 12 18:12 float.e.html
-rw-r--r--   1 edrx edrx    9088 Oct 21  2021 floppy.e
-rw-r--r--   1 edrx edrx   14407 Oct 12 18:12 floppy.e.html
-rw-r--r--   1 edrx edrx    7761 Aug  8  2021 flua.e
-rw-r--r--   1 edrx edrx    9923 Oct 12 18:12 flua.e.html
-rw-r--r--   1 edrx edrx    1461 Feb 12  2022 flutter.e
-rw-r--r--   1 edrx edrx    2739 Oct 12 18:12 flutter.e.html
-rw-r--r--   1 edrx edrx    1738 Apr 29 02:53 fonts.e
-rw-r--r--   1 edrx edrx    3327 Oct 12 18:12 fonts.e.html
-rw-r--r--   1 edrx edrx   40609 Oct  7 10:24 forth.e
-rw-r--r--   1 edrx edrx   65151 Oct 12 18:12 forth.e.html
-rw-r--r--   1 edrx edrx   54309 Jun 22  2024 fortho.e
-rw-r--r--   1 edrx edrx  102907 Oct 12 18:12 fortho.e.html
-rw-r--r--   1 edrx edrx    5011 Aug  4 21:31 fortran.e
-rw-r--r--   1 edrx edrx    9220 Oct 12 18:12 fortran.e.html
-rw-r--r--   1 edrx edrx   13382 Aug 29 20:06 fossil.e
-rw-r--r--   1 edrx edrx   32612 Oct 12 18:12 fossil.e.html
-rw-r--r--   1 edrx edrx    4399 Sep 26  2023 ftpd.e
-rw-r--r--   1 edrx edrx    8666 Oct 12 18:12 ftpd.e.html
-rw-r--r--   1 edrx edrx   42954 Jul 26  2022 fvwm.e
-rw-r--r--   1 edrx edrx   91450 Oct 12 18:12 fvwm.e.html
-rw-r--r--   1 edrx edrx    4201 Aug  8  2021 gaim.e
-rw-r--r--   1 edrx edrx    7514 Oct 12 18:12 gaim.e.html
-rw-r--r--   1 edrx edrx   36363 Sep 28 10:44 games.e
-rw-r--r--   1 edrx edrx   67498 Oct 12 18:12 games.e.html
-rw-r--r--   1 edrx edrx   14697 Sep 18 00:55 gdb.e
-rw-r--r--   1 edrx edrx   36545 Oct 12 18:12 gdb.e.html
-rw-r--r--   1 edrx edrx    1637 Feb 21  2020 geany.e
-rw-r--r--   1 edrx edrx    2864 Oct 12 18:12 geany.e.html
-rw-r--r--   1 edrx edrx    1555 Jan  5  2025 geiser.e
-rw-r--r--   1 edrx edrx    3362 Oct 12 18:12 geiser.e.html
-rw-r--r--   1 edrx edrx   20360 Jan 20  2023 general.e
-rw-r--r--   1 edrx edrx   30835 Oct 12 18:12 general.e.html
-rw-r--r--   1 edrx edrx    3996 Jun  5  2023 geogebra.e
-rw-r--r--   1 edrx edrx    8576 Oct 12 18:12 geogebra.e.html
-rw-r--r--   1 edrx edrx    2485 Nov  2  2021 geometry.e
-rw-r--r--   1 edrx edrx    5329 Oct 12 18:12 geometry.e.html
-rw-r--r--   1 edrx edrx    2361 Feb 21  2020 gettext.e
-rw-r--r--   1 edrx edrx    4791 Oct 12 18:12 gettext.e.html
-rw-r--r--   1 edrx edrx    6569 Aug  8  2021 gforth.e
-rw-r--r--   1 edrx edrx   11900 Oct 12 18:12 gforth.e.html
-rw-r--r--   1 edrx edrx    8975 Sep  8 14:50 ghc.e
-rw-r--r--   1 edrx edrx   20110 Oct 12 18:12 ghc.e.html
-rw-r--r--   1 edrx edrx    2586 May  4  2021 ghcup.e
-rw-r--r--   1 edrx edrx    5520 Oct 12 18:12 ghcup.e.html
-rw-r--r--   1 edrx edrx    2491 Apr  3  2025 gifs.e
-rw-r--r--   1 edrx edrx    5467 Oct 12 18:12 gifs.e.html
-rw-r--r--   1 edrx edrx   13396 Oct  4 03:18 gimp.e
-rw-r--r--   1 edrx edrx   25148 Oct 12 18:12 gimp.e.html
-rw-r--r--   1 edrx edrx  138339 Aug 11 16:30 git.e
-rw-r--r--   1 edrx edrx  296817 Oct 12 18:12 git.e.html
-rw-r--r--   1 edrx edrx   22400 Feb  8  2023 gnome.e
-rw-r--r--   1 edrx edrx   44658 Oct 12 18:12 gnome.e.html
-rw-r--r--   1 edrx edrx   30470 Feb  1  2024 gnuplot.e
-rw-r--r--   1 edrx edrx   46552 Oct 12 18:12 gnuplot.e.html
-rw-r--r--   1 edrx edrx   15525 Aug  8  2021 gnus.e
-rw-r--r--   1 edrx edrx   27391 Oct 12 18:12 gnus.e.html
-rw-r--r--   1 edrx edrx   23609 Feb 24  2025 godot.e
-rw-r--r--   1 edrx edrx   51026 Oct 12 18:12 godot.e.html
-rw-r--r--   1 edrx edrx    4628 Jun 28 07:14 golang.e
-rw-r--r--   1 edrx edrx    9882 Oct 12 18:12 golang.e.html
-rw-r--r--   1 edrx edrx   13733 Apr 13 08:40 googlegroups.e
-rw-r--r--   1 edrx edrx   22193 Oct 12 18:12 googlegroups.e.html
-rw-r--r--   1 edrx edrx    3239 Aug  3  2024 gpg.e
-rw-r--r--   1 edrx edrx    5175 Oct 12 18:12 gpg.e.html
-rw-r--r--   1 edrx edrx    3444 Aug  8  2021 graphviz.e
-rw-r--r--   1 edrx edrx    8278 Oct 12 18:12 graphviz.e.html
-rw-r--r--   1 edrx edrx   19662 Oct 20  2021 greenmatrix.e
-rw-r--r--   1 edrx edrx   27339 Oct 12 18:12 greenmatrix.e.html
-rw-r--r--   1 edrx edrx    6497 Aug  8  2021 groff.e
-rw-r--r--   1 edrx edrx   11979 Oct 12 18:12 groff.e.html
-rw-r--r--   1 edrx edrx    2184 May 14  2023 groovy.e
-rw-r--r--   1 edrx edrx    4040 Oct 12 18:12 groovy.e.html
-rw-r--r--   1 edrx edrx   79404 Feb 14  2024 grub.e
-rw-r--r--   1 edrx edrx  158329 Oct 12 18:12 grub.e.html
-rw-r--r--   1 edrx edrx    8368 Jan 14  2024 gtk.e
-rw-r--r--   1 edrx edrx   11385 Oct 12 18:12 gtk.e.html
-rw-r--r--   1 edrx edrx  117566 Jun  2 17:41 hardware.e
-rw-r--r--   1 edrx edrx  207018 Oct 12 18:12 hardware.e.html
-rw-r--r--   1 edrx edrx   94926 Sep 23 09:02 haskell.e
-rw-r--r--   1 edrx edrx  194322 Oct 12 18:12 haskell.e.html
-rw-r--r--   1 edrx edrx   23585 Jul 24 10:44 hd.e
-rw-r--r--   1 edrx edrx   51717 Oct 12 18:12 hd.e.html
-rw-r--r--   1 edrx edrx   14405 Aug  8  2021 highlight.e
-rw-r--r--   1 edrx edrx   26519 Oct 12 18:12 highlight.e.html
-rw-r--r--   1 edrx edrx   15311 Aug  8  2021 hol.e
-rw-r--r--   1 edrx edrx   29118 Oct 12 18:12 hol.e.html
-rw-r--r--   1 edrx edrx   13207 Sep 17  2024 howm.e
-rw-r--r--   1 edrx edrx   23854 Oct 12 18:12 howm.e.html
-rw-r--r--   1 edrx edrx    1914 Oct 20  2021 hsforth.e
-rw-r--r--   1 edrx edrx    3887 Oct 12 18:12 hsforth.e.html
-rw-r--r--   1 edrx edrx   55008 Aug  4 21:34 html.e
-rw-r--r--   1 edrx edrx  101805 Oct 12 18:12 html.e.html
-rw-r--r--   1 edrx edrx    4979 Nov  1  2024 htmlize.e
-rw-r--r--   1 edrx edrx    9935 Oct 12 18:12 htmlize.e.html
-rw-r--r--   1 edrx edrx   45662 Aug 28 21:07 http.e
-rw-r--r--   1 edrx edrx   88652 Oct 12 18:12 http.e.html
-rw-r--r--   1 edrx edrx   44709 Oct 21  2021 hurd-old.e
-rw-r--r--   1 edrx edrx   71062 Oct 12 18:12 hurd-old.e.html
-rw-r--r--   1 edrx edrx   56357 Aug  1  2023 hurd.e
-rw-r--r--   1 edrx edrx   91716 Oct 12 18:12 hurd.e.html
-rw-r--r--   1 edrx edrx    2531 Oct 21  2021 hw-eth.e
-rw-r--r--   1 edrx edrx    3999 Oct 12 18:12 hw-eth.e.html
-rw-r--r--   1 edrx edrx    3237 Oct 20  2021 hw-parport.e
-rw-r--r--   1 edrx edrx    4577 Oct 12 18:12 hw-parport.e.html
-rw-r--r--   1 edrx edrx    3897 Oct 20  2021 hw-sound.e
-rw-r--r--   1 edrx edrx    5485 Oct 12 18:12 hw-sound.e.html
-rw-r--r--   1 edrx edrx   67036 Mar  1  2025 hyperbole.e
-rw-r--r--   1 edrx edrx  102146 Oct 12 18:12 hyperbole.e.html
-rw-r--r--   1 edrx edrx   39022 Jul 10  2022 icon.e
-rw-r--r--   1 edrx edrx   67032 Oct 12 18:12 icon.e.html
-rw-r--r--   1 edrx edrx    4372 Oct 21  2021 icq.e
-rw-r--r--   1 edrx edrx    7319 Oct 12 18:12 icq.e.html
-rw-r--r--   1 edrx edrx    1570 Feb 21  2020 idarct.e
-rw-r--r--   1 edrx edrx    2825 Oct 12 18:12 idarct.e.html
-rw-r--r--   1 edrx edrx   49032 May 25  2021 idris.e
-rw-r--r--   1 edrx edrx   94319 Oct 12 18:12 idris.e.html
-rw-r--r--   1 edrx edrx    2851 Feb 18  2024 ikiwiki.e
-rw-r--r--   1 edrx edrx    5626 Oct 12 18:12 ikiwiki.e.html
-rw-r--r--   1 edrx edrx   25684 Aug 27 03:59 imagemagick.e
-rw-r--r--   1 edrx edrx   54423 Oct 12 18:12 imagemagick.e.html
-rw-r--r--   1 edrx edrx    2237 Aug  8  2021 index.e
-rw-r--r--   1 edrx edrx    6075 Oct 12 18:12 index.e.html
-rw-r--r--   1 edrx edrx    8414 Jun  7  2024 init.e
-rw-r--r--   1 edrx edrx   19178 Oct 12 18:12 init.e.html
-rw-r--r--   1 edrx edrx   23368 May  2 16:55 initrd.e
-rw-r--r--   1 edrx edrx   41323 Oct 12 18:12 initrd.e.html
-rw-r--r--   1 edrx edrx   17108 Sep  5 16:37 inkscape.e
-rw-r--r--   1 edrx edrx   35648 Oct 12 18:12 inkscape.e.html
-rw-r--r--   1 edrx edrx    2099 Aug 24  2024 instagram.e
-rw-r--r--   1 edrx edrx    4426 Oct 12 18:12 instagram.e.html
-rw-r--r--   1 edrx edrx    7711 Oct 21  2021 interbase.e
-rw-r--r--   1 edrx edrx   15094 Oct 12 18:12 interbase.e.html
-rw-r--r--   1 edrx edrx    6228 Oct 21  2021 ion.e
-rw-r--r--   1 edrx edrx    9579 Oct 12 18:12 ion.e.html
-rw-r--r--   1 edrx edrx    1525 Nov 12  2021 ios.e
-rw-r--r--   1 edrx edrx    2965 Oct 12 18:12 ios.e.html
-rw-r--r--   1 edrx edrx   60974 Dec 10  2021 ipython.e
-rw-r--r--   1 edrx edrx  113139 Oct 12 18:12 ipython.e.html
-rw-r--r--   1 edrx edrx   25106 Dec  9  2024 irc.e
-rw-r--r--   1 edrx edrx   44225 Oct 12 18:12 irc.e.html
-rw-r--r--   1 edrx edrx   10214 May 18  2022 isabelle.e
-rw-r--r--   1 edrx edrx   18798 Oct 12 18:12 isabelle.e.html
-rw-r--r--   1 edrx edrx    1812 Aug  8  2021 isolinux.e
-rw-r--r--   1 edrx edrx    4402 Oct 12 18:12 isolinux.e.html
-rw-r--r--   1 edrx edrx   41183 Aug  8  2021 iup-old.e
-rw-r--r--   1 edrx edrx   71269 Oct 12 18:12 iup-old.e.html
-rw-r--r--   1 edrx edrx   38684 Aug 14  2021 iup.e
-rw-r--r--   1 edrx edrx   66293 Oct 12 18:12 iup.e.html
-rw-r--r--   1 edrx edrx    4513 Jan 13  2024 jammy.e
-rw-r--r--   1 edrx edrx    8774 Oct 12 18:12 jammy.e.html
-rw-r--r--   1 edrx edrx   11382 Jun  5  2024 java.e
-rw-r--r--   1 edrx edrx   21645 Oct 12 18:12 java.e.html
-rw-r--r--   1 edrx edrx   72997 Oct 29  2023 javascript.e
-rw-r--r--   1 edrx edrx  137803 Oct 12 18:12 javascript.e.html
-rw-r--r--   1 edrx edrx    1691 Aug  8  2021 joomla.e
-rw-r--r--   1 edrx edrx    3251 Oct 12 18:12 joomla.e.html
-rw-r--r--   1 edrx edrx    4083 Apr 14  2022 joy.e
-rw-r--r--   1 edrx edrx    6765 Oct 12 18:12 joy.e.html
-rw-r--r--   1 edrx edrx   21912 Aug 24 20:27 js.e
-rw-r--r--   1 edrx edrx   46132 Oct 12 18:12 js.e.html
-rw-r--r--   1 edrx edrx    8980 May 18 00:34 json.e
-rw-r--r--   1 edrx edrx   15290 Oct 12 18:12 json.e.html
-rw-r--r--   1 edrx edrx   11617 Oct  1 11:55 julia.e
-rw-r--r--   1 edrx edrx   24204 Oct 12 18:12 julia.e.html
-rw-r--r--   1 edrx edrx    9473 Jul  8  2023 jupyter.e
-rw-r--r--   1 edrx edrx   20451 Oct 12 18:12 jupyter.e.html
-rw-r--r--   1 edrx edrx    7408 Oct 21  2021 k22.e
-rw-r--r--   1 edrx edrx    9063 Oct 12 18:12 k22.e.html
-rw-r--r--   1 edrx edrx   10763 Aug  8  2021 kepler.e
-rw-r--r--   1 edrx edrx   20564 Oct 12 18:12 kepler.e.html
-rw-r--r--   1 edrx edrx   69779 Aug  8  2021 kernel.e
-rw-r--r--   1 edrx edrx  121980 Oct 12 18:12 kernel.e.html
-rw-r--r--   1 edrx edrx    7740 Aug  2 08:22 kitten.e
-rw-r--r--   1 edrx edrx   17950 Oct 12 18:12 kitten.e.html
-rw-r--r--   1 edrx edrx    1656 Feb 21  2020 ksh.e
-rw-r--r--   1 edrx edrx    3228 Oct 12 18:12 ksh.e.html
-rw-r--r--   1 edrx edrx    4727 Dec 13  2023 labinfo.e
-rw-r--r--   1 edrx edrx   11413 Oct 12 18:12 labinfo.e.html
-rw-r--r--   1 edrx edrx    4017 Oct 21  2021 latest.e
-rw-r--r--   1 edrx edrx   13902 Oct 12 18:12 latest.e.html
-rw-r--r--   1 edrx edrx  300662 Aug 11 16:05 lean.e
-rw-r--r--   1 edrx edrx  622304 Oct 12 18:12 lean.e.html
-rw-r--r--   1 edrx edrx   16953 Aug  8  2021 lenny.e
-rw-r--r--   1 edrx edrx   35122 Oct 12 18:12 lenny.e.html
-rw-r--r--   1 edrx edrx    6911 Oct 21  2021 lexyacc.e
-rw-r--r--   1 edrx edrx   12907 Oct 12 18:12 lexyacc.e.html
-rw-r--r--   1 edrx edrx    8544 Sep 16  2021 libreboot.e
-rw-r--r--   1 edrx edrx   15554 Oct 12 18:12 libreboot.e.html
-rw-r--r--   1 edrx edrx    6523 Aug  8  2021 licenses.e
-rw-r--r--   1 edrx edrx    8024 Oct 12 18:12 licenses.e.html
-rw-r--r--   1 edrx edrx   20434 Oct 21  2021 lilo.e
-rw-r--r--   1 edrx edrx   29863 Oct 12 18:12 lilo.e.html
-rw-r--r--   1 edrx edrx   34746 Mar 19  2025 lilypond.e
-rw-r--r--   1 edrx edrx   69885 Oct 12 18:12 lilypond.e.html
-rw-r--r--   1 edrx edrx    5664 Apr 10  2025 linux.e
-rw-r--r--   1 edrx edrx    9279 Oct 12 18:12 linux.e.html
-rw-r--r--   1 edrx edrx  227154 Oct 12 09:18 lisp.e
-rw-r--r--   1 edrx edrx  425026 Oct 12 18:12 lisp.e.html
-rw-r--r--   1 edrx edrx   38104 Aug  8  2021 live.e
-rw-r--r--   1 edrx edrx   79292 Oct 12 18:12 live.e.html
-rw-r--r--   1 edrx edrx   35744 Aug  8  2021 livecd.e
-rw-r--r--   1 edrx edrx   63357 Oct 12 18:12 livecd.e.html
-rw-r--r--   1 edrx edrx   14765 Oct  6 01:25 llms.e
-rw-r--r--   1 edrx edrx   25551 Oct 12 18:12 llms.e.html
-rw-r--r--   1 edrx edrx    5866 Jan 11  2023 locale.e
-rw-r--r--   1 edrx edrx   13715 Oct 12 18:12 locale.e.html
-rw-r--r--   1 edrx edrx    7542 Feb  3  2023 localnet.e
-rw-r--r--   1 edrx edrx   11644 Oct 12 18:12 localnet.e.html
-rw-r--r--   1 edrx edrx   12398 Aug  8  2021 localvideos.e
-rw-r--r--   1 edrx edrx   28150 Oct 12 18:12 localvideos.e.html
-rw-r--r--   1 edrx edrx    1824 Aug  8  2021 loomio.e
-rw-r--r--   1 edrx edrx    3394 Oct 12 18:12 loomio.e.html
-rw-r--r--   1 edrx edrx    7327 Aug  8  2021 loop.e
-rw-r--r--   1 edrx edrx   13570 Oct 12 18:12 loop.e.html
-rw-r--r--   1 edrx edrx   16502 Mar  2  2025 love.e
-rw-r--r--   1 edrx edrx   32382 Oct 12 18:12 love.e.html
-rw-r--r--   1 edrx edrx   86941 Apr 14 23:39 lpeg.e
-rw-r--r--   1 edrx edrx  141830 Oct 12 18:12 lpeg.e.html
-rw-r--r--   1 edrx edrx   10664 Jun 17 01:25 lsp.e
-rw-r--r--   1 edrx edrx   19814 Oct 12 18:12 lsp.e.html
-rw-r--r--   1 edrx edrx   47363 Dec 16  2023 lua-intro.e
-rw-r--r--   1 edrx edrx   92394 Oct 12 18:12 lua-intro.e.html
-rw-r--r--   1 edrx edrx   23436 Oct 21  2021 lua-old.e
-rw-r--r--   1 edrx edrx   40619 Oct 12 18:12 lua-old.e.html
-rw-r--r--   1 edrx edrx   66885 Oct 21  2021 lua.e
-rw-r--r--   1 edrx edrx  118487 Oct 12 18:12 lua.e.html
-rw-r--r--   1 edrx edrx  567961 Sep 17 14:24 lua5.e
-rw-r--r--   1 edrx edrx 1097949 Oct 12 18:12 lua5.e.html
-rw-r--r--   1 edrx edrx    1822 Dec  3  2022 luakit.e
-rw-r--r--   1 edrx edrx    3468 Oct 12 18:12 luakit.e.html
-rw-r--r--   1 edrx edrx    1520 Aug  8  2021 luarepl.e
-rw-r--r--   1 edrx edrx    3107 Oct 12 18:12 luarepl.e.html
-rw-r--r--   1 edrx edrx   14189 Feb 20  2025 luarocks.e
-rw-r--r--   1 edrx edrx   24804 Oct 12 18:12 luarocks.e.html
-rw-r--r--   1 edrx edrx  121851 Mar 19  2025 luatex.e
-rw-r--r--   1 edrx edrx  230171 Oct 12 18:12 luatex.e.html
-rw-r--r--   1 edrx edrx   19216 Mar 16  2025 lynx.e
-rw-r--r--   1 edrx edrx   29310 Oct 12 18:12 lynx.e.html
-rw-r--r--   1 edrx edrx   17261 Oct  2 21:31 magit.e
-rw-r--r--   1 edrx edrx   32873 Oct 12 18:12 magit.e.html
-rw-r--r--   1 edrx edrx   76483 Apr 29 01:39 mail.e
-rw-r--r--   1 edrx edrx  134142 Oct 12 18:12 mail.e.html
-rw-r--r--   1 edrx edrx   17349 Oct 15  2024 make.e
-rw-r--r--   1 edrx edrx   40462 Oct 12 18:12 make.e.html
-rw-r--r--   1 edrx edrx    7965 Mar 17  2020 man.e
-rw-r--r--   1 edrx edrx   16606 Oct 12 18:12 man.e.html
-rw-r--r--   1 edrx edrx    6262 Dec 19  2023 manim.e
-rw-r--r--   1 edrx edrx   11783 Oct 12 18:12 manim.e.html
-rw-r--r--   1 edrx edrx   10360 Jan 26  2024 maple.e
-rw-r--r--   1 edrx edrx   15347 Oct 12 18:12 maple.e.html
-rw-r--r--   1 edrx edrx    9393 Sep 11  2024 markdown.e
-rw-r--r--   1 edrx edrx   16500 Oct 12 18:12 markdown.e.html
-rw-r--r--   1 edrx edrx    2982 May  4 20:37 mastodon.e
-rw-r--r--   1 edrx edrx    4740 Oct 12 18:12 mastodon.e.html
-rw-r--r--   1 edrx edrx   15382 Aug  8  2021 mate.e
-rw-r--r--   1 edrx edrx   32373 Oct 12 18:12 mate.e.html
-rw-r--r--   1 edrx edrx   75086 Sep 18 00:57 math.e
-rw-r--r--   1 edrx edrx  155087 Oct 12 18:12 math.e.html
-rw-r--r--   1 edrx edrx    6830 Aug 20  2022 mathologer.e
-rw-r--r--   1 edrx edrx   12756 Oct 12 18:12 mathologer.e.html
-rw-r--r--   1 edrx edrx    2537 Nov 30  2024 matplotlib.e
-rw-r--r--   1 edrx edrx    5161 Oct 12 18:12 matplotlib.e.html
-rw-r--r--   1 edrx edrx    2880 Feb  8  2023 matrix.e
-rw-r--r--   1 edrx edrx    6142 Oct 12 18:12 matrix.e.html
-rw-r--r--   1 edrx edrx  667285 Oct 12 17:44 maxima.e
-rw-r--r--   1 edrx edrx 1497222 Oct 12 18:12 maxima.e.html
-rw-r--r--   1 edrx edrx   11294 Nov 27  2024 mbe.e
-rw-r--r--   1 edrx edrx   23294 Oct 12 18:12 mbe.e.html
-rw-r--r--   1 edrx edrx   13395 Nov 18  2023 metapost.e
-rw-r--r--   1 edrx edrx   25518 Oct 12 18:12 metapost.e.html
-rw-r--r--   1 edrx edrx   12660 Aug  8  2021 mgp.e
-rw-r--r--   1 edrx edrx   17621 Oct 12 18:12 mgp.e.html
-rw-r--r--   1 edrx edrx    1697 Dec 31  2020 mikmod.e
-rw-r--r--   1 edrx edrx    3100 Oct 12 18:12 mikmod.e.html
-rw-r--r--   1 edrx edrx   25247 Oct 21  2021 mini.e
-rw-r--r--   1 edrx edrx   36139 Oct 12 18:12 mini.e.html
-rw-r--r--   1 edrx edrx    2699 May 13  2023 mint.e
-rw-r--r--   1 edrx edrx    4727 Oct 12 18:12 mint.e.html
-rw-r--r--   1 edrx edrx    2229 May 22  2024 minted.e
-rw-r--r--   1 edrx edrx    4941 Oct 12 18:12 minted.e.html
-rw-r--r--   1 edrx edrx   14540 Oct 21  2021 mktclapp.e
-rw-r--r--   1 edrx edrx   24522 Oct 12 18:12 mktclapp.e.html
-rw-r--r--   1 edrx edrx   37959 Mar 30  2025 ml.e
-rw-r--r--   1 edrx edrx   71183 Oct 12 18:12 ml.e.html
-rw-r--r--   1 edrx edrx    4321 May 27  2024 mmdebstrap.e
-rw-r--r--   1 edrx edrx    8348 Oct 12 18:12 mmdebstrap.e.html
-rw-r--r--   1 edrx edrx    4080 Oct 20  2021 modelcheck.e
-rw-r--r--   1 edrx edrx    6339 Oct 12 18:12 modelcheck.e.html
-rw-r--r--   1 edrx edrx   27435 Aug  8  2021 modem.e
-rw-r--r--   1 edrx edrx   48896 Oct 12 18:12 modem.e.html
-rw-r--r--   1 edrx edrx    2021 Oct 20  2021 modula3.e
-rw-r--r--   1 edrx edrx    3507 Oct 12 18:12 modula3.e.html
-rw-r--r--   1 edrx edrx    1634 Aug  8  2021 moodle.e
-rw-r--r--   1 edrx edrx    3020 Oct 12 18:12 moodle.e.html
-rw-r--r--   1 edrx edrx    4311 Mar 21  2022 mouse.e
-rw-r--r--   1 edrx edrx    9103 Oct 12 18:12 mouse.e.html
-rw-r--r--   1 edrx edrx   22152 Nov 19  2024 mp3.e
-rw-r--r--   1 edrx edrx   39400 Oct 12 18:12 mp3.e.html
-rw-r--r--   1 edrx edrx   26531 Sep 20 10:25 mplayer.e
-rw-r--r--   1 edrx edrx   57449 Oct 12 18:12 mplayer.e.html
-rw-r--r--   1 edrx edrx    2365 Oct 22  2024 mqtt.e
-rw-r--r--   1 edrx edrx    5137 Oct 12 18:12 mqtt.e.html
-rw-r--r--   1 edrx edrx    8064 Apr  5  2023 mtp.e
-rw-r--r--   1 edrx edrx   19644 Oct 12 18:12 mtp.e.html
-rw-r--r--   1 edrx edrx    2061 Aug  8  2021 multiterminal.e
-rw-r--r--   1 edrx edrx    3743 Oct 12 18:12 multiterminal.e.html
-rw-r--r--   1 edrx edrx    2301 Aug  8  2021 musescore.e
-rw-r--r--   1 edrx edrx    4100 Oct 12 18:12 musescore.e.html
-rw-r--r--   1 edrx edrx   65499 Mar  9  2025 music.e
-rw-r--r--   1 edrx edrx  121147 Oct 12 18:12 music.e.html
-rw-r--r--   1 edrx edrx   18801 Aug  8  2021 mysql.e
-rw-r--r--   1 edrx edrx   33199 Oct 12 18:12 mysql.e.html
-rw-r--r--   1 edrx edrx   20463 Aug  8  2021 ndiswrapper.e
-rw-r--r--   1 edrx edrx   37817 Oct 12 18:12 ndiswrapper.e.html
-rw-r--r--   1 edrx edrx   25748 Jul 31 17:14 net.e
-rw-r--r--   1 edrx edrx   48158 Oct 12 18:12 net.e.html
-rw-r--r--   1 edrx edrx   10320 Oct 21  2021 netbasics.e
-rw-r--r--   1 edrx edrx   14077 Oct 12 18:12 netbasics.e.html
-rw-r--r--   1 edrx edrx   22388 Aug  8  2021 netbsd.e
-rw-r--r--   1 edrx edrx   44988 Oct 12 18:12 netbsd.e.html
-rw-r--r--   1 edrx edrx    3233 Apr 10  2025 netcat.e
-rw-r--r--   1 edrx edrx    7393 Oct 12 18:12 netcat.e.html
-rw-r--r--   1 edrx edrx   21493 Oct 21  2021 netscape.e
-rw-r--r--   1 edrx edrx   29565 Oct 12 18:12 netscape.e.html
-rw-r--r--   1 edrx edrx    4300 Apr  9  2023 netsurf.e
-rw-r--r--   1 edrx edrx    9317 Oct 12 18:12 netsurf.e.html
-rw-r--r--   1 edrx edrx   12105 Aug  8  2021 networkmanager.e
-rw-r--r--   1 edrx edrx   26974 Oct 12 18:12 networkmanager.e.html
-rw-r--r--   1 edrx edrx    3517 Oct 21  2021 news.e
-rw-r--r--   1 edrx edrx    6278 Oct 12 18:12 news.e.html
-rw-r--r--   1 edrx edrx    5584 Mar 14  2023 nim.e
-rw-r--r--   1 edrx edrx   12755 Oct 12 18:12 nim.e.html
-rw-r--r--   1 edrx edrx    1702 May 22  2024 nix.e
-rw-r--r--   1 edrx edrx    3090 Oct 12 18:12 nix.e.html
-rw-r--r--   1 edrx edrx    2514 Aug  8  2021 non.e
-rw-r--r--   1 edrx edrx    4778 Oct 12 18:12 non.e.html
-rw-r--r--   1 edrx edrx    3330 Oct 21  2021 nonfree.e
-rw-r--r--   1 edrx edrx    5582 Oct 12 18:12 nonfree.e.html
-rw-r--r--   1 edrx edrx    2224 Dec  6  2024 noweb.e
-rw-r--r--   1 edrx edrx    4846 Oct 12 18:12 noweb.e.html
-rw-r--r--   1 edrx edrx    5225 Feb 25  2024 npm.e
-rw-r--r--   1 edrx edrx   13806 Oct 12 18:12 npm.e.html
-rw-r--r--   1 edrx edrx    1621 Dec  9  2022 oauth.e
-rw-r--r--   1 edrx edrx    3137 Oct 12 18:12 oauth.e.html
-rw-r--r--   1 edrx edrx    2306 Apr 28  2022 oberon.e
-rw-r--r--   1 edrx edrx    3637 Oct 12 18:12 oberon.e.html
-rw-r--r--   1 edrx edrx    2622 Aug  8  2021 obj.e
-rw-r--r--   1 edrx edrx    5094 Oct 12 18:12 obj.e.html
-rw-r--r--   1 edrx edrx   38099 Aug  1 00:28 ocaml.e
-rw-r--r--   1 edrx edrx   75268 Oct 12 18:12 ocaml.e.html
-rw-r--r--   1 edrx edrx    3601 Oct 21  2021 octal.e
-rw-r--r--   1 edrx edrx    6049 Oct 12 18:12 octal.e.html
-rw-r--r--   1 edrx edrx    4384 Aug 27 05:15 octave.e
-rw-r--r--   1 edrx edrx    9445 Oct 12 18:12 octave.e.html
-rw-r--r--   1 edrx edrx    2953 Feb 23  2024 ohm.e
-rw-r--r--   1 edrx edrx    6106 Oct 12 18:12 ohm.e.html
-rw-r--r--   1 edrx edrx    7974 Oct 21  2021 oldpage.e
-rw-r--r--   1 edrx edrx   11843 Oct 12 18:12 oldpage.e.html
-rw-r--r--   1 edrx edrx    5900 Aug  8  2021 op-1.e
-rw-r--r--   1 edrx edrx    8488 Oct 12 18:12 op-1.e.html
-rw-r--r--   1 edrx edrx   29347 Dec 26  2022 openoffice.e
-rw-r--r--   1 edrx edrx   40352 Oct 12 18:12 openoffice.e.html
-rw-r--r--   1 edrx edrx    2895 Mar 25  2022 opera.e
-rw-r--r--   1 edrx edrx    6107 Oct 12 18:12 opera.e.html
-rw-r--r--   1 edrx edrx    7136 Aug  8  2021 oracle.e
-rw-r--r--   1 edrx edrx   12415 Oct 12 18:12 oracle.e.html
-rw-r--r--   1 edrx edrx  114228 Sep 21 04:09 org.e
-rw-r--r--   1 edrx edrx  243503 Oct 12 18:12 org.e.html
-rw-r--r--   1 edrx edrx    4760 Oct 21  2021 oskit.e
-rw-r--r--   1 edrx edrx    7885 Oct 12 18:12 oskit.e.html
-rw-r--r--   1 edrx edrx   11917 May 27 21:19 osx.e
-rw-r--r--   1 edrx edrx   21867 Oct 12 18:12 osx.e.html
-rw-r--r--   1 edrx edrx    2815 Mar 19  2025 overleaf.e
-rw-r--r--   1 edrx edrx    5687 Oct 12 18:12 overleaf.e.html
-rw-r--r--   1 edrx edrx   13956 Feb 27  2025 p2p.e
-rw-r--r--   1 edrx edrx   27824 Oct 12 18:12 p2p.e.html
-rw-r--r--   1 edrx edrx   41232 Jun  9  2024 page.e
-rw-r--r--   1 edrx edrx   78115 Oct 12 18:12 page.e.html
-rw-r--r--   1 edrx edrx    7003 Sep  5  2022 pam.e
-rw-r--r--   1 edrx edrx   18431 Oct 12 18:12 pam.e.html
-rw-r--r--   1 edrx edrx    3890 Nov 29  2024 pandoc.e
-rw-r--r--   1 edrx edrx    7201 Oct 12 18:12 pandoc.e.html
-rw-r--r--   1 edrx edrx    5958 Apr 12  2025 pascal.e
-rw-r--r--   1 edrx edrx    9120 Oct 12 18:12 pascal.e.html
-rw-r--r--   1 edrx edrx    5760 Sep 29  2024 paste.e
-rw-r--r--   1 edrx edrx   12618 Oct 12 18:12 paste.e.html
-rw-r--r--   1 edrx edrx   11493 Aug 22  2021 pendrive.e
-rw-r--r--   1 edrx edrx   24668 Oct 12 18:12 pendrive.e.html
-rw-r--r--   1 edrx edrx    3251 Jan 23  2024 penrose.e
-rw-r--r--   1 edrx edrx    6705 Oct 12 18:12 penrose.e.html
-rw-r--r--   1 edrx edrx   22884 Mar 10  2025 perl.e
-rw-r--r--   1 edrx edrx   40145 Oct 12 18:12 perl.e.html
-rw-r--r--   1 edrx edrx    3358 Oct 20  2021 perl1.e
-rw-r--r--   1 edrx edrx    4668 Oct 12 18:12 perl1.e.html
-rw-r--r--   1 edrx edrx    3575 May 12  2023 perl6.e
-rw-r--r--   1 edrx edrx    6880 Oct 12 18:12 perl6.e.html
-rw-r--r--   1 edrx edrx   16077 Mar 18  2023 pharo.e
-rw-r--r--   1 edrx edrx   37925 Oct 12 18:12 pharo.e.html
-rw-r--r--   1 edrx edrx   34167 Sep 28 10:33 php.e
-rw-r--r--   1 edrx edrx   62515 Oct 12 18:12 php.e.html
-rw-r--r--   1 edrx edrx   10926 Aug  8  2021 pic.e
-rw-r--r--   1 edrx edrx   16657 Oct 12 18:12 pic.e.html
-rw-r--r--   1 edrx edrx   14027 Nov 19  2023 pict2e.e
-rw-r--r--   1 edrx edrx   24374 Oct 12 18:12 pict2e.e.html
-rw-r--r--   1 edrx edrx    1740 Aug  8  2021 pidgin.e
-rw-r--r--   1 edrx edrx    3126 Oct 12 18:12 pidgin.e.html
-rw-r--r--   1 edrx edrx    2099 Oct 30  2020 pitivi.e
-rw-r--r--   1 edrx edrx    3909 Oct 12 18:12 pitivi.e.html
-rw-r--r--   1 edrx edrx   42938 Oct 11  2024 plan9.e
-rw-r--r--   1 edrx edrx   48210 Oct 12 18:12 plan9.e.html
-rw-r--r--   1 edrx edrx    2948 Aug  8  2021 planner.e
-rw-r--r--   1 edrx edrx    4616 Oct 12 18:12 planner.e.html
-rw-r--r--   1 edrx edrx   53937 Aug  8  2021 plurall.e
-rw-r--r--   1 edrx edrx   97745 Oct 12 18:12 plurall.e.html
-rw-r--r--   1 edrx edrx    4123 Mar 18  2022 plzoo.e
-rw-r--r--   1 edrx edrx    8664 Oct 12 18:12 plzoo.e.html
-rw-r--r--   1 edrx edrx    2419 Mar  1  2023 poke.e
-rw-r--r--   1 edrx edrx    4462 Oct 12 18:12 poke.e.html
-rw-r--r--   1 edrx edrx   23796 Oct 17  2024 postgres.e
-rw-r--r--   1 edrx edrx   45080 Oct 12 18:12 postgres.e.html
-rw-r--r--   1 edrx edrx   11917 Oct 21  2021 potato.e
-rw-r--r--   1 edrx edrx   19872 Oct 12 18:12 potato.e.html
-rw-r--r--   1 edrx edrx    5923 Oct 21  2021 potatocds.e
-rw-r--r--   1 edrx edrx   10871 Oct 12 18:12 potatocds.e.html
-rw-r--r--   1 edrx edrx    4607 Aug  8  2021 ppp.e
-rw-r--r--   1 edrx edrx   11191 Oct 12 18:12 ppp.e.html
-rw-r--r--   1 edrx edrx    1877 Jul 21  2024 pratt.e
-rw-r--r--   1 edrx edrx    4053 Oct 12 18:12 pratt.e.html
-rw-r--r--   1 edrx edrx   16032 Jul  3  2024 prince.e
-rw-r--r--   1 edrx edrx   30939 Oct 12 18:12 prince.e.html
-rw-r--r--   1 edrx edrx   32827 Dec 31  2021 print.e
-rw-r--r--   1 edrx edrx   53843 Oct 12 18:12 print.e.html
-rw-r--r--   1 edrx edrx    8397 Aug  8  2021 projeto.e
-rw-r--r--   1 edrx edrx   11812 Oct 12 18:12 projeto.e.html
-rw-r--r--   1 edrx edrx    4985 Apr 29 21:03 prolog.e
-rw-r--r--   1 edrx edrx    9417 Oct 12 18:12 prolog.e.html
-rw-r--r--   1 edrx edrx   72851 Aug  4 01:29 ps.e
-rw-r--r--   1 edrx edrx  142445 Oct 12 18:12 ps.e.html
-rw-r--r--   1 edrx edrx   13651 May 29  2023 pulseaudio.e
-rw-r--r--   1 edrx edrx   24898 Oct 12 18:12 pulseaudio.e.html
-rw-r--r--   1 edrx edrx    3137 Aug  8  2021 puredata.e
-rw-r--r--   1 edrx edrx    5839 Oct 12 18:12 puredata.e.html
-rw-r--r--   1 edrx edrx  181946 Sep  8 01:16 puro.e
-rw-r--r--   1 edrx edrx  282862 Oct 12 18:12 puro.e.html
-rw-r--r--   1 edrx edrx    9790 Nov  1  2024 pygments.e
-rw-r--r--   1 edrx edrx   20961 Oct 12 18:12 pygments.e.html
-rw-r--r--   1 edrx edrx  184796 Sep 23 08:27 python.e
-rw-r--r--   1 edrx edrx  370596 Oct 12 18:12 python.e.html
-rw-r--r--   1 edrx edrx   52293 Mar 30  2025 qdraw.e
-rw-r--r--   1 edrx edrx  113983 Oct 12 18:12 qdraw.e.html
-rw-r--r--   1 edrx edrx   21748 Aug  8  2021 qemu.e
-rw-r--r--   1 edrx edrx   41848 Oct 12 18:13 qemu.e.html
-rw-r--r--   1 edrx edrx    3968 Apr 29 23:21 qrcode.e
-rw-r--r--   1 edrx edrx    8940 Oct 12 18:13 qrcode.e.html
-rw-r--r--   1 edrx edrx   13210 Aug  8  2021 qt.e
-rw-r--r--   1 edrx edrx   22573 Oct 12 18:13 qt.e.html
-rw-r--r--   1 edrx edrx    1802 Aug  8  2021 quadradinho.e
-rw-r--r--   1 edrx edrx    3913 Oct 12 18:13 quadradinho.e.html
-rw-r--r--   1 edrx edrx    8652 Jun  8 01:00 r.e
-rw-r--r--   1 edrx edrx   16862 Oct 12 18:13 r.e.html
-rw-r--r--   1 edrx edrx   26656 May 31 16:21 racket.e
-rw-r--r--   1 edrx edrx   53061 Oct 12 18:13 racket.e.html
-rw-r--r--   1 edrx edrx    9256 Oct 20  2021 raven10.e
-rw-r--r--   1 edrx edrx   11810 Oct 12 18:13 raven10.e.html
-rw-r--r--   1 edrx edrx    8849 Oct 20  2021 raven10b.e
-rw-r--r--   1 edrx edrx   11672 Oct 12 18:13 raven10b.e.html
-rw-r--r--   1 edrx edrx    4264 Feb 15  2024 rcd.e
-rw-r--r--   1 edrx edrx    8176 Oct 12 18:13 rcd.e.html
-rw-r--r--   1 edrx edrx   32640 Oct  6  2024 rcirc.e
-rw-r--r--   1 edrx edrx   61421 Oct 12 18:13 rcirc.e.html
-rw-r--r--   1 edrx edrx    4472 Jan 20  2023 rebol.e
-rw-r--r--   1 edrx edrx    7101 Oct 12 18:13 rebol.e.html
-rw-r--r--   1 edrx edrx    2476 Feb 25  2020 recutils.e
-rw-r--r--   1 edrx edrx    4628 Oct 12 18:13 recutils.e.html
-rw-r--r--   1 edrx edrx   10970 Oct 21  2022 reddit.e
-rw-r--r--   1 edrx edrx   15493 Oct 12 18:13 reddit.e.html
-rw-r--r--   1 edrx edrx   37254 Oct 21  2021 redhat.e
-rw-r--r--   1 edrx edrx   50212 Oct 12 18:13 redhat.e.html
-rw-r--r--   1 edrx edrx   11717 Oct 20  2021 rest.e
-rw-r--r--   1 edrx edrx   15584 Oct 12 18:13 rest.e.html
-rw-r--r--   1 edrx edrx    3052 Aug  8  2021 retro.e
-rw-r--r--   1 edrx edrx    6397 Oct 12 18:13 retro.e.html
-rw-r--r--   1 edrx edrx   33981 Mar 21  2022 rexx.e
-rw-r--r--   1 edrx edrx   94151 Oct 12 18:13 rexx.e.html
-rw-r--r--   1 edrx edrx    2491 Oct 21  2021 rpm.e
-rw-r--r--   1 edrx edrx    4797 Oct 12 18:13 rpm.e.html
-rw-r--r--   1 edrx edrx    3193 Jan 26  2025 rss.e
-rw-r--r--   1 edrx edrx    6491 Oct 12 18:13 rss.e.html
-rw-r--r--   1 edrx edrx    2942 Aug  8  2021 rst.e
-rw-r--r--   1 edrx edrx    5750 Oct 12 18:13 rst.e.html
-rw-r--r--   1 edrx edrx    2958 Sep 19 14:03 rsync.e
-rw-r--r--   1 edrx edrx    6876 Oct 12 18:13 rsync.e.html
-rw-r--r--   1 edrx edrx   70959 Jun 16 20:49 ruby.e
-rw-r--r--   1 edrx edrx  124424 Oct 12 18:13 ruby.e.html
-rw-r--r--   1 edrx edrx   13846 Aug  8  2021 rubyforth.e
-rw-r--r--   1 edrx edrx   27753 Oct 12 18:13 rubyforth.e.html
-rw-r--r--   1 edrx edrx    3640 Sep  7 23:05 rust.e
-rw-r--r--   1 edrx edrx    6737 Oct 12 18:13 rust.e.html
-rw-r--r--   1 edrx edrx    4126 May 10  2022 sage.e
-rw-r--r--   1 edrx edrx    6559 Oct 12 18:13 sage.e.html
-rw-r--r--   1 edrx edrx    1639 Aug  8  2021 samba.e
-rw-r--r--   1 edrx edrx    2892 Oct 12 18:13 samba.e.html
-rw-r--r--   1 edrx edrx    2576 Aug  8  2021 scala.e
-rw-r--r--   1 edrx edrx    5176 Oct 12 18:13 scala.e.html
-rw-r--r--   1 edrx edrx   27888 Aug 22  2022 scan.e
-rw-r--r--   1 edrx edrx   61742 Oct 12 18:13 scan.e.html
-rw-r--r--   1 edrx edrx   29671 Sep 15 16:31 scheme.e
-rw-r--r--   1 edrx edrx   64327 Oct 12 18:13 scheme.e.html
-rw-r--r--   1 edrx edrx   19245 Aug  8  2021 scintilla.e
-rw-r--r--   1 edrx edrx   35194 Oct 12 18:13 scintilla.e.html
-rw-r--r--   1 edrx edrx    7286 Aug  8  2021 screen.e
-rw-r--r--   1 edrx edrx   12869 Oct 12 18:13 screen.e.html
-rw-r--r--   1 edrx edrx   23443 Dec 13  2024 screencasts.e
-rw-r--r--   1 edrx edrx   51379 Oct 12 18:13 screencasts.e.html
-rw-r--r--   1 edrx edrx    7096 Aug  8  2021 scribus.e
-rw-r--r--   1 edrx edrx   12670 Oct 12 18:13 scribus.e.html
-rw-r--r--   1 edrx edrx    4858 Aug  8  2021 sdl.e
-rw-r--r--   1 edrx edrx   10452 Oct 12 18:13 sdl.e.html
-rw-r--r--   1 edrx edrx    2102 Oct 18  2021 self.e
-rw-r--r--   1 edrx edrx    3710 Oct 12 18:13 self.e.html
-rw-r--r--   1 edrx edrx    1650 Sep 17 16:29 setl.e
-rw-r--r--   1 edrx edrx    3301 Oct 12 18:13 setl.e.html
-rw-r--r--   1 edrx edrx   10635 Sep  8 01:14 sh.e
-rw-r--r--   1 edrx edrx   27735 Oct 12 18:13 sh.e.html
-rw-r--r--   1 edrx edrx    5868 Jul 13  2021 shibari.e
-rw-r--r--   1 edrx edrx   11159 Oct 12 18:13 shibari.e.html
-rw-r--r--   1 edrx edrx    3874 Oct 19  2024 show-conses.e
-rw-r--r--   1 edrx edrx    6893 Oct 12 18:13 show-conses.e.html
-rw-r--r--   1 edrx edrx    2182 Sep  3  2023 show2.e
-rw-r--r--   1 edrx edrx    4841 Oct 12 18:13 show2.e.html
-rw-r--r--   1 edrx edrx    3393 Mar 31  2024 sixel.e
-rw-r--r--   1 edrx edrx    6722 Oct 12 18:13 sixel.e.html
-rw-r--r--   1 edrx edrx    2996 Aug  8  2021 skype.e
-rw-r--r--   1 edrx edrx    6467 Oct 12 18:13 skype.e.html
-rw-r--r--   1 edrx edrx    3327 Aug  8  2021 slackware.e
-rw-r--r--   1 edrx edrx    4827 Oct 12 18:13 slackware.e.html
-rw-r--r--   1 edrx edrx    3692 Sep 27 15:11 slime.e
-rw-r--r--   1 edrx edrx    7322 Oct 12 18:13 slime.e.html
-rw-r--r--   1 edrx edrx    2983 Sep 19  2024 slink.e
-rw-r--r--   1 edrx edrx    4593 Oct 12 18:13 slink.e.html
-rw-r--r--   1 edrx edrx   25211 May 15 06:29 smalltalk.e
-rw-r--r--   1 edrx edrx   59135 Oct 12 18:13 smalltalk.e.html
-rw-r--r--   1 edrx edrx    2671 Aug  6  2020 snap.e
-rw-r--r--   1 edrx edrx    6066 Oct 12 18:13 snap.e.html
-rw-r--r--   1 edrx edrx    4193 Oct  1  2020 snarf.e
-rw-r--r--   1 edrx edrx    6867 Oct 12 18:13 snarf.e.html
-rw-r--r--   1 edrx edrx    2608 Dec 25  2020 snd.e
-rw-r--r--   1 edrx edrx    5860 Oct 12 18:13 snd.e.html
-rw-r--r--   1 edrx edrx    6256 Sep 17 16:39 snobol4.e
-rw-r--r--   1 edrx edrx   12947 Oct 12 18:13 snobol4.e.html
-rw-r--r--   1 edrx edrx   13000 Sep 29  2022 sound.e
-rw-r--r--   1 edrx edrx   27743 Oct 12 18:13 sound.e.html
-rw-r--r--   1 edrx edrx    9847 Sep  5 22:38 speech.e
-rw-r--r--   1 edrx edrx   21107 Oct 12 18:13 speech.e.html
-rw-r--r--   1 edrx edrx    4288 Sep 19  2022 sphinx.e
-rw-r--r--   1 edrx edrx    9926 Oct 12 18:13 sphinx.e.html
-rw-r--r--   1 edrx edrx   14271 Jun 17 00:43 sql.e
-rw-r--r--   1 edrx edrx   23681 Oct 12 18:13 sql.e.html
-rw-r--r--   1 edrx edrx   42538 May 11 11:42 sqlite.e
-rw-r--r--   1 edrx edrx   86536 Oct 12 18:13 sqlite.e.html
-rw-r--r--   1 edrx edrx  100749 Apr 14 20:05 squeak.e
-rw-r--r--   1 edrx edrx  169626 Oct 12 18:13 squeak.e.html
-rw-r--r--   1 edrx edrx    4628 Nov 23  2021 srf.e
-rw-r--r--   1 edrx edrx    8345 Oct 12 18:13 srf.e.html
-rw-r--r--   1 edrx edrx    3797 May 18 10:24 srht.e
-rw-r--r--   1 edrx edrx    8283 Oct 12 18:13 srht.e.html
-rw-r--r--   1 edrx edrx   27489 Sep 19 13:50 ssh.e
-rw-r--r--   1 edrx edrx   57518 Oct 12 18:13 ssh.e.html
-rw-r--r--   1 edrx edrx   12181 Aug  1  2021 stack.e
-rw-r--r--   1 edrx edrx   25143 Oct 12 18:13 stack.e.html
-rw-r--r--   1 edrx edrx    2099 Oct 23  2022 stackexchange.e
-rw-r--r--   1 edrx edrx    4061 Oct 12 18:13 stackexchange.e.html
-rw-r--r--   1 edrx edrx    2531 Nov  8  2024 strace.e
-rw-r--r--   1 edrx edrx    5607 Oct 12 18:13 strace.e.html
-rw-r--r--   1 edrx edrx    1913 Aug 29  2022 stumpwm.e
-rw-r--r--   1 edrx edrx    3753 Oct 12 18:13 stumpwm.e.html
-rw-r--r--   1 edrx edrx   15548 May 11  2024 subtitles.e
-rw-r--r--   1 edrx edrx   35000 Oct 12 18:13 subtitles.e.html
-rw-r--r--   1 edrx edrx    4498 Jan 22  2023 sudo.e
-rw-r--r--   1 edrx edrx    9492 Oct 12 18:13 sudo.e.html
-rw-r--r--   1 edrx edrx    1414 Aug  8  2021 suspend.e
-rw-r--r--   1 edrx edrx    2540 Oct 12 18:13 suspend.e.html
-rw-r--r--   1 edrx edrx   12872 Aug 24 20:18 svg.e
-rw-r--r--   1 edrx edrx   23710 Oct 12 18:13 svg.e.html
-rw-r--r--   1 edrx edrx    6420 Oct 12  2021 sweetjane.e
-rw-r--r--   1 edrx edrx   11278 Oct 12 18:13 sweetjane.e.html
-rw-r--r--   1 edrx edrx   16898 Aug  8  2021 swig.e
-rw-r--r--   1 edrx edrx   27234 Oct 12 18:13 swig.e.html
-rw-r--r--   1 edrx edrx   57623 Feb 28  2024 sympy.e
-rw-r--r--   1 edrx edrx  109078 Oct 12 18:13 sympy.e.html
-rw-r--r--   1 edrx edrx    6522 Aug  8  2021 syslinux.e
-rw-r--r--   1 edrx edrx   12249 Oct 12 18:13 syslinux.e.html
-rw-r--r--   1 edrx edrx    3413 Feb 28  2024 systemd.e
-rw-r--r--   1 edrx edrx    6754 Oct 12 18:13 systemd.e.html
-rw-r--r--   1 edrx edrx    4761 Feb 21  2020 tallin.e
-rw-r--r--   1 edrx edrx    6007 Oct 12 18:13 tallin.e.html
-rw-r--r--   1 edrx edrx   35140 Oct 21  2021 tcl-cipsga.e
-rw-r--r--   1 edrx edrx   48112 Oct 12 18:13 tcl-cipsga.e.html
-rw-r--r--   1 edrx edrx  150684 Aug  4 01:09 tcl.e
-rw-r--r--   1 edrx edrx  281279 Oct 12 18:13 tcl.e.html
-rw-r--r--   1 edrx edrx    2766 Oct 20  2021 tcsh.e
-rw-r--r--   1 edrx edrx    5443 Oct 12 18:13 tcsh.e.html
-rw-r--r--   1 edrx edrx    3951 Feb 21  2020 td.e
-rw-r--r--   1 edrx edrx    8729 Oct 12 18:13 td.e.html
-rw-r--r--   1 edrx edrx    3720 Aug  8  2021 teamspeak.e
-rw-r--r--   1 edrx edrx    7543 Oct 12 18:13 teamspeak.e.html
-rw-r--r--   1 edrx edrx   20620 Aug 31 09:24 telega.e
-rw-r--r--   1 edrx edrx   33098 Oct 12 18:13 telega.e.html
-rw-r--r--   1 edrx edrx    9828 Aug 13 13:09 telegram.e
-rw-r--r--   1 edrx edrx   18493 Oct 12 18:13 telegram.e.html
-rw-r--r--   1 edrx edrx    1782 Oct 28  2024 teliva.e
-rw-r--r--   1 edrx edrx    3572 Oct 12 18:13 teliva.e.html
-rw-r--r--   1 edrx edrx   12508 Jun  6  2024 termux.e
-rw-r--r--   1 edrx edrx   24927 Oct 12 18:13 termux.e.html
-rw-r--r--   1 edrx edrx    2766 Oct 11  2021 terra.e
-rw-r--r--   1 edrx edrx    6112 Oct 12 18:13 terra.e.html
-rw-r--r--   1 edrx edrx    2727 Oct 21  2021 tese.e
-rw-r--r--   1 edrx edrx    4325 Oct 12 18:13 tese.e.html
-rw-r--r--   1 edrx edrx    4338 Jun  8  2024 tesevictor.e
-rw-r--r--   1 edrx edrx    8375 Oct 12 18:13 tesevictor.e.html
-rw-r--r--   1 edrx edrx  496290 Oct  9 12:12 tex.e
-rw-r--r--   1 edrx edrx  926812 Oct 12 18:13 tex.e.html
-rw-r--r--   1 edrx edrx   35921 Jan 18  2025 texinfo.e
-rw-r--r--   1 edrx edrx   82833 Oct 12 18:13 texinfo.e.html
-rw-r--r--   1 edrx edrx    3836 Aug  4 00:15 texlive.e
-rw-r--r--   1 edrx edrx    8729 Oct 12 18:13 texlive.e.html
-rw-r--r--   1 edrx edrx    1817 Mar 24  2022 textadept.e
-rw-r--r--   1 edrx edrx    3587 Oct 12 18:13 textadept.e.html
-rw-r--r--   1 edrx edrx  145552 Apr 14  2024 tikz.e
-rw-r--r--   1 edrx edrx  303511 Oct 12 18:13 tikz.e.html
-rw-r--r--   1 edrx edrx    3875 May  3 05:12 tinycore.e
-rw-r--r--   1 edrx edrx    7467 Oct 12 18:13 tinycore.e.html
-rw-r--r--   1 edrx edrx    3692 Feb 21  2020 tmp.e
-rw-r--r--   1 edrx edrx    7182 Oct 12 18:13 tmp.e.html
-rw-r--r--   1 edrx edrx    1626 Oct 20  2021 todo.e
-rw-r--r--   1 edrx edrx    2743 Oct 12 18:13 todo.e.html
-rw-r--r--   1 edrx edrx    4127 Oct 21  2021 tomsrtbt.e
-rw-r--r--   1 edrx edrx    6710 Oct 12 18:13 tomsrtbt.e.html
-rw-r--r--   1 edrx edrx    2025 Oct 20  2021 tourism.e
-rw-r--r--   1 edrx edrx    4219 Oct 12 18:13 tourism.e.html
-rw-r--r--   1 edrx edrx    5126 Sep 21 21:22 tramp.e
-rw-r--r--   1 edrx edrx   12960 Oct 12 18:13 tramp.e.html
-rw-r--r--   1 edrx edrx    4592 Oct 20  2021 transp.e
-rw-r--r--   1 edrx edrx    5954 Oct 12 18:13 transp.e.html
-rw-r--r--   1 edrx edrx    2430 Feb 21  2020 travis-ci.e
-rw-r--r--   1 edrx edrx    4901 Oct 12 18:13 travis-ci.e.html
-rw-r--r--   1 edrx edrx    5081 May 23 18:45 treesit.e
-rw-r--r--   1 edrx edrx   10163 Oct 12 18:13 treesit.e.html
-rw-r--r--   1 edrx edrx   12902 Aug  8  2021 trisquel.e
-rw-r--r--   1 edrx edrx   27303 Oct 12 18:13 trisquel.e.html
-rw-r--r--   1 edrx edrx    1362 Mar  6  2024 tumblr.e
-rw-r--r--   1 edrx edrx    2487 Oct 12 18:13 tumblr.e.html
-rw-r--r--   1 edrx edrx    3809 Jan  1  2023 twitter.e
-rw-r--r--   1 edrx edrx    9063 Oct 12 18:13 twitter.e.html
-rw-r--r--   1 edrx edrx    4424 Mar 31  2020 types.e
-rw-r--r--   1 edrx edrx    7241 Oct 12 18:13 types.e.html
-rw-r--r--   1 edrx edrx    2028 Sep 28 10:41 typst.e
-rw-r--r--   1 edrx edrx    3942 Oct 12 18:13 typst.e.html
-rw-r--r--   1 edrx edrx    1291 Aug  8  2021 u.e
-rw-r--r--   1 edrx edrx    5234 Oct 12 18:13 u.e.html
-rw-r--r--   1 edrx edrx   31377 Sep 24  2024 ubuntu.e
-rw-r--r--   1 edrx edrx   64803 Oct 12 18:13 ubuntu.e.html
-rw-r--r--   1 edrx edrx   27433 Jul 27 11:11 unix.e
-rw-r--r--   1 edrx edrx   71728 Oct 12 18:13 unix.e.html
-rw-r--r--   1 edrx edrx    8844 Oct 21  2021 usermodelinux.e
-rw-r--r--   1 edrx edrx   15811 Oct 12 18:13 usermodelinux.e.html
-rw-r--r--   1 edrx edrx   12209 Apr 18 20:43 vi.e
-rw-r--r--   1 edrx edrx   24400 Oct 12 18:13 vi.e.html
-rw-r--r--   1 edrx edrx   16247 Aug  8  2021 video.e
-rw-r--r--   1 edrx edrx   33941 Oct 12 18:13 video.e.html
-rw-r--r--   1 edrx edrx    8590 Aug  8  2021 virtua.e
-rw-r--r--   1 edrx edrx   13724 Oct 12 18:13 virtua.e.html
-rw-r--r--   1 edrx edrx    7319 Jan 12  2024 vlc.e
-rw-r--r--   1 edrx edrx   14551 Oct 12 18:13 vlc.e.html
-rw-r--r--   1 edrx edrx   13534 Jan 15  2023 vnc.e
-rw-r--r--   1 edrx edrx   28321 Oct 12 18:13 vnc.e.html
-rw-r--r--   1 edrx edrx    1424 Mar 18  2022 vpn.e
-rw-r--r--   1 edrx edrx    2630 Oct 12 18:13 vpn.e.html
-rw-r--r--   1 edrx edrx   59665 Aug 11 16:48 w32.e
-rw-r--r--   1 edrx edrx  122728 Oct 12 18:13 w32.e.html
-rw-r--r--   1 edrx edrx   21179 Apr  8  2025 wget.e
-rw-r--r--   1 edrx edrx   45426 Oct 12 18:13 wget.e.html
-rw-r--r--   1 edrx edrx    1883 Aug  8  2021 wifi.e
-rw-r--r--   1 edrx edrx    3058 Oct 12 18:13 wifi.e.html
-rw-r--r--   1 edrx edrx   40321 Aug  8  2021 wiki.e
-rw-r--r--   1 edrx edrx   70162 Oct 12 18:13 wiki.e.html
-rw-r--r--   1 edrx edrx    2922 Apr  4  2024 wine.e
-rw-r--r--   1 edrx edrx    6417 Oct 12 18:13 wine.e.html
-rw-r--r--   1 edrx edrx   10990 Sep 28  2024 wordpress.e
-rw-r--r--   1 edrx edrx   21922 Oct 12 18:13 wordpress.e.html
-rw-r--r--   1 edrx edrx  134643 Aug  1 00:23 x.e
-rw-r--r--   1 edrx edrx  261989 Oct 12 18:13 x.e.html
-rw-r--r--   1 edrx edrx    4254 Aug  8  2021 xen.e
-rw-r--r--   1 edrx edrx    6996 Oct 12 18:13 xen.e.html
-rw-r--r--   1 edrx edrx    8685 Dec 15  2024 xfce.e
-rw-r--r--   1 edrx edrx   16943 Oct 12 18:13 xfce.e.html
-rw-r--r--   1 edrx edrx    2966 Jun 22 16:18 xml.e
-rw-r--r--   1 edrx edrx    6570 Oct 12 18:13 xml.e.html
-rw-r--r--   1 edrx edrx    3061 Dec 31  2021 xmpp.e
-rw-r--r--   1 edrx edrx    6833 Oct 12 18:13 xmpp.e.html
-rw-r--r--   1 edrx edrx    5346 May 30  2022 xournal.e
-rw-r--r--   1 edrx edrx   11840 Oct 12 18:13 xournal.e.html
-rw-r--r--   1 edrx edrx   14128 Oct 21  2021 xxx-server.e
-rw-r--r--   1 edrx edrx   24154 Oct 12 18:13 xxx-server.e.html
-rw-r--r--   1 edrx edrx   36890 Aug  8  2021 xypic.e
-rw-r--r--   1 edrx edrx   61857 Oct 12 18:13 xypic.e.html
-rw-r--r--   1 edrx edrx    2074 Aug  8  2021 yad.e
-rw-r--r--   1 edrx edrx    4057 Oct 12 18:13 yad.e.html
-rw-r--r--   1 edrx edrx   10858 Oct 20  2021 yard.e
-rw-r--r--   1 edrx edrx   15035 Oct 12 18:13 yard.e.html
-rw-r--r--   1 edrx edrx    3095 Feb 21  2020 yelp.e
-rw-r--r--   1 edrx edrx    7194 Oct 12 18:13 yelp.e.html
-rw-r--r--   1 edrx edrx   47017 Sep 20 08:22 youtube.e
-rw-r--r--   1 edrx edrx   97122 Oct 12 18:13 youtube.e.html
-rw-r--r--   1 edrx edrx    4713 Oct 24  2022 zig.e
-rw-r--r--   1 edrx edrx    6967 Oct 12 18:13 zig.e.html
-rw-r--r--   1 edrx edrx   29257 Jun 11 23:32 zsh.e
-rw-r--r--   1 edrx edrx   60992 Oct 12 18:13 zsh.e.html
-rw-r--r--   1 edrx edrx    1680 May 31  2022 zulip.e
-rw-r--r--   1 edrx edrx    3216 Oct 12 18:13 zulip.e.html