6 search results for "author:"Julien Signoles""
-
3.0.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 24 other packages12 Oct 2022
-
Platform dedicated to the analysis of source code written in C27.0~betaLGPL-2.1-onlyUsed by 3 other packages17 May 2023
-
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018
-
This package contains the Frama-C's E-ACSL plug-in.0.5LGPL-2.1-onlyUsed by 0 other packages28 Jul 2015
-
A generic graph library for OCaml2.0.0LGPL-2.1-onlyUsed by 45 other packages08 Oct 2020
-
Displaying graphs using OCamlGraph and GTK2.0.0LGPL-2.1-onlyUsed by 1 other packages08 Oct 2020