also install stdlib

.gitlab-ci.yml

Makefile

case_studies/dune-project

coq-caesium-config-no-align.opam

dune

flake.nix

rr_frontend/translation/src/lib.rs

...rontend/translation/src/spec_parsers/crate_attr_parser.rs

scripts/install-stdlib.sh

scripts/install-typesystem.sh

stdlib/Makefile

stdlib/alloc/src/lib.rs

stdlib/dune

stdlib/dune-project

stdlib/option/src/lib.rs

stdlib/refinedrust-stdlib.opam

stdlib/result/src/lib.rs

stdlib/result/theories/dune

stdlib/spin/src/lib.rs

stdlib/spin/theories/once/dune