Skip to content
GitLab
Explore
Sign in
Stefan Gränitz
Frama Clang
Repository
frama-clang
nix
default.nix
Find file
Blame
History
Permalink
[ci] fixes version of camlp5 for CI
· 5d663fa3
Virgile Prevosto
authored
Feb 17, 2021
and
Virgile Prevosto
committed
Jul 06, 2021
Newer version does not compile on nix because of a missing dependency.
5d663fa3