[elpa] externals/eev 55f2548e3f: Added a video: "2024lean4of0"."

[ELPA Syncer]

branch: externals/eev
commit 55f2548e3fdaec9977c7b58f4502979787030cec
Author: Eduardo Ochs <eduardoochs@gmail.com>
Commit: Eduardo Ochs <eduardoochs@gmail.com>

    Added a video: "2024lean4of0"."
---
 ChangeLog         |  7 +++++++
 VERSION           |  4 ++--
 eev-tlinks.el     |  4 ++--
 eev-videolinks.el | 18 +++++++++++++++++-
 eev.el            |  2 +-
 5 files changed, 29 insertions(+), 6 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 2dae2bdf90..4f27c110e5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2024-07-26  Eduardo Ochs  <eduardoochs@gmail.com>
+
+       * eev.el: bumped the version.
+
+       * eev-videolinks.el (ee-1stclassvideos-info): new video:
+       "2024lean4of0".
+
 2024-07-25  Eduardo Ochs  <eduardoochs@gmail.com>
 
        * eev-blinks.el (ee-symbol-function): added a test for (fboundp
diff --git a/VERSION b/VERSION
index 99208d2f90..ccac3183e0 100644
--- a/VERSION
+++ b/VERSION
@@ -1,2 +1,2 @@
-Fri Jul 26 02:41:47 GMT 2024
-Thu Jul 25 23:41:47 -03 2024
+Fri Jul 26 05:30:34 GMT 2024
+Fri Jul 26 02:30:34 -03 2024
diff --git a/eev-tlinks.el b/eev-tlinks.el
index 67d6809b7a..92d4d3108f 100644
--- a/eev-tlinks.el
+++ b/eev-tlinks.el
@@ -3259,10 +3259,10 @@ call BINARY instead of \"google-chrome\"."
 ;;   (find-dot-emacs-intro)
 ;; and run:
 ;;   
-;; (ee-copy-rest-3 nil \";;--end\" \"~/.emacs\")
+;;   (ee-copy-rest-3 nil \";;--end\" \"~/.emacs\")
 ;; From: (find-newbrowser2-links \"{binary}\")
+;; Test: (find-googlechrome \"https://www.lua.org/\";)
 (defun find-googlechrome (url) (find-bgprocess `(\"{binary}\" ,url)))
-(find-googlechrome \"https://www.lua.org/\";)
 ;;--end
 ")
      )
diff --git a/eev-videolinks.el b/eev-videolinks.el
index 77b4936ec7..719703e940 100644
--- a/eev-videolinks.el
+++ b/eev-videolinks.el
@@ -19,7 +19,7 @@
 ;;
 ;; Author:     Eduardo Ochs <eduardoochs@gmail.com>
 ;; Maintainer: Eduardo Ochs <eduardoochs@gmail.com>
-;; Version:    20240715
+;; Version:    20240726
 ;; Keywords:   e-scripts
 ;;
 ;; Latest version: <http://anggtwu.net/eev-current/eev-videolinks.el>
@@ -74,6 +74,7 @@
 ;;   «.eev2023replsb»                  (to "eev2023replsb")
 ;;   «.2024git»                                (to "2024git")
 ;;   «.2024luaso»                      (to "2024luaso")
+;;   «.2024lean4of0»                   (to "2024lean4of0")
 ;;   «.2024algpergs»                   (to "2024algpergs")
 ;; «.ee-1stclassvideos-field»          (to "ee-1stclassvideos-field")
 ;; «.second-class-videos»              (to "second-class-videos")
@@ -829,6 +830,21 @@ of the videos and play them with mpv. Compare with
      :subs    ".vtt"
      :comment "See: (find-lua-tutorial-intro)")
     ;;
+    ;; «2024lean4of0»  (to ".2024lean4of0")
+    ;; Play: (find-2024lean4of0video "0:00")
+    ;; Index: (find-1stclassvideoindex "2024lean4of0")
+    ("2024lean4of0"
+     :title "Oficina de Lean4 - versão 0"
+     :mp4   "http://anggtwu.net/eev-videos/2024-lean4-oficina-0.mp4";
+     :yt    "http://www.youtube.com/watch?v=vBkxGIrv2Q0";
+     :page  "http://anggtwu.net/2024-lean4-oficina-0.html";
+     :hsubs "http://anggtwu.net/2024-lean4-oficina-0.html#00:00";
+     :lang  "portuguese"
+     :date    "2024jul04"
+     :length  "37:20"
+     :subs    ".vtt"
+     :comment "A video in Portuguese about a workshop on Lean4.")
+    ;;
     ;; «2024algpergs»  (to ".2024algpergs")
     ;; Play: (find-2024algpergsvideo "0:00")
     ;; Index: (find-1stclassvideoindex "2024algpergs")
diff --git a/eev.el b/eev.el
index f5e7abf343..4349bd9b51 100644
--- a/eev.el
+++ b/eev.el
@@ -6,7 +6,7 @@
 ;; Package-Requires: ((emacs "25.1"))
 ;; Keywords: lisp e-scripts
 ;; URL: http://anggtwu.net/#eev
-;; Version: 20240718
+;; Version: 20240726
 
 ;; This program is free software; you can redistribute it and/or modify
 ;; it under the terms of the GNU General Public License as published by