nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-31 20:54:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,058,971 Commits 458 Branches 81 Tags
python-updates
Commit Graph

3 Commits

Author SHA1 Message Date
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
Vincent Laporte
0aa5b5046e ocamlPackages.frama-c: small fixes 2026-01-15 08:42:18 +01:00
redianthus
5b57a7da12 ocamlPackages.frama-c: init at 31.0 2025-12-11 16:13:21 +01:00