2021-09-07 03:06:22 UTC

2026-07-22 21:43:03 -04:00 · 2021-09-07 03:06:22 +00:00
parent 39e83a8ca3
commit d4063ec754
114 changed files with 1079 additions and 274 deletions
--- a/metadata/md5-cache/sci-mathematics/chaco-2.2-r1
+++ b/metadata/md5-cache/sci-mathematics/chaco-2.2-r1
@@ -8,4 +8,4 @@ LICENSE=LGPL-2.1
 SLOT=0
 SRC_URI=https://www3.cs.stonybrook.edu/~algorith/implement/chaco/distrib/Chaco-2.2.tar.gz
 _eclasses_=toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988
-_md5_=7ba02a3a7de7017d6bfd78c8ed1ec080
+_md5_=e8bc79e9cea31d0ad9a6efc07a6b89ff
--- a/metadata/md5-cache/sci-mathematics/frama-c-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure postinst prepare
+DEPEND=>=dev-lang/ocaml-4.08.1[ocamlopt?] >=dev-ml/ocamlgraph-1.8.5[gtk(-)?,ocamlopt?] >=dev-ml/zarith-1.5[ocamlopt?] >=dev-ml/yojson-1.4.1[ocamlopt?] gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] ) media-gfx/graphviz >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Framework for analysis of source codes written in C
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=gtk +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=BSD LGPL-2 LGPL-2.1
+RDEPEND=>=dev-lang/ocaml-4.08.1[ocamlopt?] >=dev-ml/ocamlgraph-1.8.5[gtk(-)?,ocamlopt?] >=dev-ml/zarith-1.5[ocamlopt?] >=dev-ml/yojson-1.4.1[ocamlopt?] gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] ) dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=b993de09f74aeddf8e48f120e05a3c57
--- a/metadata/md5-cache/sci-mathematics/frama-c-aorai-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-aorai-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] eva? ( ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ) >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Aorai (automaton annotations) plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=eva +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] eva? ( ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ) dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=60b1251e6322407c6b7c7dde00be725a
--- a/metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1
@@ -0,0 +1,17 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Callgraph plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=gtk +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+PDEPEND=~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?]
+RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=428e0b87d20def22403a07f64272de0f
--- a/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Constant folding plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=97d76aa4f0f7852afe6dfdbb5457b58a
--- a/metadata/md5-cache/sci-mathematics/frama-c-dive-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-dive-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-studia-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-server-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Dive plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-studia-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-server-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=82d6e787460611fef91424acf010dec8
--- a/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Runtime verification of ACSL (E-ACSL) plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=BSD LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=67536e9b0fb50d64662b6c556f4240eb
--- a/metadata/md5-cache/sci-mathematics/frama-c-eva-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-eva-23.1
@@ -0,0 +1,17 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-loopanalysis-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-server-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Value analysis (EVA) plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=gtk +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+PDEPEND=~sci-mathematics/frama-c-scope-23.1:=[ocamlopt?]
+RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-loopanalysis-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-server-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=a75e73766a56c4e44a381eaf75b1d383
--- a/metadata/md5-cache/sci-mathematics/frama-c-from-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-from-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-postdominators-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=From analysis plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=gtk +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-postdominators-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=6e257118de2ad0b6968221adc251cc37
--- a/metadata/md5-cache/sci-mathematics/frama-c-impact-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-impact-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-23.1:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Impact plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=gtk +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-23.1:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=32c7189af8970380f9ef4b69c3e83c84
--- a/metadata/md5-cache/sci-mathematics/frama-c-inout-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-inout-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-from-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=In/out analysis plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-from-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=9a50accf45b0d9aa73c0f90e24a378c0
--- a/metadata/md5-cache/sci-mathematics/frama-c-instantiate-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-instantiate-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Instantiate analysis plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=3edd9bdef9f980d1bf228af3d1024c06
--- a/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Loop analysis plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=d8ff826dea2efcd7fad8d248f307cdbf
--- a/metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Metrics plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=gtk +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=2cc6c374142b23fb46f77f740a131105
--- a/metadata/md5-cache/sci-mathematics/frama-c-nonterm-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-nonterm-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Nonterm plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=e56b71fc50df6ec67926929a0fba0bd1
--- a/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Obfuscator plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=6bdcaf3558b02edc9bca20122b38f475
--- a/metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Occurrence analysis plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=gtk +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=4e96759ebb95b242d1e4139fc3c52a27
--- a/metadata/md5-cache/sci-mathematics/frama-c-pdg-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-pdg-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-from-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Program dependence graph plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-from-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=6955ff4ef3e7f40ffcecf4b293372243
--- a/metadata/md5-cache/sci-mathematics/frama-c-postdominators-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-postdominators-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Postdominators plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=4541ef30755f0ab18e6e1e119debec27
--- a/metadata/md5-cache/sci-mathematics/frama-c-printapi-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-printapi-23.1
@@ -0,0 +1,15 @@
+DEFINED_PHASES=compile install
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Plugin generating .mli interface files for plugin APIs for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=findlib	1470b3b78030acb2c8fcd04414f4c611	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988
+_md5_=657dbd0486b86de096e6d30efcc9bf27
--- a/metadata/md5-cache/sci-mathematics/frama-c-qed-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-qed-23.1
@@ -0,0 +1,15 @@
+DEFINED_PHASES=compile install
+DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Qed plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=findlib toolchain-funcs
+IUSE=gtk +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=findlib	1470b3b78030acb2c8fcd04414f4c611	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988
+_md5_=7d38803ae4242911f8bd27fd702b4e6b
--- a/metadata/md5-cache/sci-mathematics/frama-c-report-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-report-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Report plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=d9fd3400bb509f4d54d60b904f548d04
--- a/metadata/md5-cache/sci-mathematics/frama-c-rtegen-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-rtegen-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Runtime error annotation (RTE) generation plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=ea8b0443ecaf240b212718545853a9f7
--- a/metadata/md5-cache/sci-mathematics/frama-c-scope-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-scope-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Scope plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=gtk +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=a3e26b9566b925cccfb64e3f8f88d240
--- a/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-23.1:=[gtk,ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Security slicing plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-23.1:=[gtk,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=c420213b9b3bf91b6313b7988a381d08
--- a/metadata/md5-cache/sci-mathematics/frama-c-server-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-server-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Server plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=56cde4c39e4cd88d081616c51990cd39
--- a/metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-sparecode-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Slicing plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=gtk +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-sparecode-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=461e261dc86557bd494e6e8e7cea354f
--- a/metadata/md5-cache/sci-mathematics/frama-c-sparecode-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-sparecode-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-users-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Spare code plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-users-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=488b2a02fe6104bea2ba5372d014c45f
--- a/metadata/md5-cache/sci-mathematics/frama-c-studia-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-studia-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Studia plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=gtk +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=d8aeb4b56ca7d45ddbae600e0a6b9168
--- a/metadata/md5-cache/sci-mathematics/frama-c-users-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-users-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Users plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=5dccede47525733d3ebe4e5ec246ae58
--- a/metadata/md5-cache/sci-mathematics/frama-c-variadic-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-variadic-23.1
@@ -0,0 +1,16 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Variadic function transformation plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=+ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=b8e33758717b3ee45034b4390fa22945
--- a/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1
@@ -0,0 +1,16 @@
+BDEPEND=coq? ( >=sci-mathematics/coq-8.12.0 <sci-mathematics/coq-8.13.0 ) sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
+DEFINED_PHASES=compile configure install prepare
+DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 >=dev-ml/findlib-1.0.4-r1
+DESCRIPTION=Deductive proof of ACSL contracts (WP) plugin for frama-c
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools findlib toolchain-funcs
+IUSE=coq gtk +ocamlopt ocamlopt
+KEYWORDS=~amd64
+LICENSE=LGPL-2.1
+RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
+_md5_=97eb54760cb787cb1df1db59d273381d
--- a/metadata/md5-cache/sci-mathematics/the-omega-project-2.1_p20131119
+++ b/metadata/md5-cache/sci-mathematics/the-omega-project-2.1_p20131119
@@ -12,4 +12,4 @@ RDEPEND=petit? ( gui? ( x11-libs/motif ) )
 SLOT=0
 SRC_URI=https://github.com/davewathaverford/the-omega-project/archive/2e2890cacc1fe6e25f11255aecda063717f71f5b.tar.gz -> the-omega-project-2.1_p20131119.tar.gz
 _eclasses_=toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	flag-o-matic	4134b5c0fb719b9161d10bdaba9e09e5
-_md5_=b09d8302b38ea134c639e87fb54d2665
+_md5_=dbc986357c51118ca1688d20beee6569
--- a/metadata/md5-cache/sci-mathematics/why3-1.3.3
+++ b/metadata/md5-cache/sci-mathematics/why3-1.3.3
@@ -12,4 +12,4 @@ RDEPEND=>=dev-lang/ocaml-4.05.0[ocamlopt?] >=dev-ml/menhir-20151112 dev-ml/num c
 SLOT=0
 SRC_URI=https://gforge.inria.fr/frs/download.php/file/38367/why3-1.3.3.tar.gz
 _eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
-_md5_=57bfae9be2fd0a419bd5130a4d40bad4
+_md5_=a8de8a79d611881c226f79280b4ff39e
--- a/metadata/md5-cache/sci-mathematics/why3-1.4.0
+++ b/metadata/md5-cache/sci-mathematics/why3-1.4.0
@@ -12,4 +12,4 @@ RDEPEND=>=dev-lang/ocaml-4.05.0[ocamlopt?] >=dev-ml/menhir-20151112 dev-ml/num c
 SLOT=0
 SRC_URI=https://gforge.inria.fr/frs/download.php/file/38425/why3-1.4.0.tar.gz
 _eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	9ea1c67b6f8315fdc2568abb674519aa	multilib	4b66d835ec72e021e359bb81eacfe988	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c7052b276346587968d52ea8eaf5aca1	findlib	1470b3b78030acb2c8fcd04414f4c611
-_md5_=700d894dda0fd3b47a6542fd4463ee15
+_md5_=0684f772c2627aeb9bb807d78bd4e313