nixsearch
nixsearch / pkg / framac

framac

Extensible and collaborative platform dedicated to source-code analysis of C software
LGPL-2.1 frama-c.com framac 16 releases newest changed
framac@ latest, 3.11, ^3.11, >=3.10 <3.12
version31.0 attributeframac revd99b013d5d1931ad77fe3912ed218170dec5d9a4 · one commit for every system systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add framac@31.0
$ nix shell github:NixOS/nixpkgs/d99b013d5d1931ad77fe3912ed218170dec5d9a4#framac

JSON: /v2/resolve?name=framac&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac
arm
linux
x86
mac
x86
linux
AttributeCommitDateOutputs
31.0resolved ✓✓✓✓ framac d99b013d5d
30.0 ✓✓✓✓ framac a421ac6595
29.0 ✓✓✓✓ framac varies
28.1 ✓✓✓✓ framac varies
28.0 ✓✓✓✓ framac a343533bcc
27.1 ✓✓✓✓ framac 09dc04054b
26.1 ✓✓✓✓ framac db8672b8d0
25.0 ✓✓✓✓ framac 84e33aea0f
24.0 ✓✓✓✓ framac 3137fb373e
23.1 ✓–✓✓ framac 2df15ba83d
23.0 ––✓✓ framac 9aec01027f
23.0-rc1pre ––✓✓ framac fb45fa64ae
22.0 ––✓✓ framac 9dde08d104
21.1 –––✓ framac 4f165c6d7d
21.0 –––✓ framac 55668eb671
20.0 –––✓ framac e912fb83d2

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.