Sean Leather

I think that the algorithm I suggested in https://github.com/alexcrichton/cmake-rs/issues/79#issuecomment-494676960 is a reasonable and simple change that would handle the corner cases mentioned by @brson, but I'm not sure if it's...

Thanks for doing that!

I'm opening this issue again as a reminder to link to that repository for others to find it.

I would prefer to have more fine-grained control over my output. (Considering how broad the formats and uses of “CSV” are, I can imagine others would find that useful, too.)...

These are the CI logs: * 253: https://github.com/terminusdb/terminusdb/runs/6827049706 * 254: https://github.com/terminusdb/terminusdb/runs/6840565238 * 258: https://github.com/terminusdb/terminusdb/runs/6892589239

We're installing on Ubuntu 20.04.4 from the PPA: ```sh sudo apt-add-repository ppa:swi-prolog/devel sudo apt-get update sudo apt-get install swi-prolog ```

I don't know what sort of timeline we're talking about, but I just wanted to add that the TerminusDB tests were failing due to other problems before 8.5.12, so we...

I was just trying out TruFont and ran into the issue posted at the top. And, indeed, changing `QFileDialog.ExistingFile` to `QFileDialog.AnyFile` in my virtual environment's `lib/python3.8/site-packages/trufont/objects/application.py` allowed me to open...

FYI, for Lean 3.4.1, “[o]nly major bugs (e.g., soundness) will be fixed for this code base from now on” (e181232c8ffd2bc2ba1b2f9799f8ac0ea0e4e505), so I don't know if this change will be made....

I've seen other projects statically link `libgmp` in the binary. (GHC comes to mind.) An alternative that I would favor is making Homebrew the standard way of distributing Lean on...