coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/ci/nix/lambda-rust.nix

February 2019

Maxime Dénès
Merge PR #9465: [Nix-CI] Add iris and lambda-rust
committed
Vincent Laporte
[Nix-CI] Add lambda-rust
committed