Vincent Laporte 181a9fe1ea easycrypt: fix runtest command ... The `ec-runtest` program is still available as a separate easycrypt-runtest package, but the `easycrypt runtest` command now also works out-of-the-box.		2023-11-20 09:04:33 +01:00
..
default.nix
runtest.nix