mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-30 09:33:41 +00:00
4a87fcbc86
easycrypt: fix build with why3-1.5.0 frama-c: build with why3 1.4.1 |
||
---|---|---|
.. | ||
default.nix |