From 60ee523853fdb46665b95e26c7054292821e8a89 Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Wed, 25 May 2022 08:32:54 +0000 Subject: [PATCH] 2022-05-25 08:32:54 UTC --- metadata/md5-cache/app-shells/powerline-go-1.22.1 | 13 +++++++++++++ metadata/md5-cache/sci-mathematics/frama-c-24.0 | 2 +- .../sci-mathematics/frama-c-callgraph-23.1 | 6 +++--- .../sci-mathematics/frama-c-callgraph-24.0 | 6 +++--- metadata/md5-cache/sci-mathematics/frama-c-eva-23.1 | 6 +++--- metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 | 6 +++--- .../md5-cache/sci-mathematics/frama-c-from-23.1 | 6 +++--- .../md5-cache/sci-mathematics/frama-c-from-24.0 | 6 +++--- .../md5-cache/sci-mathematics/frama-c-impact-23.1 | 6 +++--- .../md5-cache/sci-mathematics/frama-c-impact-24.0 | 6 +++--- .../md5-cache/sci-mathematics/frama-c-metrics-23.1 | 6 +++--- .../md5-cache/sci-mathematics/frama-c-metrics-24.0 | 6 +++--- .../sci-mathematics/frama-c-occurrence-23.1 | 6 +++--- .../sci-mathematics/frama-c-occurrence-24.0 | 6 +++--- metadata/md5-cache/sci-mathematics/frama-c-qed-23.1 | 6 +++--- metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 | 6 +++--- .../md5-cache/sci-mathematics/frama-c-scope-23.1 | 6 +++--- .../md5-cache/sci-mathematics/frama-c-scope-24.0 | 6 +++--- .../md5-cache/sci-mathematics/frama-c-slicing-23.1 | 6 +++--- .../md5-cache/sci-mathematics/frama-c-slicing-24.0 | 6 +++--- .../md5-cache/sci-mathematics/frama-c-studia-23.1 | 6 +++--- .../md5-cache/sci-mathematics/frama-c-studia-24.0 | 6 +++--- metadata/md5-cache/sci-mathematics/frama-c-wp-23.1 | 6 +++--- metadata/md5-cache/sci-mathematics/frama-c-wp-24.0 | 6 +++--- metadata/pkg_desc_index | 2 +- metadata/timestamp.chk | 2 +- 26 files changed, 82 insertions(+), 69 deletions(-) create mode 100644 metadata/md5-cache/app-shells/powerline-go-1.22.1 diff --git a/metadata/md5-cache/app-shells/powerline-go-1.22.1 b/metadata/md5-cache/app-shells/powerline-go-1.22.1 new file mode 100644 index 0000000000..b319945fab --- /dev/null +++ b/metadata/md5-cache/app-shells/powerline-go-1.22.1 @@ -0,0 +1,13 @@ +BDEPEND=>=dev-lang/go-1.16 app-arch/unzip +DEFINED_PHASES=compile install postinst unpack +DESCRIPTION=A powerline like prompt for Bash, Zsh, Fish written in Go lang. +EAPI=8 +HOMEPAGE=https://github.com/justjanne/powerline-go +INHERIT=go-module +KEYWORDS=~amd64 ~arm ~arm64 +LICENSE=GPL-3 MIT Apache-2.0 BSD +RESTRICT=strip +SLOT=0 +SRC_URI=https://github.com/justjanne/powerline-go/archive/v1.22.1.tar.gz -> powerline-go-1.22.1.tar.gz mirror://goproxy//github.com/mattn/go-runewidth/@v/v0.0.9.zip -> github.com%2Fmattn%2Fgo-runewidth%2F@v%2Fv0.0.9.zip mirror://goproxy//github.com/mattn/go-runewidth/@v/v0.0.9.mod -> github.com%2Fmattn%2Fgo-runewidth%2F@v%2Fv0.0.9.mod mirror://goproxy//github.com/shirou/gopsutil/v3/@v/v3.22.3.zip -> github.com%2Fshirou%2Fgopsutil%2Fv3%2F@v%2Fv3.22.3.zip mirror://goproxy//github.com/shirou/gopsutil/v3/@v/v3.22.3.mod -> github.com%2Fshirou%2Fgopsutil%2Fv3%2F@v%2Fv3.22.3.mod mirror://goproxy//github.com/davecgh/go-spew/@v/v1.1.0.zip -> github.com%2Fdavecgh%2Fgo-spew%2F@v%2Fv1.1.0.zip mirror://goproxy//github.com/davecgh/go-spew/@v/v1.1.0.mod -> github.com%2Fdavecgh%2Fgo-spew%2F@v%2Fv1.1.0.mod mirror://goproxy//github.com/pmezard/go-difflib/@v/v1.0.0.zip -> github.com%2Fpmezard%2Fgo-difflib%2F@v%2Fv1.0.0.zip mirror://goproxy//github.com/pmezard/go-difflib/@v/v1.0.0.mod -> github.com%2Fpmezard%2Fgo-difflib%2F@v%2Fv1.0.0.mod mirror://goproxy//github.com/stretchr/objx/@v/v0.1.0.zip -> github.com%2Fstretchr%2Fobjx%2F@v%2Fv0.1.0.zip mirror://goproxy//github.com/stretchr/objx/@v/v0.1.0.mod -> github.com%2Fstretchr%2Fobjx%2F@v%2Fv0.1.0.mod mirror://goproxy//gopkg.in/yaml.v3/@v/v3.0.0-20200313102051-9f266ea9e77c.zip -> gopkg.in%2Fyaml.v3%2F@v%2Fv3.0.0-20200313102051-9f266ea9e77c.zip mirror://goproxy//gopkg.in/yaml.v3/@v/v3.0.0-20200313102051-9f266ea9e77c.mod -> gopkg.in%2Fyaml.v3%2F@v%2Fv3.0.0-20200313102051-9f266ea9e77c.mod mirror://goproxy//github.com/tklauser/numcpus/@v/v0.4.0.zip -> github.com%2Ftklauser%2Fnumcpus%2F@v%2Fv0.4.0.zip mirror://goproxy//github.com/tklauser/numcpus/@v/v0.4.0.mod -> github.com%2Ftklauser%2Fnumcpus%2F@v%2Fv0.4.0.mod mirror://goproxy//github.com/go-ole/go-ole/@v/v1.2.6.zip -> github.com%2Fgo-ole%2Fgo-ole%2F@v%2Fv1.2.6.zip mirror://goproxy//github.com/go-ole/go-ole/@v/v1.2.6.mod -> github.com%2Fgo-ole%2Fgo-ole%2F@v%2Fv1.2.6.mod mirror://goproxy//golang.org/x/sys/@v/v0.0.0-20190916202348-b4ddaad3f8a3.zip -> golang.org%2Fx%2Fsys%2F@v%2Fv0.0.0-20190916202348-b4ddaad3f8a3.zip mirror://goproxy//golang.org/x/sys/@v/v0.0.0-20190916202348-b4ddaad3f8a3.mod -> golang.org%2Fx%2Fsys%2F@v%2Fv0.0.0-20190916202348-b4ddaad3f8a3.mod mirror://goproxy//github.com/google/go-cmp/@v/v0.5.7.zip -> github.com%2Fgoogle%2Fgo-cmp%2F@v%2Fv0.5.7.zip mirror://goproxy//github.com/google/go-cmp/@v/v0.5.7.mod -> github.com%2Fgoogle%2Fgo-cmp%2F@v%2Fv0.5.7.mod mirror://goproxy//golang.org/x/xerrors/@v/v0.0.0-20191204190536-9bdfabe68543.zip -> golang.org%2Fx%2Fxerrors%2F@v%2Fv0.0.0-20191204190536-9bdfabe68543.zip mirror://goproxy//golang.org/x/xerrors/@v/v0.0.0-20191204190536-9bdfabe68543.mod -> golang.org%2Fx%2Fxerrors%2F@v%2Fv0.0.0-20191204190536-9bdfabe68543.mod mirror://goproxy//github.com/lufia/plan9stats/@v/v0.0.0-20211012122336-39d0f177ccd0.zip -> github.com%2Flufia%2Fplan9stats%2F@v%2Fv0.0.0-20211012122336-39d0f177ccd0.zip mirror://goproxy//github.com/lufia/plan9stats/@v/v0.0.0-20211012122336-39d0f177ccd0.mod -> github.com%2Flufia%2Fplan9stats%2F@v%2Fv0.0.0-20211012122336-39d0f177ccd0.mod mirror://goproxy//github.com/google/go-cmp/@v/v0.5.6.zip -> github.com%2Fgoogle%2Fgo-cmp%2F@v%2Fv0.5.6.zip mirror://goproxy//github.com/google/go-cmp/@v/v0.5.6.mod -> github.com%2Fgoogle%2Fgo-cmp%2F@v%2Fv0.5.6.mod mirror://goproxy//github.com/power-devops/perfstat/@v/v0.0.0-20210106213030-5aafc221ea8c.zip -> github.com%2Fpower-devops%2Fperfstat%2F@v%2Fv0.0.0-20210106213030-5aafc221ea8c.zip mirror://goproxy//github.com/power-devops/perfstat/@v/v0.0.0-20210106213030-5aafc221ea8c.mod -> github.com%2Fpower-devops%2Fperfstat%2F@v%2Fv0.0.0-20210106213030-5aafc221ea8c.mod mirror://goproxy//golang.org/x/sys/@v/v0.0.0-20201204225414-ed752295db88.zip -> golang.org%2Fx%2Fsys%2F@v%2Fv0.0.0-20201204225414-ed752295db88.zip mirror://goproxy//golang.org/x/sys/@v/v0.0.0-20201204225414-ed752295db88.mod -> golang.org%2Fx%2Fsys%2F@v%2Fv0.0.0-20201204225414-ed752295db88.mod mirror://goproxy//github.com/stretchr/testify/@v/v1.7.1.zip -> github.com%2Fstretchr%2Ftestify%2F@v%2Fv1.7.1.zip mirror://goproxy//github.com/stretchr/testify/@v/v1.7.1.mod -> github.com%2Fstretchr%2Ftestify%2F@v%2Fv1.7.1.mod mirror://goproxy//github.com/tklauser/go-sysconf/@v/v0.3.10.zip -> github.com%2Ftklauser%2Fgo-sysconf%2F@v%2Fv0.3.10.zip mirror://goproxy//github.com/tklauser/go-sysconf/@v/v0.3.10.mod -> github.com%2Ftklauser%2Fgo-sysconf%2F@v%2Fv0.3.10.mod mirror://goproxy//github.com/yusufpapurcu/wmi/@v/v1.2.2.zip -> github.com%2Fyusufpapurcu%2Fwmi%2F@v%2Fv1.2.2.zip mirror://goproxy//github.com/yusufpapurcu/wmi/@v/v1.2.2.mod -> github.com%2Fyusufpapurcu%2Fwmi%2F@v%2Fv1.2.2.mod mirror://goproxy//golang.org/x/sys/@v/v0.0.0-20220128215802-99c3d69c2c27.zip -> golang.org%2Fx%2Fsys%2F@v%2Fv0.0.0-20220128215802-99c3d69c2c27.zip mirror://goproxy//golang.org/x/sys/@v/v0.0.0-20220128215802-99c3d69c2c27.mod -> golang.org%2Fx%2Fsys%2F@v%2Fv0.0.0-20220128215802-99c3d69c2c27.mod mirror://goproxy//golang.org/x/term/@v/v0.0.0-20201117132131-f5c789dd3221.zip -> golang.org%2Fx%2Fterm%2F@v%2Fv0.0.0-20201117132131-f5c789dd3221.zip mirror://goproxy//golang.org/x/term/@v/v0.0.0-20201117132131-f5c789dd3221.mod -> golang.org%2Fx%2Fterm%2F@v%2Fv0.0.0-20201117132131-f5c789dd3221.mod mirror://goproxy//golang.org/x/sys/@v/v0.0.0-20191026070338-33540a1f6037.zip -> golang.org%2Fx%2Fsys%2F@v%2Fv0.0.0-20191026070338-33540a1f6037.zip mirror://goproxy//golang.org/x/sys/@v/v0.0.0-20191026070338-33540a1f6037.mod -> golang.org%2Fx%2Fsys%2F@v%2Fv0.0.0-20191026070338-33540a1f6037.mod mirror://goproxy//golang.org/x/text/@v/v0.3.4.zip -> golang.org%2Fx%2Ftext%2F@v%2Fv0.3.4.zip mirror://goproxy//golang.org/x/text/@v/v0.3.4.mod -> golang.org%2Fx%2Ftext%2F@v%2Fv0.3.4.mod mirror://goproxy//golang.org/x/tools/@v/v0.0.0-20180917221912-90fa682c2a6e.zip -> golang.org%2Fx%2Ftools%2F@v%2Fv0.0.0-20180917221912-90fa682c2a6e.zip mirror://goproxy//golang.org/x/tools/@v/v0.0.0-20180917221912-90fa682c2a6e.mod -> golang.org%2Fx%2Ftools%2F@v%2Fv0.0.0-20180917221912-90fa682c2a6e.mod mirror://goproxy//gopkg.in/ini.v1/@v/v1.66.4.zip -> gopkg.in%2Fini.v1%2F@v%2Fv1.66.4.zip mirror://goproxy//gopkg.in/ini.v1/@v/v1.66.4.mod -> gopkg.in%2Fini.v1%2F@v%2Fv1.66.4.mod mirror://goproxy//gopkg.in/yaml.v2/@v/v2.4.0.zip -> gopkg.in%2Fyaml.v2%2F@v%2Fv2.4.0.zip mirror://goproxy//gopkg.in/yaml.v2/@v/v2.4.0.mod -> gopkg.in%2Fyaml.v2%2F@v%2Fv2.4.0.mod mirror://goproxy//gopkg.in/check.v1/@v/v0.0.0-20161208181325-20d25e280405.zip -> gopkg.in%2Fcheck.v1%2F@v%2Fv0.0.0-20161208181325-20d25e280405.zip mirror://goproxy//gopkg.in/check.v1/@v/v0.0.0-20161208181325-20d25e280405.mod -> gopkg.in%2Fcheck.v1%2F@v%2Fv0.0.0-20161208181325-20d25e280405.mod +_eclasses_=go-module a13d34fe4e2996720e1ca6c53b9ea95a +_md5_=8deff88f9299785a0ad8c11de87e7219 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-24.0 index 318aefe87f..490af349c1 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-24.0 @@ -13,4 +13,4 @@ RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz _eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 -_md5_=f5c89d624460284b8aa6f7e729191113 +_md5_=a855082cdc00a3cbd7f5781768e7f903 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1 index d565de17ef..decb5ebe6b 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -9,9 +9,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=428e0b87d20def22403a07f64272de0f +_md5_=e2fbdc623fa8d1808501a0737f12be34 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 index 2ea02631a0..f44bbfc9e5 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -9,9 +9,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=755c50f31fc53e95fa0513bd7a698119 +_md5_=0cd5203f2c617f1bb5a909e8e5aa73b6 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-eva-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-eva-23.1 index 56a39dafef..bca3fc554b 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-eva-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-eva-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -9,9 +9,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=a75e73766a56c4e44a381eaf75b1d383 +_md5_=3fb2462e19c39dbeb8b18bfeba8b5645 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 index 5afa9722b3..705a9699dd 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -9,9 +9,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=89cc502e094992cf5d325fdf8220fe16 +_md5_=794462c0cf0f5ffcd55f95547c34119d diff --git a/metadata/md5-cache/sci-mathematics/frama-c-from-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-from-23.1 index 6d20f15edf..41f1672b8f 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-from-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-from-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=6e257118de2ad0b6968221adc251cc37 +_md5_=096d978e60621ba9990a47dbf1d0e5d7 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-from-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-from-24.0 index 05a0f1dcfc..a3f636f293 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-from-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-from-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=f767ec28128d3533df37c04412bbb994 +_md5_=d8672872ee47e3e3883444f9be7ae1cb diff --git a/metadata/md5-cache/sci-mathematics/frama-c-impact-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-impact-23.1 index d88056bff7..9e47a923ad 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-impact-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-impact-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=32c7189af8970380f9ef4b69c3e83c84 +_md5_=990aaf73a46e1d3cdd063af96ac23c1e diff --git a/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 index c48009bbd7..fd15254d9f 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=b1e2e92fd1eb7052474e4838c44870ef +_md5_=68ed225bef9eb93b0b692a582ccf1d3c diff --git a/metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1 index a960e75557..a031d4ad16 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=2cc6c374142b23fb46f77f740a131105 +_md5_=b58665887ee322c207eb2746c8602128 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 index 59124503ec..b3c9709a89 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=fa91f70d6ea0636aab3bccfab6fd1887 +_md5_=ace806f8b18f8497b27addd02e5c1600 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1 index 4119c6248d..12c1a66ce4 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=4e96759ebb95b242d1e4139fc3c52a27 +_md5_=4cb4d90d414a8bc89bcdf034335d74f2 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 index e3ff5092d6..7a659acdfd 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=13b9f33b079600776285a44deecb6c65 +_md5_=0da9e5698170b9cb0205e77b5d8b9978 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-qed-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-qed-23.1 index 77d87d371d..32af5fc454 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-qed-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-qed-23.1 @@ -1,5 +1,5 @@ DEFINED_PHASES=compile install -DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +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 @@ -7,9 +7,9 @@ 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?] +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 e6df6108c2d753998b1206f4d5ea4a2d toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 -_md5_=7d38803ae4242911f8bd27fd702b4e6b +_md5_=b538590e78e384d1c8ef83b7c41199fb diff --git a/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 index 2046665243..f1dd17b77f 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 @@ -1,5 +1,5 @@ DEFINED_PHASES=compile install -DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +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 @@ -7,9 +7,9 @@ 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?] +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 fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 -_md5_=c01a57f3e70a4e1e2c96eab32c0e26aa +_md5_=92ac71b2bc29cfae8cfba80044d23e33 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-scope-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-scope-23.1 index 2df061ce78..d24c64a8ca 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-scope-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-scope-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=a3e26b9566b925cccfb64e3f8f88d240 +_md5_=52a015b22901b298ce6a55e0e53b2cde diff --git a/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 index 0e7f2720af..4eb83328e3 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=e6d3f7d456ee0012869e11a820c24306 +_md5_=fe2cd082921941c62b17bf02fc17f18d diff --git a/metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1 index 6b89e15c16..7b71feb06c 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=461e261dc86557bd494e6e8e7cea354f +_md5_=6eebae2a4ee9b2ed6797b61670a6b185 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 index cf4fc6f954..694e922853 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=a7ed4fe47cfe6dabc3bbdc0f38a94ead +_md5_=a9239643a27f3ff0f813caedacd1792b diff --git a/metadata/md5-cache/sci-mathematics/frama-c-studia-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-studia-23.1 index 32025e9af4..2f68f42da4 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-studia-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-studia-23.1 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=d8aeb4b56ca7d45ddbae600e0a6b9168 +_md5_=6b9aceebdc8a8db131612189bf78d408 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 index 8f36dfe6cc..3527503196 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 +++ b/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 @@ -1,6 +1,6 @@ BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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?] +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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=87e316a19d544807264428e2dbf865eb +_md5_=a90aa556ec40b772089a57ca1c7c26da diff --git a/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1 b/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1 index d44dc41c7e..c12847578a 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1 @@ -1,6 +1,6 @@ BDEPEND=coq? ( >=sci-mathematics/coq-8.12.0 =app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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 =sci-mathematics/why3-1.4.0 =sci-mathematics/coq-8.12.0 =app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=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 +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 @@ -8,9 +8,9 @@ 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 =sci-mathematics/why3-1.4.0