mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-23 14:03:33 -04:00
Code Issues Packages Projects Releases Wiki Activity

2022-05-25 08:32:54 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2022-05-25 08:32:54 +00:00
parent ccfa470937
commit 60ee523853
26 changed files with 82 additions and 69 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
metadata/md5-cache/app-shells/powerline-go-1.22.1 Normal file
View File

File diff suppressed because one or more lines are too long

2
metadata/md5-cache/sci-mathematics/frama-c-24.0
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-callgraph-23.1
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-eva-23.1
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-eva-24.0
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-from-23.1
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-from-24.0
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-impact-23.1
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-impact-24.0
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-metrics-23.1
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-occurrence-23.1
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-qed-23.1
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-qed-24.0
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-scope-23.1
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-scope-24.0
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-slicing-23.1
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-studia-23.1
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-studia-24.0
View File

@@ -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

6
metadata/md5-cache/sci-mathematics/frama-c-wp-23.1
View File

@@ -1,6 +1,6 @@
BDEPEND=coq? ( >=sci-mathematics/coq-8.12.0 <sci-mathematics/coq-8.13.0 ) sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.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 <sci-mathematics/why3-1.5.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 <sci-mathematics/why3-1.5.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.5.0 dev-lang/ocaml:=[ocamlopt?]
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.5.0 dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=e9dcdfa6dc93e187cb4e528524a7cd2c
_md5_=62c316c6021136cb46b07b8cdce77885

6
metadata/md5-cache/sci-mathematics/frama-c-wp-24.0
View File

@@ -1,6 +1,6 @@
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.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 <sci-mathematics/why3-1.5.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 <sci-mathematics/why3-1.5.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.5.0 dev-lang/ocaml:=[ocamlopt?]
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.5.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 b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fd9cde67030b26e479eeadaced488253 multilib 4fbbbc98f236f1b43acd99476bc3cd85 libtool 241a8f577b9781a42a7421e53448a44e autotools 136117fb43a9bf5598530e9cc642f710 findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=57e37a680468d72d55a2b550d10a4da9
_md5_=f20745a055e77bfa814facd3efd0961c