2022-01-14 23:36:40 UTC

2026-07-19 03:53:22 -04:00 · 2022-01-14 23:36:41 +00:00
parent 6b6645fc73
commit 6d69f0ed97
38 changed files with 567 additions and 41 deletions
--- a/metadata/md5-cache/app-misc/macchina-6.0.5
+++ b/metadata/md5-cache/app-misc/macchina-6.0.5
--- a/metadata/md5-cache/app-misc/tealdeer-1.5.0
+++ b/metadata/md5-cache/app-misc/tealdeer-1.5.0
--- a/metadata/md5-cache/media-sound/noson-app-4.5.2
+++ b/metadata/md5-cache/media-sound/noson-app-4.5.2
@@ -9,6 +9,6 @@ KEYWORDS=~amd64 ~x86
 LICENSE=GPL-3
 RDEPEND=>=dev-qt/qtcore-5.9 >=dev-qt/qtdbus-5.9 >=dev-qt/qtnetwork-5.9 >=dev-qt/qttranslations-5.9 >=dev-qt/qtgui-5.9 >=dev-qt/qtquickcontrols2-5.9 >=dev-qt/qtsvg-5.9 dev-libs/openssl:0 media-libs/flac media-sound/pulseaudio
 SLOT=0
-SRC_URI=https://github.com/janbar/noson-app/archive/4.5.1.tar.gz -> noson-app-4.5.1.tar.gz
+SRC_URI=https://github.com/janbar/noson-app/archive/4.5.2.tar.gz -> noson-app-4.5.2.tar.gz
 _eclasses_=xdg-utils	4f29a8b760a594a212abe9c2ba957c31	xdg	6024fbc93167fad782e2032933654857	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	edos2unix	33e347e171066657f91f8b0c72ec8773	strip-linguas	ac3ee41ee2d31d8c41a77c0838320cc7	wrapper	4251d4c84c25f59094fd557e0063a974	eutils	dab5d8ec471d025b79c9e6906bcf3bff	flag-o-matic	d5e1306543bc457213f68bb18f830d14	multiprocessing	61c959fc55c15c00bbb1079d6a71370b	ninja-utils	a4dab848a4490e8e48cf0baab3e61bc2	cmake	11fee991ab428a3370e5c20fa8231fb6
 _md5_=42107c500cc9c002540c5bc8e7ca6347
--- a/metadata/md5-cache/net-voip/discover-overlay-0.4.0
+++ b/metadata/md5-cache/net-voip/discover-overlay-0.4.0
@@ -0,0 +1,15 @@
+BDEPEND=python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) >=dev-python/setuptools-42.0.2[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?]
+DEFINED_PHASES=compile configure install prepare test
+DESCRIPTION=Yet another Discord overlay for Linux written in Python using GTK3
+EAPI=8
+HOMEPAGE=https://github.com/trigg/Discover
+INHERIT=distutils-r1
+IUSE=python_targets_python3_8 python_targets_python3_9 python_targets_python3_10
+KEYWORDS=~amd64
+LICENSE=GPL-3
+RDEPEND=>=dev-python/pygobject-3.22[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/websocket-client[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pyxdg[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/requests[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] >=dev-python/python-pidfile-3.0.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pillow[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/python-xlib[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 )
+REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 )
+SLOT=0
+SRC_URI=mirror://pypi/d/discover-overlay/discover-overlay-0.4.0.tar.gz
+_eclasses_=multiprocessing	61c959fc55c15c00bbb1079d6a71370b	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	multibuild	05a584848db4901c97fcd94ae7cc3a97	python-utils-r1	7ec9eb6bbbeccd424c0430368962d272	python-r1	4c008ab1e6c02cbead059dfe8b864c26	distutils-r1	f57fddd704fa9e86e732403aaa7ab164
+_md5_=96f9de5c630972b43973dcff58004424
--- a/metadata/md5-cache/sci-mathematics/frama-c-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-24.0
@@ -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.8[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
+DESCRIPTION=Framework for analysis of source codes written in C
+EAPI=7
+HOMEPAGE=https://frama-c.com
+INHERIT=autotools toolchain-funcs
+IUSE=gtk +ocamlopt
+KEYWORDS=~amd64
+LICENSE=BSD LGPL-2 LGPL-2.1
+RDEPEND=>=dev-lang/ocaml-4.08.1[ocamlopt?] >=dev-ml/ocamlgraph-1.8.8[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?] )
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf
+_md5_=f5c89d624460284b8aa6f7e729191113
--- a/metadata/md5-cache/sci-mathematics/frama-c-aorai-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-aorai-24.0
@@ -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-24.0:=[ocamlopt?] eva? ( ~sci-mathematics/frama-c-eva-24.0:=[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-24.0:=[ocamlopt?] eva? ( ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ) dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=7fa41ef87050bffd59d89b62bf989fde
--- a/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0
@@ -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-24.0:=[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-24.0:=[ocamlopt?]
+RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=755c50f31fc53e95fa0513bd7a698119
--- a/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-24.0
@@ -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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=9dedafbdf10127892f0ea6711ebe9e97
--- a/metadata/md5-cache/sci-mathematics/frama-c-dive-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-dive-24.0
@@ -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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-studia-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-server-24.0:=[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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-studia-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-server-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=e80c1e038c7cfcc33dfbcab484082def
--- a/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-24.0
@@ -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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=d40816a2ad82878feff86082c24821dc
--- a/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0
@@ -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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-loopanalysis-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-server-24.0:=[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-24.0:=[ocamlopt?]
+RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-loopanalysis-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-server-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=89cc502e094992cf5d325fdf8220fe16
--- a/metadata/md5-cache/sci-mathematics/frama-c-from-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-from-24.0
@@ -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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-postdominators-24.0:=[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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-postdominators-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=f767ec28128d3533df37c04412bbb994
--- a/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0
@@ -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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-24.0:=[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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-24.0:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=b1e2e92fd1eb7052474e4838c44870ef
--- a/metadata/md5-cache/sci-mathematics/frama-c-inout-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-inout-24.0
@@ -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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-from-24.0:=[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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-from-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=2299a5e7515a66156a49ddf6a2469466
--- a/metadata/md5-cache/sci-mathematics/frama-c-instantiate-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-instantiate-24.0
@@ -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-24.0:=[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-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=94611d89934f45b08e938b4fb377c203
--- a/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-24.0
@@ -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-24.0:=[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-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=abc760813fa689b50ed538f21a69a3f6
--- a/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0
@@ -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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=fa91f70d6ea0636aab3bccfab6fd1887
--- a/metadata/md5-cache/sci-mathematics/frama-c-nonterm-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-nonterm-24.0
@@ -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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=5ca966bc7e3a2f7ba4a98f14477a9392
--- a/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-24.0
@@ -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-24.0:=[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-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=e4e3cabcf20de8198dbf0f9d0c53cb5b
--- a/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0
@@ -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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=13b9f33b079600776285a44deecb6c65
--- a/metadata/md5-cache/sci-mathematics/frama-c-pdg-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-pdg-24.0
@@ -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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-from-24.0:=[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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-from-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=fc51cc62af4dbab1d63e29a57df19824
--- a/metadata/md5-cache/sci-mathematics/frama-c-postdominators-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-postdominators-24.0
@@ -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-24.0:=[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-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=4aab26253bedf961f9c057d1d0e45964
--- a/metadata/md5-cache/sci-mathematics/frama-c-printapi-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-printapi-24.0
@@ -0,0 +1,15 @@
+DEFINED_PHASES=compile install
+DEPEND=~sci-mathematics/frama-c-24.0:=[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-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=findlib	e6df6108c2d753998b1206f4d5ea4a2d	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784
+_md5_=27e5049e26dc2664f2d29ddc8fc32e5a
--- a/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0
@@ -0,0 +1,15 @@
+DEFINED_PHASES=compile install
+DEPEND=~sci-mathematics/frama-c-24.0:=[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-24.0:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=findlib	e6df6108c2d753998b1206f4d5ea4a2d	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784
+_md5_=c01a57f3e70a4e1e2c96eab32c0e26aa
--- a/metadata/md5-cache/sci-mathematics/frama-c-report-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-report-24.0
@@ -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-24.0:=[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-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=31cae3780402b7f2262b1d942728f426
--- a/metadata/md5-cache/sci-mathematics/frama-c-rtegen-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-rtegen-24.0
@@ -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-24.0:=[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-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=30c4b3888bc6dfbe06e870c62a510719
--- a/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0
@@ -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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-24.0:=[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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=e6d3f7d456ee0012869e11a820c24306
--- a/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-24.0
@@ -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-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-24.0:=[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-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-24.0:=[gtk,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=b28ac4c9f2b5b2b77969219d1c5118da
--- a/metadata/md5-cache/sci-mathematics/frama-c-server-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-server-24.0
@@ -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-24.0:=[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-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=5eca3d9d18255fb05b3f2e90a3af29fa
--- a/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0
@@ -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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-sparecode-24.0:=[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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-sparecode-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=a7ed4fe47cfe6dabc3bbdc0f38a94ead
--- a/metadata/md5-cache/sci-mathematics/frama-c-sparecode-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-sparecode-24.0
@@ -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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-users-24.0:=[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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-users-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=f764aa15e52083a1f9af84450002f9e6
--- a/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0
@@ -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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=87e316a19d544807264428e2dbf865eb
--- a/metadata/md5-cache/sci-mathematics/frama-c-users-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-users-24.0
@@ -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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[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-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=f49b36ca2478b77361e9f6541a7b8416
--- a/metadata/md5-cache/sci-mathematics/frama-c-variadic-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-variadic-24.0
@@ -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-24.0:=[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-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=e4dad3dd93bb7025e80c844e272ba197
--- a/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1
+++ b/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1
@@ -13,4 +13,4 @@ RESTRICT=strip
 SLOT=0
 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
 _eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
-_md5_=97eb54760cb787cb1df1db59d273381d
+_md5_=f500e42b779578963542dbf47831f374
--- a/metadata/md5-cache/sci-mathematics/frama-c-wp-24.0
+++ b/metadata/md5-cache/sci-mathematics/frama-c-wp-24.0
@@ -0,0 +1,16 @@
+BDEPEND=coq? ( >=sci-mathematics/coq-8.12.0 <sci-mathematics/coq-8.14.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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[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-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 dev-lang/ocaml:=[ocamlopt?]
+RESTRICT=strip
+SLOT=0
+SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
+_eclasses_=gnuconfig	262062cef0ba4f22b397193da514a350	toolchain-funcs	badd6e329e1f3e6bee99b35bf8763ce8	multilib	de4beb52bfa93c4c5d96792a6b5e1784	libtool	241a8f577b9781a42a7421e53448a44e	autotools	c9df06c186913b43eb211100ef5fe2cf	findlib	e6df6108c2d753998b1206f4d5ea4a2d
+_md5_=98b57ab38554f990e58a5824f0aad0b7
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -105,7 +105,7 @@ app-misc/grit 0.3.0: An personal task manager that represents tasks as multitree
 app-misc/hollywood 1.22: Fill your console with Hollywood melodrama technobabble
 app-misc/lf 20 22: Terminal file manager
 app-misc/liquidctl 1.7.2: Cross-platform tool and drivers for liquid coolers and other devices
-app-misc/macchina 5.0.2: A system information fetcher, with an (unhealthy) emphasis on performance.
+app-misc/macchina 5.0.2 6.0.5: A system information fetcher, with an (unhealthy) emphasis on performance.
 app-misc/mangadesk 0.7.5: Terminal Client for MangaDex
 app-misc/mat2 0.12.2: Metadata Anonymisation Toolkit: handy tool to trash your metadata
 app-misc/mobile-datovka 1.10.0: Mobile optimized GUI to access the Czech data box e-government system
@@ -878,7 +878,7 @@ media-sound/loudgain 0.6.8: Versatile ReplayGain 2.0 loudness normalizer
 media-sound/mopidy 3.2.0: An extensible music server written in Python.
 media-sound/ncpamixer 1.3.3.1: A ncurses mixer for PulseAudio inspired by pavucontrol
 media-sound/netcat-cpi 2014.04.29: Kernel module edition of the Cycles Per Instruction (2014) album
-media-sound/noson-app 4.5.1: The essential to control music from your SONOS devices on Linux platforms
+media-sound/noson-app 4.5.2: The essential to control music from your SONOS devices on Linux platforms
 media-sound/nuclear-bin 0.6.15: Nuclear is a streaming program that pulls content from free sources on internet
 media-sound/pianobooster 1.0.0: A MIDI player/game that displays notes and teaches you how to play the piano
 media-sound/pulseaudio-virtualmic 0.1 9999: Use any offline or online media file or stream as a PulseAudio source
@@ -971,7 +971,7 @@ net-p2p/monero 0.17.2.0 0.17.2.3 9999: The secure, private, untraceable cryptocu
 net-p2p/nuxhash 1.0.0_beta2_p20191013: NiceHash cryptocurrency mining client for Linux
 net-p2p/trezord-go 2.0.29-r1 2.0.30: TREZOR Communication Daemon
 net-p2p/yggdrasil-go 0.3.13-r1 0.3.14 0.3.15 0.4.0: An experiment in scalable routing as an encrypted IPv6 overlay network
-net-voip/discover-overlay 0.3.3: Yet another Discord overlay for Linux written in Python using GTK3
+net-voip/discover-overlay 0.3.3 0.4.0: Yet another Discord overlay for Linux written in Python using GTK3
 net-voip/gnome-calls 41.1: Phone dialer and call handler
 net-wireless/iwdgui 0.1.0 0.2.0: A graphical frontend for IWD, Intel's iNet Wireless Daemon
 net-wireless/rtl8192eu 0_pre20211023: Realtek 8192EU driver module for Linux kernel
@@ -993,37 +993,37 @@ sci-libs/meschach 1.2b_p20170511-r1: Meschach is a C-language library of routine
 sci-libs/saclib 2.2.8: Reference implementations of algorithms and forms the basis of QEPCAD
 sci-libs/slicot 5.0_p20101122: Subroutine Library in Systems and Control Theory
 sci-mathematics/chaco 2.2-r2: Software for Partitioning Graphs
-sci-mathematics/frama-c 23.1: Framework for analysis of source codes written in C
-sci-mathematics/frama-c-aorai 23.1: Aorai (automaton annotations) plugin for frama-c
-sci-mathematics/frama-c-callgraph 23.1: Callgraph plugin for frama-c
-sci-mathematics/frama-c-constant-folding 23.1: Constant folding plugin for frama-c
-sci-mathematics/frama-c-dive 23.1: Dive plugin for frama-c
-sci-mathematics/frama-c-e-acsl 23.1: Runtime verification of ACSL (E-ACSL) plugin for frama-c
-sci-mathematics/frama-c-eva 23.1: Value analysis (EVA) plugin for frama-c
-sci-mathematics/frama-c-from 23.1: From analysis plugin for frama-c
-sci-mathematics/frama-c-impact 23.1: Impact plugin for frama-c
-sci-mathematics/frama-c-inout 23.1: In/out analysis plugin for frama-c
-sci-mathematics/frama-c-instantiate 23.1: Instantiate analysis plugin for frama-c
-sci-mathematics/frama-c-loopanalysis 23.1: Loop analysis plugin for frama-c
-sci-mathematics/frama-c-metrics 23.1: Metrics plugin for frama-c
-sci-mathematics/frama-c-nonterm 23.1: Nonterm plugin for frama-c
-sci-mathematics/frama-c-obfuscator 23.1: Obfuscator plugin for frama-c
-sci-mathematics/frama-c-occurrence 23.1: Occurrence analysis plugin for frama-c
-sci-mathematics/frama-c-pdg 23.1: Program dependence graph plugin for frama-c
-sci-mathematics/frama-c-postdominators 23.1: Postdominators plugin for frama-c
-sci-mathematics/frama-c-printapi 23.1: Plugin generating .mli interface files for plugin APIs for frama-c
-sci-mathematics/frama-c-qed 23.1: Qed plugin for frama-c
-sci-mathematics/frama-c-report 23.1: Report plugin for frama-c
-sci-mathematics/frama-c-rtegen 23.1: Runtime error annotation (RTE) generation plugin for frama-c
-sci-mathematics/frama-c-scope 23.1: Scope plugin for frama-c
-sci-mathematics/frama-c-security-slicing 23.1: Security slicing plugin for frama-c
-sci-mathematics/frama-c-server 23.1: Server plugin for frama-c
-sci-mathematics/frama-c-slicing 23.1: Slicing plugin for frama-c
-sci-mathematics/frama-c-sparecode 23.1: Spare code plugin for frama-c
-sci-mathematics/frama-c-studia 23.1: Studia plugin for frama-c
-sci-mathematics/frama-c-users 23.1: Users plugin for frama-c
-sci-mathematics/frama-c-variadic 23.1: Variadic function transformation plugin for frama-c
-sci-mathematics/frama-c-wp 23.1: Deductive proof of ACSL contracts (WP) plugin for frama-c
+sci-mathematics/frama-c 23.1 24.0: Framework for analysis of source codes written in C
+sci-mathematics/frama-c-aorai 23.1 24.0: Aorai (automaton annotations) plugin for frama-c
+sci-mathematics/frama-c-callgraph 23.1 24.0: Callgraph plugin for frama-c
+sci-mathematics/frama-c-constant-folding 23.1 24.0: Constant folding plugin for frama-c
+sci-mathematics/frama-c-dive 23.1 24.0: Dive plugin for frama-c
+sci-mathematics/frama-c-e-acsl 23.1 24.0: Runtime verification of ACSL (E-ACSL) plugin for frama-c
+sci-mathematics/frama-c-eva 23.1 24.0: Value analysis (EVA) plugin for frama-c
+sci-mathematics/frama-c-from 23.1 24.0: From analysis plugin for frama-c
+sci-mathematics/frama-c-impact 23.1 24.0: Impact plugin for frama-c
+sci-mathematics/frama-c-inout 23.1 24.0: In/out analysis plugin for frama-c
+sci-mathematics/frama-c-instantiate 23.1 24.0: Instantiate analysis plugin for frama-c
+sci-mathematics/frama-c-loopanalysis 23.1 24.0: Loop analysis plugin for frama-c
+sci-mathematics/frama-c-metrics 23.1 24.0: Metrics plugin for frama-c
+sci-mathematics/frama-c-nonterm 23.1 24.0: Nonterm plugin for frama-c
+sci-mathematics/frama-c-obfuscator 23.1 24.0: Obfuscator plugin for frama-c
+sci-mathematics/frama-c-occurrence 23.1 24.0: Occurrence analysis plugin for frama-c
+sci-mathematics/frama-c-pdg 23.1 24.0: Program dependence graph plugin for frama-c
+sci-mathematics/frama-c-postdominators 23.1 24.0: Postdominators plugin for frama-c
+sci-mathematics/frama-c-printapi 23.1 24.0: Plugin generating .mli interface files for plugin APIs for frama-c
+sci-mathematics/frama-c-qed 23.1 24.0: Qed plugin for frama-c
+sci-mathematics/frama-c-report 23.1 24.0: Report plugin for frama-c
+sci-mathematics/frama-c-rtegen 23.1 24.0: Runtime error annotation (RTE) generation plugin for frama-c
+sci-mathematics/frama-c-scope 23.1 24.0: Scope plugin for frama-c
+sci-mathematics/frama-c-security-slicing 23.1 24.0: Security slicing plugin for frama-c
+sci-mathematics/frama-c-server 23.1 24.0: Server plugin for frama-c
+sci-mathematics/frama-c-slicing 23.1 24.0: Slicing plugin for frama-c
+sci-mathematics/frama-c-sparecode 23.1 24.0: Spare code plugin for frama-c
+sci-mathematics/frama-c-studia 23.1 24.0: Studia plugin for frama-c
+sci-mathematics/frama-c-users 23.1 24.0: Users plugin for frama-c
+sci-mathematics/frama-c-variadic 23.1 24.0: Variadic function transformation plugin for frama-c
+sci-mathematics/frama-c-wp 23.1 24.0: Deductive proof of ACSL contracts (WP) plugin for frama-c
 sci-mathematics/lean-mathlib 0.1_p20211021: Lean mathematical components library
 sci-mathematics/the-omega-project 2.1_p20131119: Tools from Pugh et al.'s for constraint-based compiler tools
 sci-misc/boinc-wrapper 7.16.17 7.16.17-r1: Wrapper to use non-BOINC apps with BOINC
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Thu, 13 Jan 2022 15:51:40 +0000
+Fri, 14 Jan 2022 23:36:40 +0000