nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-02 04:50:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
python-updates
nixpkgs/pkgs/development/ocaml-modules/frama-c/default.nix
Lucas Ransan 13517922bd frama-c: rename from framac, 31.0 -> 32.1 
Co-authored-by: redianthus <l@ndrs.fr>
2026-05-19 10:06:33 +02:00

681 B
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink