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

2022-01-11 00:36:21 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2022-01-11 00:36:21 +00:00
parent 7d9f472937
commit 219a117be7
31 changed files with 61 additions and 61 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
metadata/md5-cache/sci-mathematics/frama-c-aorai-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Aorai (automaton annotations) plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=eva +ocamlopt ocamlopt
IUSE=eva +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] eva? ( ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ) dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=60b1251e6322407c6b7c7dde00be725a

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

@@ -5,7 +5,7 @@ DESCRIPTION=Callgraph plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=gtk +ocamlopt ocamlopt
IUSE=gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
PDEPEND=~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?]
@@ -13,5 +13,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlop
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 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=428e0b87d20def22403a07f64272de0f

4
metadata/md5-cache/sci-mathematics/frama-c-constant-folding-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Constant folding plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=97d76aa4f0f7852afe6dfdbb5457b58a

4
metadata/md5-cache/sci-mathematics/frama-c-dive-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Dive plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-studia-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-server-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=82d6e787460611fef91424acf010dec8

4
metadata/md5-cache/sci-mathematics/frama-c-e-acsl-23.1
View File

@@ -5,12 +5,12 @@ 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
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=BSD LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=67536e9b0fb50d64662b6c556f4240eb

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

@@ -5,7 +5,7 @@ DESCRIPTION=Value analysis (EVA) plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=gtk +ocamlopt ocamlopt
IUSE=gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
PDEPEND=~sci-mathematics/frama-c-scope-23.1:=[ocamlopt?]
@@ -13,5 +13,5 @@ RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c
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 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=a75e73766a56c4e44a381eaf75b1d383

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

@@ -5,12 +5,12 @@ DESCRIPTION=From analysis plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=gtk +ocamlopt ocamlopt
IUSE=gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-postdominators-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=6e257118de2ad0b6968221adc251cc37

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

@@ -5,12 +5,12 @@ DESCRIPTION=Impact plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=gtk +ocamlopt ocamlopt
IUSE=gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-23.1:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=32c7189af8970380f9ef4b69c3e83c84

4
metadata/md5-cache/sci-mathematics/frama-c-inout-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=In/out analysis plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-from-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=9a50accf45b0d9aa73c0f90e24a378c0

4
metadata/md5-cache/sci-mathematics/frama-c-instantiate-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Instantiate analysis plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=3edd9bdef9f980d1bf228af3d1024c06

4
metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Loop analysis plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=d8ff826dea2efcd7fad8d248f307cdbf

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

@@ -5,12 +5,12 @@ DESCRIPTION=Metrics plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=gtk +ocamlopt ocamlopt
IUSE=gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=2cc6c374142b23fb46f77f740a131105

4
metadata/md5-cache/sci-mathematics/frama-c-nonterm-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Nonterm plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=e56b71fc50df6ec67926929a0fba0bd1

4
metadata/md5-cache/sci-mathematics/frama-c-obfuscator-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Obfuscator plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=6bdcaf3558b02edc9bca20122b38f475

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

@@ -5,12 +5,12 @@ DESCRIPTION=Occurrence analysis plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=gtk +ocamlopt ocamlopt
IUSE=gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=4e96759ebb95b242d1e4139fc3c52a27

4
metadata/md5-cache/sci-mathematics/frama-c-pdg-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Program dependence graph plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-from-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=6955ff4ef3e7f40ffcecf4b293372243

4
metadata/md5-cache/sci-mathematics/frama-c-postdominators-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Postdominators plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=4541ef30755f0ab18e6e1e119debec27

4
metadata/md5-cache/sci-mathematics/frama-c-printapi-23.1
View File

@@ -4,12 +4,12 @@ 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
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=findlib 1470b3b78030acb2c8fcd04414f4c611 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784
_eclasses_=findlib e6df6108c2d753998b1206f4d5ea4a2d toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784
_md5_=657dbd0486b86de096e6d30efcc9bf27

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

@@ -4,12 +4,12 @@ DESCRIPTION=Qed plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=findlib toolchain-funcs
IUSE=gtk +ocamlopt ocamlopt
IUSE=gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=findlib 1470b3b78030acb2c8fcd04414f4c611 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784
_eclasses_=findlib e6df6108c2d753998b1206f4d5ea4a2d toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784
_md5_=7d38803ae4242911f8bd27fd702b4e6b

4
metadata/md5-cache/sci-mathematics/frama-c-report-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Report plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=d9fd3400bb509f4d54d60b904f548d04

4
metadata/md5-cache/sci-mathematics/frama-c-rtegen-23.1
View File

@@ -5,12 +5,12 @@ 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
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=ea8b0443ecaf240b212718545853a9f7

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

@@ -5,12 +5,12 @@ DESCRIPTION=Scope plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=gtk +ocamlopt ocamlopt
IUSE=gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=a3e26b9566b925cccfb64e3f8f88d240

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

@@ -5,12 +5,12 @@ DESCRIPTION=Security slicing plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-23.1:=[gtk,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=c420213b9b3bf91b6313b7988a381d08

4
metadata/md5-cache/sci-mathematics/frama-c-server-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Server plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=56cde4c39e4cd88d081616c51990cd39

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

@@ -5,12 +5,12 @@ DESCRIPTION=Slicing plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=gtk +ocamlopt ocamlopt
IUSE=gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-sparecode-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=461e261dc86557bd494e6e8e7cea354f

4
metadata/md5-cache/sci-mathematics/frama-c-sparecode-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Spare code plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-users-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=488b2a02fe6104bea2ba5372d014c45f

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

@@ -5,12 +5,12 @@ DESCRIPTION=Studia plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=gtk +ocamlopt ocamlopt
IUSE=gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=d8aeb4b56ca7d45ddbae600e0a6b9168

4
metadata/md5-cache/sci-mathematics/frama-c-users-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Users plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-23.1:=[ocamlopt?] ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=5dccede47525733d3ebe4e5ec246ae58

4
metadata/md5-cache/sci-mathematics/frama-c-variadic-23.1
View File

@@ -5,12 +5,12 @@ DESCRIPTION=Variadic function transformation plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
INHERIT=autotools findlib toolchain-funcs
IUSE=+ocamlopt ocamlopt
IUSE=+ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=b8e33758717b3ee45034b4390fa22945

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

@@ -5,12 +5,12 @@ 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
IUSE=coq gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib 1470b3b78030acb2c8fcd04414f4c611
_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=97eb54760cb787cb1df1db59d273381d

2
metadata/timestamp.chk
View File

@@ -1 +1 @@
Mon, 10 Jan 2022 13:31:41 +0000
Tue, 11 Jan 2022 00:36:21 +0000