nix/frama-ci.nix · 5d663fa3ed4e77b558a604d5c2b23ea1306598e6 · Stefan Gränitz / Frama Clang · GitLab

Find file Blame History Permalink

[ci] fixes version of camlp5 for CI · 5d663fa3
Virgile Prevosto authored Feb 17, 2021
```
Newer version does not compile on nix because of a missing dependency.
```
5d663fa3