Darren Li
Darren Li
Closing this as the mentioned fix has been pushed to Timedesc 0.9.1 and seems to side step the issue.
I haven't done any proper testing to compare between versions etc, but I've found in my regular use now the issue doesn't seem to pop up.
I think that sounds about right, unless @Etienne-TR has bumped into the issue recently? Either way, thank you very much for your work! I came back to Zettlr after fumbling...
@WhyNotHugo Thanks! This is massively helpful! Could I ask how do you infer what parameters to provide to `xdg-dbus-proxy` though? Do you do it via the `--log` option in `xdg-dbus-proxy`?...
Which version of ocaml are you using?
Sorry I'm busy with my new project which is part of my PhD thesis. What are you using ProVerif-ATP for? And how urgent do you need it working? It is...
It used to be buildable at the time, but I haven't updated this project for a few years, and in general I've moved off from proverif for now. I'll revisit...
Heard about this issue from Discord and made some comments over there, thought I'd copy the gist of my observation over here. My speculation is that line 6 `let offset...
My above observation as it turns out was somewhat getting close, but not entirely correct. I made some code to test if any of the time zones observe changed "base"...
A small update: I've patched ISO8601 to use Timere on my fork at `try-timere` branch https://github.com/darrenldl/ISO8601.ml/tree/try-timere , and it passes all 57 tests. Timere does bring in a lot more...