File TeXmacs of Package notes
=> https://github.com/texmacs/texmacs/pull/77 date+time from `date` --- old /usr/libexec/TeXmacs/bin/texmacs.bin (objdump) +++ new /usr/libexec/TeXmacs/bin/texmacs.bin (objdump) @@ -767441,8 +767441,8 @@ bb70a0 73696f6e 20203a20 00202042 75696c74 sion : . Built bb70b0 20627920 20202020 20202020 3a200061 by : .a bb70c0 6275696c 64002020 4275696c 64696e67 build. Building - bb70d0 20646174 65202020 203a2000 54687520 date : .Thu - bb70e0 4a756e20 32372031 343a3431 3a313120 Jun 27 14:41:11 + bb70d0 20646174 65202020 203a2000 53756e20 date : .Sun + bb70e0 4a756e20 33302030 313a3331 3a303720 Jun 30 01:31:07 bb70f0 55544320 32303234 0020204f 70657261 UTC 2024. Opera bb7100 74696e67 20737973 74656d20 3a20006c ting system : .l from src/Texmacs/Server/tm_debug.cpp BUILD_DATE from src/System/tm_configure.in:#define BUILD_DATE "@CONFIG_DATE@" from configure: CONFIG_DATE="`date`" + misc/m4/tm_platform.m4: CONFIG_DATE="`date`"