spacefrogg

Okay, I have figured out what piece of code introduces the wrongly encoded string. In [gpgme_n.c:916](https://github.com/ueno/ruby-gpgme/blob/master/ext/gpgme/gpgme_n.c#L916), the function `utf8_str_new` is called on the fields returned by gpgme. The fields should...

Does it need special care in the upper parts, then? How is ASCII-8BIT handled when used as a string? Broken characters should not lead to display errors, i.e. reinterpreted as...

I want to raise the following question / thought: This is a quite general approach. Can it be expected that all remote helpers can be called without any additional command-line...

cc @sertel

The default package output points to the Coq 8.19 Version, now.

The difference is from the user's side. Flakes are composable, which would make the metarocq git repo usable from other flakes. #1167 is the official way of Rocq to integrate...

As a quite comprehensive effort of packaging Factor for NixOS just landed in nixpkgs. I would like to point to the relevant build [script](https://github.com/NixOS/nixpkgs/blob/3f007172c94b977583b56f72518536319c3fde34/pkgs/development/compilers/factor-lang/unwrapped.nix), as it provides an accurate overview...

I am not empowered to change the initial description. So, I will comment on it below (I mean, who doesn't like some nice TOFU?): > There are several problems right...

I would like to keep this issue. It has some good reasoning laid out already, which I wouldn't like to hide by creating a separate one.

> * what does libgcrypt offer over libcrypto? Hyprlock currently uses neither and I have just picked one of the two. Libgcrypt is much smaller and simpler than libcrypto as...