Columbus240
Columbus240
Without a change to the ebuild, vimb v2.12 can be made available by copying the ebuild.
I'm trying to use xargo on Gentoo. Because rustup isn't available, I installed the rust source code with the package manager. It doesn't place the source where xargo expects it...
In my _CoqProject I have the line ``` -arg -set -arg "'Default Goal Selector=!'" ``` because this way I managed to convince the other Coq tools (coq_makefile, coqc, etc) that...
A feature I miss in vimb is some way to group bookmarks together, list available groups, list the members of a group and on the way choose a bookmark to...
Currently, one `RiscvMachine` only runs one hart (RISC-V compatible hardware thread), but implementations of the RISC-V spec may support multiple harts. The interactions between harts and the restrictions on these...
For some reason `derive.induction` fails without explicit error message. Though I think a suitable induction principle should be derivable. This is the large example I mentioned on Zulip, reduced by...
Would be a natural extension (from the user’s POV) to the current functionality. Though it probably is a big project.
The documentation does not say, where the cache files are stored. From current [src/platform.rs](https://github.com/fornwall/rust-script/tree/58b63688e6f04aea10b1343b7b76d2bf916fbc28/src/platform.rs#L33C9-L33C26) I see, that [`dirs::cache_dir`](https://docs.rs/dirs/latest/dirs/fn.cache_dir.html) is used for that, which specifies the location. It would have been...
By inserting `Set Printing Universes. About Sets.` on line 86 of `Instance/Sets.v` one can check, that according to Coq the universes `o, h, sh, p` in the definition of `Sets`...
The previous commit wasn’t quite finished. I believe this patch fixes the PaX flags for the older minetest versions, without having it checked myself. But I would be surprised if...