dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
98f34cd01c
nixpkgs/pkgs/development/tools/analysis/frama-c
History
Vincent Laporte a2b78690c3 framac: 27.1 (Cobalt) → 28.0 (Nickel)
2023-12-13 06:09:58 +01:00
..
default.nix framac: 27.1 (Cobalt) → 28.0 (Nickel) 2023-12-13 06:09:58 +01:00