8 commits

Author	SHA1	Message	Date
Matthew Maurer	af33b23de3	frama-c: Aluminum -> Silicon ... Upgrade required to work with new ocamlgraph	2017-03-28 19:14:08 +00:00
Florent Becker	9d57f1ae9a	frama-c: fix compilation with ocaml 4.02+	2017-02-19 13:05:47 +01:00
Vincent Laporte	939e2d702f	frama-c: link to the apron library	2017-01-14 09:34:34 +00:00
Vincent Laporte	19eba38b6c	frama-c: Sodium -> Aluminium	2016-09-30 17:49:16 +02:00
Vincent Laporte	2583b22573	frama-c: fix hash, closes #8308	2015-06-18 11:47:34 +02:00
Vincent Laporte	67529e7a08	frama-c: update from Neon to Sodium	2015-05-05 19:59:54 +02:00
Vincent Laporte	fbbd88017f	zarith: propagate build input gmp	2014-11-07 09:50:39 +00:00
Austin Seipp	f21d619558	nixpkgs: move frama-c to a more appropriate directory ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-05-01 19:14:08 -05:00

Renamed from pkgs/development/tools/misc/frama-c/default.nix (Browse further)