pkgs/development/rocq-modules/bignums · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development rocq-modules bignums

1 file

at devShellTools-shell

Pierre Roux · rocq-core_9_1: init at 9.1+rc1 · 1y ago

rocq-core_9_1: init at 9.1+rc1