dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
6d4d3ccc25
nixpkgs/pkgs/development/tools/analysis/frama-c
History
Weijia Wang a296146f80 framac: fix build
2023-05-11 12:30:10 +03:00
..
default.nix framac: fix build 2023-05-11 12:30:10 +03:00