drwxr-xr-x   2 edrx edrx         12288 Dec 18 18:57 ./
drwxr-xr-x 301 edrx edrx         36864 Dec 20 21:30 ../
-rwxr-xr-x   1 edrx edrx          3141 Feb 21  2020 0.sh*
-rw-r--r--   1 edrx edrx          6008 Dec 20 21:29 0.sh.html
-rwxr-xr-x   1 edrx edrx          3742 Feb 21  2020 1.sh*
-rw-r--r--   1 edrx edrx          5960 Dec 20 21:29 1.sh.html
-rw-r--r--   1 edrx edrx          2405 Feb 21  2020 2.el
-rw-r--r--   1 edrx edrx          5389 Dec 20 21:29 2.el.html
-rwxr-xr-x   1 edrx edrx          3311 Feb 21  2020 2.sh*
-rw-r--r--   1 edrx edrx          4811 Dec 20 21:29 2.sh.html
-rw-r--r--   2 edrx www-data  55156711 Oct 28  2012 2012oct28-com-som-1.mp4
-rw-r--r--   2 edrx www-data  10541750 Oct 28  2012 2012oct28-intro-pt.mp3
-rw-r--r--   2 edrx www-data  33216345 Oct 28  2012 2012oct28-intro-pt.mp4
-rw-r--r--   2 edrx edrx      16587929 Mar 18  2021 2020-2-C2-TFC.mp4
-rw-r--r--   2 edrx edrx      18224221 Apr 16  2021 2020-2-C2-edovs-2.mp4
-rw-r--r--   2 edrx edrx      17352781 Apr 16  2021 2020-2-C2-edovs.mp4
-rw-r--r--   2 edrx edrx       5615826 Mar 11  2021 2020-2-C2-escadas-b.mp4
-rw-r--r--   2 edrx edrx       4195010 Mar  3  2021 2020-2-C2-escadas.mp4
-rw-r--r--   2 edrx edrx      34794821 Feb 12  2021 2020-2-C2-somas-2.mp4
-rw-r--r--   2 edrx edrx      18506347 Feb 18  2021 2020-2-C2-somas-2b.mp4
-rw-r--r--   2 edrx edrx      15053642 Feb 24  2021 2020-2-C2-somas-2c.mp4
-rw-r--r--   2 edrx edrx      10063374 Mar  4  2021 2020-2-C2-somas-2d.mp4
-rw-r--r--   2 edrx edrx      18370719 Feb 12  2021 2020-2-C3-aceleracao-2.mp4
-rw-r--r--   2 edrx edrx      25391263 Feb 10  2021 2020-2-C3-aceleracao.mp4
-rw-r--r--   2 edrx edrx      18239934 Apr 14  2021 2020-2-C3-plano-tang-2.mp4
-rw-r--r--   2 edrx edrx      22050810 Apr 16  2021 2020-2-C3-plano-tang-3.mp4
-rw-r--r--   2 edrx edrx      19328433 Apr 28  2021 2020-2-C3-plano-tang-4.mp4
-rw-r--r--   2 edrx edrx      11521478 Apr  7  2021 2020-2-C3-plano-tang.mp4
-rw-r--r--   2 edrx edrx      20322983 Mar 10  2021 2020-2-C3-rcadeia1-b.mp4
-rw-r--r--   2 edrx edrx      13112590 Mar 12  2021 2020-2-C3-rcadeia1-c.mp4
-rw-r--r--   2 edrx edrx       9475912 Mar 12  2021 2020-2-C3-rcadeia1-d.mp4
-rw-r--r--   2 edrx edrx      25540079 Mar 26  2021 2020-2-C3-rcadeia1-e.mp4
-rw-r--r--   2 edrx edrx       7270724 Feb 26  2021 2020-2-C3-rcadeia1.mp4
-rw-r--r--   2 edrx edrx      15450241 Feb  5  2021 2020-2-C3-vetor-tangente.mp4
-rw-r--r--   2 edrx edrx      26998085 Dec 20  2020 2020-M-x-cv-lilypond.mp4
-rw-r--r--   2 edrx edrx       1261788 Dec 16  2020 2020-doubt-about-merging.mp4
-rw-r--r--   2 edrx edrx      32525207 Dec 30  2020 2020-find-here-links.mp4
-rw-r--r--   2 edrx edrx      25928779 Oct  4  2020 2020-list-packages-eev-nav.mp4
-rw-r--r--   2 edrx edrx         16160 Dec 25  2022 2020-list-packages-eev-nav.vtt
-rw-r--r--   2 edrx edrx       7545297 Jan  5  2021 2020-short-find-ssr-links-2.mp4
-rw-r--r--   2 edrx edrx       1676654 Jan  4  2021 2020-short-rcirc.mp4
-rw-r--r--   2 edrx edrx      50471797 Dec 24  2020 2020-some-template-based.mp4
-rw-r--r--   2 edrx edrx         39004 Dec 26  2022 2020-some-template-based.vtt
-rw-r--r--   2 edrx edrx       7676018 Jan 23  2021 2020-test-blocks-1.mp4
-rw-r--r--   2 edrx edrx      27152395 Feb  3  2021 2020.2-C2-intro.mp4
-rw-r--r--   2 edrx edrx       8572759 Feb  4  2021 2020.2-C2-somas-1.mp4
-rw-r--r--   2 edrx edrx      16104899 Feb  3  2021 2020.2-C3-intro.mp4
-rw-r--r--   2 edrx edrx      12847023 Feb 19  2021 2020.2-C3-taylor.mp4
-rw-r--r--   2 edrx edrx      11627520 Feb 24  2021 2020.2-C3-taylor2.mp4
-rw-r--r--   2 edrx edrx       5105135 Nov 10  2020 2020_C2_2020nov09.mp4
-rw-r--r--   2 edrx edrx       7361868 Nov 25  2020 2020_C2_2020nov25_subst_trig_1.mp4
-rw-r--r--   2 edrx edrx       6814466 Nov 25  2020 2020_C3_2020nov25_aprox_2a_ordem.mp4
-rw-r--r--   2 edrx edrx       9946973 Dec  2  2020 2020_C3_compactos.mp4
-rw-r--r--   2 edrx edrx      14725938 Nov  6  2020 2020_C3_tipos.mp4
-rw-r--r--   2 edrx edrx      11148629 Nov 12  2020 2020_deriv_ln.mp4
-rw-r--r--   2 edrx edrx      13108882 Nov 11  2020 2020_derivada_1.mp4
-rw-r--r--   2 edrx edrx      11086540 Nov 19  2020 2020_div_com_resto.mp4
-rw-r--r--   2 edrx edrx      12586479 Nov 11  2020 2020_int_partes_1.mp4
-rw-r--r--   2 edrx edrx       6523409 Nov 19  2020 2020_int_pots_sen_cos.mp4
-rw-r--r--   2 edrx edrx      10180238 Nov  4  2020 2020_int_subst_1.mp4
-rw-r--r--   2 edrx edrx      50471797 Dec 24  2020 2020_some_template-based_functions.mp4
-rw-r--r--   2 edrx edrx      11271701 Dec  2  2020 2020_subst_trig_tan_sec.mp4
-rw-r--r--   2 edrx edrx      12904569 Nov  4  2020 2020_vetor_gradiente.mp4
-rw-r--r--   2 edrx edrx       1222793 Dec 17  2020 2020elisptut-very-short-demo.mp4
-rw-r--r--   2 edrx edrx       7647106 May 20  2021 2021-05-20_hydra_ei.mp4
-rw-r--r--   2 edrx edrx       7118168 Jul 22  2021 2021-1-C2-2021jul22-i.mp4
-rw-r--r--   2 edrx edrx      33762251 Sep  3  2021 2021-1-C2-contas-em-C2-2.mp4
-rw-r--r--   2 edrx edrx      14749523 Sep  2  2021 2021-1-C2-contas-em-C2.mp4
-rw-r--r--   2 edrx edrx      19501707 Sep 10  2021 2021-1-C2-edovs.mp4
-rw-r--r--   2 edrx edrx      25356267 Aug 25  2021 2021-1-C2-int-subst.mp4
-rw-r--r--   2 edrx edrx      26617154 Jun 16  2021 2021-1-C2-intro.mp4
-rw-r--r--   2 edrx edrx      37426620 Aug 19  2021 2021-1-C2-os-dois-TFCs.mp4
-rw-r--r--   2 edrx edrx       9584402 Aug 11  2021 2021-1-C2-propriedades-da-integral-2.mp4
-rw-r--r--   2 edrx edrx      11685079 Aug 12  2021 2021-1-C2-propriedades-da-integral-3.mp4
-rw-r--r--   2 edrx edrx      25407523 Aug 11  2021 2021-1-C2-propriedades-da-integral.mp4
-rw-r--r--   2 edrx edrx      30292734 Jun 30  2021 2021-1-C2-somas-1-dicas-2.mp4
-rw-r--r--   2 edrx edrx      28185599 Jun 30  2021 2021-1-C2-somas-1-dicas.mp4
-rw-r--r--   2 edrx edrx         31199 Mar  4  2023 2021-1-C2-somas-1-dicas.vtt
-rw-r--r--   2 edrx edrx      17547623 Jun 23  2021 2021-1-C2-somas-1.mp4
-rw-r--r--   2 edrx edrx      12179475 Jul  1  2021 2021-1-C2-somas-2.mp4
-rw-r--r--   2 edrx edrx      25118542 Jul 28  2021 2021-1-C2-somas-2b.mp4
-rw-r--r--   2 edrx edrx      13407469 Sep 10  2021 2021-1-C3-abertos-e-fechados-2.mp4
-rw-r--r--   2 edrx edrx      20856692 Sep  8  2021 2021-1-C3-abertos-e-fechados.mp4
-rw-r--r--   2 edrx edrx      21049289 Jul 16  2021 2021-1-C3-curvas-de-nivel-2.mp4
-rw-r--r--   2 edrx edrx      10334764 Jul 16  2021 2021-1-C3-curvas-de-nivel.mp4
-rw-r--r--   2 edrx edrx         10597 Feb 23  2023 2021-1-C3-curvas-de-nivel.vtt
-rw-r--r--   2 edrx edrx      10371589 Aug 11  2021 2021-1-C3-funcoes-quadraticas-2.mp4
-rw-r--r--   2 edrx edrx      25815338 Aug 13  2021 2021-1-C3-funcoes-quadraticas-3.mp4
-rw-r--r--   2 edrx edrx      37801185 Aug 20  2021 2021-1-C3-funcoes-quadraticas-4.mp4
-rw-r--r--   2 edrx edrx      13625852 Aug 20  2021 2021-1-C3-funcoes-quadraticas-5.mp4
-rw-r--r--   2 edrx edrx      18365935 Aug 20  2021 2021-1-C3-funcoes-quadraticas-6.mp4
-rw-r--r--   2 edrx edrx      20475636 Aug 11  2021 2021-1-C3-funcoes-quadraticas.mp4
-rw-r--r--   2 edrx edrx      14744224 Sep  3  2021 2021-1-C3-gradiente-2.mp4
-rw-r--r--   2 edrx edrx      13324448 Sep  3  2021 2021-1-C3-gradiente-3.mp4
-rw-r--r--   2 edrx edrx      24869336 Sep  1  2021 2021-1-C3-gradiente.mp4
-rw-r--r--   2 edrx edrx      19951803 Jun 16  2021 2021-1-C3-intro.mp4
-rw-r--r--   2 edrx edrx      19263884 Aug 27  2021 2021-1-C3-matriz-jacobiana-2.mp4
-rw-r--r--   2 edrx edrx      31006075 Aug 25  2021 2021-1-C3-matriz-jacobiana.mp4
-rw-r--r--   2 edrx edrx      21559675 Aug  4  2021 2021-1-C3-notacao-de-fisicos-2.mp4
-rw-r--r--   2 edrx edrx      19501199 Aug  6  2021 2021-1-C3-notacao-de-fisicos-s-esc.mp4
-rw-r--r--   2 edrx edrx      20465431 Aug  6  2021 2021-1-C3-notacao-de-fisicos-s-tr.mp4
-rw-r--r--   2 edrx edrx      25506890 Jul 30  2021 2021-1-C3-notacao-de-fisicos.mp4
-rw-r--r--   2 edrx edrx      20442184 Jul 21  2021 2021-1-C3-planos.mp4
-rw-r--r--   2 edrx edrx      19400567 Jul  7  2021 2021-1-C3-taylor-pa.mp4
-rw-r--r--   2 edrx edrx      14270146 Jun 30  2021 2021-1-C3-taylor.mp4
-rw-r--r--   2 edrx edrx      28247052 Jan  5  2022 2021-2-C2-TFC1.mp4
-rw-r--r--   2 edrx edrx      25272114 Dec 22  2021 2021-2-C2-def-integral.mp4
-rw-r--r--   2 edrx edrx      26726213 Jan 19  2022 2021-2-C2-int-subst-2.mp4
-rw-r--r--   2 edrx edrx      24067568 Jan 12  2022 2021-2-C2-int-subst.mp4
-rw-r--r--   2 edrx edrx      24796981 Oct 21  2021 2021-2-C2-intro-0.mp4
-rw-r--r--   2 edrx edrx      14332839 Jan 12  2022 2021-2-C3-MT2-2.mp4
-rw-r--r--   2 edrx edrx      24851742 Jan 14  2022 2021-2-C3-MT2-3.mp4
-rw-r--r--   2 edrx edrx       3816700 Jan 12  2022 2021-2-C3-MT2.mp4
-rw-r--r--   2 edrx edrx      25106518 Nov 10  2021 2021-2-C3-bezier.mp4
-rw-r--r--   2 edrx edrx      15332823 Jan 21  2022 2021-2-C3-taylor-2.mp4
-rw-r--r--   2 edrx edrx      28907273 Jan 19  2022 2021-2-C3-taylor.mp4
-rw-r--r--   2 edrx edrx      19727854 Dec 17  2021 2021-2-c3-cabos-na-diagonal.mp4
-rw-r--r--   2 edrx edrx         19577 Mar  1  2023 2021-2-c3-cabos-na-diagonal.vtt
-rw-r--r--   2 edrx edrx       1620009 Dec 17  2021 2021-2-c3-piramide-ruim.mp4
-rw-r--r--   2 edrx edrx      13471139 Oct  7  2021 2021-daniel-1.mp4
-rw-r--r--   2 edrx edrx      22833345 Oct  7  2021 2021-daniel-2.mp4
-rw-r--r--   2 edrx edrx      23405848 Oct  7  2021 2021-daniel-3.mp4
-rw-r--r--   2 edrx edrx      25663174 Oct 16  2021 2021-daniel-4.mp4
-rw-r--r--   2 edrx edrx     118566552 Dec 26  2021 2021-ffll.mp4
-rw-r--r--   2 edrx edrx      14633382 Dec 29  2021 2021-find-agdatype.mp4
-rw-r--r--   2 edrx edrx      18678018 May 15  2021 2021-hydra-bruno.mp4
-rw-r--r--   2 edrx edrx      20544875 Nov  5  2021 2021-oficina-1.mp4
-rw-r--r--   2 edrx edrx         20488 Mar  4  2024 2021-oficina-1.vtt
-rw-r--r--   2 edrx edrx      19211454 Nov  9  2021 2021-oficina-2.mp4
-rw-r--r--   2 edrx edrx      23610622 Dec 11  2021 2021-org-for-non-users.mp4
-rw-r--r--   2 edrx edrx         21385 Dec 19  2022 2021-org-for-non-users.vtt
-rw-r--r--   2 edrx edrx       7545297 Jan  5  2021 2021-ssr.mp4
-rw-r--r--   2 edrx edrx       7676018 Jan 23  2021 2021-test-blocks.mp4
-rw-r--r--   2 edrx edrx      29377302 May 12  2021 2021-video-links.mp4
-rw-r--r--   2 edrx edrx      18305353 Nov 29  2021 2021-workshop-0.mp4
-rw-r--r--   2 edrx edrx       3390726 Dec  1  2021 2021-workshop-1.mp4
-rw-r--r--   2 edrx edrx          3697 Dec 28  2022 2021-workshop-1.vtt
-rw-r--r--   2 edrx edrx       5423003 Dec  2  2021 2021-workshop-2.mp4
-rw-r--r--   2 edrx edrx          5363 Dec 29  2022 2021-workshop-2.vtt
-rw-r--r--   2 edrx edrx      29789624 Dec  3  2021 2021-workshop-3.mp4
-rw-r--r--   2 edrx edrx         22660 Jan  6  2023 2021-workshop-3.vtt
-rw-r--r--   2 edrx edrx       7740965 Dec  4  2021 2021-workshop-4.mp4
-rw-r--r--   2 edrx edrx          7753 Dec 29  2022 2021-workshop-4.vtt
-rw-r--r--   2 edrx edrx      13021903 Dec  4  2021 2021-workshop-5.mp4
-rw-r--r--   2 edrx edrx         12019 Jan  4  2023 2021-workshop-5.vtt
-rw-r--r--   2 edrx edrx      16354311 Dec  4  2021 2021-workshop-6.mp4
-rw-r--r--   2 edrx edrx         11989 Dec 30  2022 2021-workshop-6.vtt
-rw-r--r--   2 edrx edrx        200591 Sep 10  2021 20210910-tcl-tk-placer.mp4
-rw-r--r--   2 edrx edrx        492834 Dec  7  2021 2021dec07-org.mp4
-rw-r--r--   2 edrx edrx     151907886 Sep 21  2021 2021projeto-de-ensino.mp4
-rw-r--r--   2 edrx edrx       9755333 Jan  4  2022 2022-eev-make-0.mp4
-rw-r--r--   2 edrx edrx          7792 Dec 30  2022 2022-eev-make-0.vtt
-rw-r--r--   2 edrx edrx     159920701 Nov  6  2022 2022-eev-tikz.mp4
-rw-r--r--   2 edrx edrx        100355 Nov  9  2022 2022-eev-tikz.vtt
-rw-r--r--   2 edrx edrx      49519576 May  2  2022 2022-eev-wconfig-pt-1.mp4
-rw-r--r--   2 edrx edrx      84149102 May  3  2022 2022-eev-wconfig-pt-2.mp4
-rw-r--r--   2 edrx edrx     137990890 May 18  2022 2022-eev-wconfig.mp4
-rw-r--r--   2 edrx edrx         87292 Apr  1  2023 2022-eev-wconfig.vtt
-rw-r--r--   2 edrx edrx      28583430 Jan 15  2022 2022-find-eev-angg.mp4
-rw-r--r--   2 edrx edrx         21164 Jan  3  2023 2022-find-eev-angg.vtt
-rw-r--r--   2 edrx edrx      42646741 Jan 24  2022 2022-find-elisp-intro.mp4
-rw-r--r--   2 edrx edrx         25111 May 21  2023 2022-find-elisp-intro.vtt
-rw-r--r--   2 edrx edrx       5849086 Jan  9  2022 2022-maxima-string-problem.mp4
-rw-r--r--   2 edrx edrx      11318577 Apr 18  2022 2022-pict2e-0.mp4
-rw-r--r--   2 edrx edrx      14570953 Apr 19  2022 2022-pict2e-lua.mp4
-rw-r--r--   2 edrx edrx         11452 Apr 20  2022 2022-pict2e-lua.vtt
-rw-r--r--   2 edrx edrx      12380748 Jan 17  2022 2022-to-fermin-1.mp4
-rw-r--r--   2 edrx edrx      45676856 Oct 21  2022 2022-yttranscript.mp4
-rw-r--r--   2 edrx edrx         32901 Apr  6  2023 2022-yttranscript.vtt
-rw-r--r--   2 edrx edrx      34318050 Aug 20  2022 2022aug20-eev-rstdoc-versao-0.mp4
-rw-r--r--   2 edrx edrx        359398 Mar  2  2022 2022dragABC.mp4
-rw-r--r--   2 edrx edrx        312004 Apr  2  2022 2022eev-calc-0.mp4
-rw-r--r--   2 edrx edrx       3422672 Apr 10  2022 2022eev-conf-lucas.mp4
-rw-r--r--   2 edrx edrx        335934 Jan 19  2022 2022jan19-gradef.mp4
-rw-r--r--   2 edrx edrx     153305607 Jul 10  2022 2022jul10-apresentacao-C2.mp4
-rw-r--r--   2 edrx edrx        296665 Mar 10  2022 2022klas0.mp4
-rw-r--r--   2 edrx edrx         18326 Mar  7  2023 2023-caepro-VR.vtt
-rw-r--r--   2 edrx edrx      27566313 Mar  2  2023 2023-caepro-o-que-sobra.mp4
-rw-r--r--   2 edrx edrx         13309 Feb 12  2023 2023-caepro0.vtt
-rw-r--r--   2 edrx edrx       1199976 Jan  3  2023 2023-eev-rcd-tap-1.mp4
-rw-r--r--   2 edrx edrx         15944 Aug  3 22:22 2024-algumas-perguntas.vtt
-rw-r--r--   2 edrx edrx         38582 Jan  7  2024 2024-eev-git.vtt
-rw-r--r--   2 edrx edrx         16546 Jan 18  2024 2024-find-luaso-links.vtt
-rw-r--r--   2 edrx edrx         16856 Dec 18 18:57 2024-lean4-oficina-0-aula-2.vtt
-rw-r--r--   2 edrx edrx         55672 Jul 26 01:26 2024-lean4-oficina-0.vtt
-rw-r--r--   1 edrx edrx           975 Feb 21  2020 4-bare.el
-rw-r--r--   1 edrx edrx          1682 Dec 20 21:29 4-bare.el.html
-rw-r--r--   1 edrx edrx          1975 Feb 21  2020 4-eepitch
-rw-r--r--   1 edrx edrx          5625 Dec 20 21:29 4-eepitch.html
-rw-r--r--   1 edrx edrx           435 Feb 21  2020 4a-script
-rw-r--r--   1 edrx edrx          1760 Dec 20 21:29 4a-script.html
-rw-r--r--   1 edrx edrx          1514 Feb 21  2020 4b-explan-1
-rw-r--r--   1 edrx edrx          2027 Dec 20 21:29 4b-explan-1.html
-rw-r--r--   1 edrx edrx          1344 Feb 21  2020 4c-explan-2
-rw-r--r--   1 edrx edrx          1854 Dec 20 21:29 4c-explan-2.html
-rw-r--r--   1 edrx edrx          1493 Feb 21  2020 4d-explan-3
-rw-r--r--   1 edrx edrx          1994 Dec 20 21:29 4d-explan-3.html
-rw-r--r--   1 edrx edrx          1435 Feb 21  2020 4e-explan-4
-rw-r--r--   1 edrx edrx          1936 Dec 20 21:29 4e-explan-4.html
-rw-r--r--   2 edrx edrx      25928779 Oct  4  2020 M-x-list-packages-eev-nav.mp4
-rw-r--r--   2 edrx edrx      45444343 Aug 18  2019 Punch_and_Judy_Mark_Poulton-K6LmZ0A1s9U.mp4
-rw-r--r--   1 edrx edrx          4040 Feb 21  2020 README
-rw-r--r--   1 edrx edrx          6988 Dec 20 21:29 README.html
-rw-r--r--   2 edrx edrx      22891929 Apr  7  2020 como-usar-o-find-here-links-3.mp4
-rw-r--r--   2 edrx edrx     172170929 Apr 18  2020 dednat6-innards.mp4
-rw-r--r--   2 edrx edrx        402721 Jan 22  2021 dn6-trees.mp4
-rw-r--r--   2 edrx edrx      38586143 Nov 27  2020 eev2020part1.mp4
-rw-r--r--   2 edrx edrx      56725763 Dec  6  2020 emacsconf2019.mp4
-rw-r--r--   2 edrx edrx         25626 Jan  6  2023 emacsconf2019.vtt
-rw-r--r--   2 edrx edrx      77066965 Nov 28  2020 emacsconf2020.mp4
-rw-r--r--   2 edrx edrx         60349 Jan  8  2023 emacsconf2020.vtt
-rw-r--r--   2 edrx edrx      15527034 Nov 28  2021 emacsconf2021-dednat6.mp4
-rw-r--r--   2 edrx edrx         10638 Dec 28  2022 emacsconf2021-dednat6.vtt
-rw-r--r--   2 edrx edrx       8573890 Nov 21  2021 emacsconf2021.mp4
-rw-r--r--   2 edrx edrx          9570 Nov 21  2021 emacsconf2021.vtt
-rw-r--r--   2 edrx edrx      11507684 Dec  3  2022 emacsconf2022-kla.mp4
-rw-r--r--   2 edrx edrx         10661 Jan  1  2023 emacsconf2022-kla.vtt
-rw-r--r--   2 edrx edrx      26402136 Dec  4  2022 emacsconf2022-py.mp4
-rw-r--r--   2 edrx edrx         17653 Dec  5  2022 emacsconf2022-py.vtt
-rw-r--r--   2 edrx edrx         72086 Dec 16  2023 emacsconf2023-repls.vtt
-rw-r--r--   2 edrx edrx         41387 Dec  8 15:48 emacsconf2024.vtt
-rw-r--r--   2 edrx edrx         66565 Jan 15  2022 emlua-demo.mp4
-rw-r--r--   2 edrx edrx       5343780 May 15  2021 f9-video1.mp4
-rw-r--r--   2 edrx edrx       9315064 Jan 30  2021 linkstopdfs.mp4
-rw-r--r--   2 edrx edrx         39167 Apr  9  2023 mathologer-calculus-easy.pt-BR.vtt
-rw-r--r--   2 edrx edrx      33131354 Apr  8  2020 sobre-rodar-programas-em-terminais.mp4
-rw-r--r--   2 edrx edrx     120902870 Aug  9  2019 three-keys-1-pt.mp4
-rw-r--r--   2 edrx edrx     143512217 Aug 14  2019 three-keys-2.mp4
-rw-r--r--   2 edrx edrx       2406428 Oct  8  2016 video-eev-quick-0.mp4
-rwxr-xr-x   1 edrx edrx            83 Feb 21  2020 video-eev-quick-0.sh*
-rw-r--r--   1 edrx edrx           858 Dec 20 21:29 video-eev-quick-0.sh.html
-rw-r--r--   2 edrx www-data  93212837 Nov 11  2012 video2.mp4
-rw-r--r--   2 edrx www-data 128228339 Nov 16  2012 video2pt.mp4
-rw-r--r--   2 edrx www-data  14180610 Nov 18  2012 video3pt-eepitch-preliminar.mp4
-rw-r--r--   2 edrx www-data  39379156 Jan  6  2013 video4-eepitch.mp4
-rw-r--r--   2 edrx edrx        364602 Oct 18  2016 x11grab-problem-2016oct18.mp4