gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
5ca451ec0ccc1af320403274b83f24c842e72f98
nixpkgs/pkgs/development/tools/analysis/frama-c
T
History
Vincent Laporte ed1c133972 framac: 28.1 (Nickel) → 29.0 (Copper)
2024-07-05 06:05:56 +02:00
..
default.nix
framac: 28.1 (Nickel) → 29.0 (Copper)
2024-07-05 06:05:56 +02:00