From 6d69f0ed9716c96c6a25aa7278fd7d029c5310bb Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Fri, 14 Jan 2022 23:36:41 +0000 Subject: [PATCH] 2022-01-14 23:36:40 UTC --- metadata/md5-cache/app-misc/macchina-6.0.5 | 15 ++++ metadata/md5-cache/app-misc/tealdeer-1.5.0 | 8 +-- .../{noson-app-4.5.1 => noson-app-4.5.2} | 2 +- .../md5-cache/net-voip/discover-overlay-0.4.0 | 15 ++++ .../md5-cache/sci-mathematics/frama-c-24.0 | 16 +++++ .../sci-mathematics/frama-c-aorai-24.0 | 16 +++++ .../sci-mathematics/frama-c-callgraph-24.0 | 17 +++++ .../frama-c-constant-folding-24.0 | 16 +++++ .../sci-mathematics/frama-c-dive-24.0 | 16 +++++ .../sci-mathematics/frama-c-e-acsl-24.0 | 16 +++++ .../sci-mathematics/frama-c-eva-24.0 | 17 +++++ .../sci-mathematics/frama-c-from-24.0 | 16 +++++ .../sci-mathematics/frama-c-impact-24.0 | 16 +++++ .../sci-mathematics/frama-c-inout-24.0 | 16 +++++ .../sci-mathematics/frama-c-instantiate-24.0 | 16 +++++ .../sci-mathematics/frama-c-loopanalysis-24.0 | 16 +++++ .../sci-mathematics/frama-c-metrics-24.0 | 16 +++++ .../sci-mathematics/frama-c-nonterm-24.0 | 16 +++++ .../sci-mathematics/frama-c-obfuscator-24.0 | 16 +++++ .../sci-mathematics/frama-c-occurrence-24.0 | 16 +++++ .../sci-mathematics/frama-c-pdg-24.0 | 16 +++++ .../frama-c-postdominators-24.0 | 16 +++++ .../sci-mathematics/frama-c-printapi-24.0 | 15 ++++ .../sci-mathematics/frama-c-qed-24.0 | 15 ++++ .../sci-mathematics/frama-c-report-24.0 | 16 +++++ .../sci-mathematics/frama-c-rtegen-24.0 | 16 +++++ .../sci-mathematics/frama-c-scope-24.0 | 16 +++++ .../frama-c-security-slicing-24.0 | 16 +++++ .../sci-mathematics/frama-c-server-24.0 | 16 +++++ .../sci-mathematics/frama-c-slicing-24.0 | 16 +++++ .../sci-mathematics/frama-c-sparecode-24.0 | 16 +++++ .../sci-mathematics/frama-c-studia-24.0 | 16 +++++ .../sci-mathematics/frama-c-users-24.0 | 16 +++++ .../sci-mathematics/frama-c-variadic-24.0 | 16 +++++ .../md5-cache/sci-mathematics/frama-c-wp-23.1 | 2 +- .../md5-cache/sci-mathematics/frama-c-wp-24.0 | 16 +++++ metadata/pkg_desc_index | 68 +++++++++---------- metadata/timestamp.chk | 2 +- 38 files changed, 567 insertions(+), 41 deletions(-) create mode 100644 metadata/md5-cache/app-misc/macchina-6.0.5 rename metadata/md5-cache/media-sound/{noson-app-4.5.1 => noson-app-4.5.2} (93%) create mode 100644 metadata/md5-cache/net-voip/discover-overlay-0.4.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-aorai-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-constant-folding-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-dive-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-e-acsl-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-from-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-inout-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-instantiate-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-nonterm-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-obfuscator-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-pdg-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-postdominators-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-printapi-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-report-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-rtegen-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-security-slicing-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-server-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-sparecode-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-users-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-variadic-24.0 create mode 100644 metadata/md5-cache/sci-mathematics/frama-c-wp-24.0 diff --git a/metadata/md5-cache/app-misc/macchina-6.0.5 b/metadata/md5-cache/app-misc/macchina-6.0.5 new file mode 100644 index 0000000000..38f833c780 --- /dev/null +++ b/metadata/md5-cache/app-misc/macchina-6.0.5 @@ -0,0 +1,15 @@ +BDEPEND=>=virtual/rust-1.53 +DEFINED_PHASES=compile configure install postinst postrm test unpack +DEPEND=app-portage/portage-utils:0= dev-libs/libgit2:0= +DESCRIPTION=A system information fetcher, with an (unhealthy) emphasis on performance. +EAPI=8 +HOMEPAGE=https://github.com/Macchina-CLI/macchina +INHERIT=cargo xdg-utils +IUSE=debug +KEYWORDS=~amd64 +LICENSE=|| ( Apache-2.0 ) || ( Apache-2.0 MIT ) BSD MIT Apache-2.0 MPL-2.0 +RDEPEND=app-portage/portage-utils:0= dev-libs/libgit2:0= +SLOT=0 +SRC_URI=https://github.com/Macchina-CLI/macchina/archive/refs/tags/v6.0.5.tar.gz -> macchina-6.0.5.tar.gz https://crates.io/api/v1/crates/aho-corasick/0.7.18/download -> aho-corasick-0.7.18.crate https://crates.io/api/v1/crates/ansi-to-tui/0.4.1/download -> ansi-to-tui-0.4.1.crate https://crates.io/api/v1/crates/ansi_term/0.12.1/download -> ansi_term-0.12.1.crate https://crates.io/api/v1/crates/anyhow/1.0.52/download -> anyhow-1.0.52.crate https://crates.io/api/v1/crates/atty/0.2.14/download -> atty-0.2.14.crate https://crates.io/api/v1/crates/autocfg/1.0.1/download -> autocfg-1.0.1.crate https://crates.io/api/v1/crates/bitflags/1.2.1/download -> bitflags-1.2.1.crate https://crates.io/api/v1/crates/byteorder/1.4.3/download -> byteorder-1.4.3.crate https://crates.io/api/v1/crates/bytesize/1.1.0/download -> bytesize-1.1.0.crate https://crates.io/api/v1/crates/cassowary/0.3.0/download -> cassowary-0.3.0.crate https://crates.io/api/v1/crates/cc/1.0.72/download -> cc-1.0.72.crate https://crates.io/api/v1/crates/cfg-if/1.0.0/download -> cfg-if-1.0.0.crate https://crates.io/api/v1/crates/chrono/0.4.19/download -> chrono-0.4.19.crate https://crates.io/api/v1/crates/clap/2.34.0/download -> clap-2.34.0.crate https://crates.io/api/v1/crates/color-to-tui/0.1.3/download -> color-to-tui-0.1.3.crate https://crates.io/api/v1/crates/colored/2.0.0/download -> colored-2.0.0.crate https://crates.io/api/v1/crates/const-sha1/0.2.0/download -> const-sha1-0.2.0.crate https://crates.io/api/v1/crates/core-foundation/0.9.2/download -> core-foundation-0.9.2.crate https://crates.io/api/v1/crates/core-foundation-sys/0.8.3/download -> core-foundation-sys-0.8.3.crate https://crates.io/api/v1/crates/core-graphics/0.22.3/download -> core-graphics-0.22.3.crate https://crates.io/api/v1/crates/core-graphics-types/0.1.1/download -> core-graphics-types-0.1.1.crate https://crates.io/api/v1/crates/crossterm/0.20.0/download -> crossterm-0.20.0.crate https://crates.io/api/v1/crates/crossterm_winapi/0.8.0/download -> crossterm_winapi-0.8.0.crate https://crates.io/api/v1/crates/dirs/4.0.0/download -> dirs-4.0.0.crate https://crates.io/api/v1/crates/dirs-next/2.0.0/download -> dirs-next-2.0.0.crate https://crates.io/api/v1/crates/dirs-sys/0.3.6/download -> dirs-sys-0.3.6.crate https://crates.io/api/v1/crates/dirs-sys-next/0.1.2/download -> dirs-sys-next-0.1.2.crate https://crates.io/api/v1/crates/either/1.6.1/download -> either-1.6.1.crate https://crates.io/api/v1/crates/enum-iterator/0.7.0/download -> enum-iterator-0.7.0.crate https://crates.io/api/v1/crates/enum-iterator-derive/0.7.0/download -> enum-iterator-derive-0.7.0.crate https://crates.io/api/v1/crates/foreign-types/0.3.2/download -> foreign-types-0.3.2.crate https://crates.io/api/v1/crates/foreign-types-shared/0.1.1/download -> foreign-types-shared-0.1.1.crate https://crates.io/api/v1/crates/form_urlencoded/1.0.1/download -> form_urlencoded-1.0.1.crate https://crates.io/api/v1/crates/gethostname/0.2.1/download -> gethostname-0.2.1.crate https://crates.io/api/v1/crates/getrandom/0.2.3/download -> getrandom-0.2.3.crate https://crates.io/api/v1/crates/getset/0.1.2/download -> getset-0.1.2.crate https://crates.io/api/v1/crates/git2/0.13.25/download -> git2-0.13.25.crate https://crates.io/api/v1/crates/heck/0.3.3/download -> heck-0.3.3.crate https://crates.io/api/v1/crates/hermit-abi/0.1.19/download -> hermit-abi-0.1.19.crate https://crates.io/api/v1/crates/home/0.5.3/download -> home-0.5.3.crate https://crates.io/api/v1/crates/idna/0.2.3/download -> idna-0.2.3.crate https://crates.io/api/v1/crates/if-addrs/0.6.7/download -> if-addrs-0.6.7.crate https://crates.io/api/v1/crates/if-addrs-sys/0.3.2/download -> if-addrs-sys-0.3.2.crate https://crates.io/api/v1/crates/instant/0.1.12/download -> instant-0.1.12.crate https://crates.io/api/v1/crates/itertools/0.10.3/download -> itertools-0.10.3.crate https://crates.io/api/v1/crates/itoa/1.0.1/download -> itoa-1.0.1.crate https://crates.io/api/v1/crates/jobserver/0.1.24/download -> jobserver-0.1.24.crate https://crates.io/api/v1/crates/lazy_static/1.4.0/download -> lazy_static-1.4.0.crate https://crates.io/api/v1/crates/libc/0.2.112/download -> libc-0.2.112.crate https://crates.io/api/v1/crates/libgit2-sys/0.12.26+1.3.0/download -> libgit2-sys-0.12.26+1.3.0.crate https://crates.io/api/v1/crates/libmacchina/6.0.0/download -> libmacchina-6.0.0.crate https://crates.io/api/v1/crates/libz-sys/1.1.3/download -> libz-sys-1.1.3.crate https://crates.io/api/v1/crates/local-ip-address/0.4.4/download -> local-ip-address-0.4.4.crate https://crates.io/api/v1/crates/lock_api/0.4.5/download -> lock_api-0.4.5.crate https://crates.io/api/v1/crates/log/0.4.14/download -> log-0.4.14.crate https://crates.io/api/v1/crates/mach/0.3.2/download -> mach-0.3.2.crate https://crates.io/api/v1/crates/matches/0.1.9/download -> matches-0.1.9.crate https://crates.io/api/v1/crates/memalloc/0.1.0/download -> memalloc-0.1.0.crate https://crates.io/api/v1/crates/memchr/2.4.1/download -> memchr-2.4.1.crate https://crates.io/api/v1/crates/memoffset/0.6.5/download -> memoffset-0.6.5.crate https://crates.io/api/v1/crates/mio/0.7.14/download -> mio-0.7.14.crate https://crates.io/api/v1/crates/miow/0.3.7/download -> miow-0.3.7.crate https://crates.io/api/v1/crates/neli/0.5.3/download -> neli-0.5.3.crate https://crates.io/api/v1/crates/nix/0.22.2/download -> nix-0.22.2.crate https://crates.io/api/v1/crates/nix/0.23.1/download -> nix-0.23.1.crate https://crates.io/api/v1/crates/ntapi/0.3.6/download -> ntapi-0.3.6.crate https://crates.io/api/v1/crates/num-integer/0.1.44/download -> num-integer-0.1.44.crate https://crates.io/api/v1/crates/num-traits/0.2.14/download -> num-traits-0.2.14.crate https://crates.io/api/v1/crates/num_cpus/1.13.1/download -> num_cpus-1.13.1.crate https://crates.io/api/v1/crates/os-release/0.1.0/download -> os-release-0.1.0.crate https://crates.io/api/v1/crates/parking_lot/0.11.2/download -> parking_lot-0.11.2.crate https://crates.io/api/v1/crates/parking_lot_core/0.8.5/download -> parking_lot_core-0.8.5.crate https://crates.io/api/v1/crates/percent-encoding/2.1.0/download -> percent-encoding-2.1.0.crate https://crates.io/api/v1/crates/pkg-config/0.3.24/download -> pkg-config-0.3.24.crate https://crates.io/api/v1/crates/ppv-lite86/0.2.16/download -> ppv-lite86-0.2.16.crate https://crates.io/api/v1/crates/proc-macro-error/1.0.4/download -> proc-macro-error-1.0.4.crate https://crates.io/api/v1/crates/proc-macro-error-attr/1.0.4/download -> proc-macro-error-attr-1.0.4.crate https://crates.io/api/v1/crates/proc-macro2/1.0.36/download -> proc-macro2-1.0.36.crate https://crates.io/api/v1/crates/quote/1.0.14/download -> quote-1.0.14.crate https://crates.io/api/v1/crates/rand/0.8.4/download -> rand-0.8.4.crate https://crates.io/api/v1/crates/rand_chacha/0.3.1/download -> rand_chacha-0.3.1.crate https://crates.io/api/v1/crates/rand_core/0.6.3/download -> rand_core-0.6.3.crate https://crates.io/api/v1/crates/rand_hc/0.3.1/download -> rand_hc-0.3.1.crate https://crates.io/api/v1/crates/redox_syscall/0.2.10/download -> redox_syscall-0.2.10.crate https://crates.io/api/v1/crates/redox_users/0.4.0/download -> redox_users-0.4.0.crate https://crates.io/api/v1/crates/regex/1.5.4/download -> regex-1.5.4.crate https://crates.io/api/v1/crates/regex-syntax/0.6.25/download -> regex-syntax-0.6.25.crate https://crates.io/api/v1/crates/rustc_version/0.4.0/download -> rustc_version-0.4.0.crate https://crates.io/api/v1/crates/rustversion/1.0.6/download -> rustversion-1.0.6.crate https://crates.io/api/v1/crates/ryu/1.0.9/download -> ryu-1.0.9.crate https://crates.io/api/v1/crates/same-file/1.0.6/download -> same-file-1.0.6.crate https://crates.io/api/v1/crates/scopeguard/1.1.0/download -> scopeguard-1.1.0.crate https://crates.io/api/v1/crates/semver/1.0.4/download -> semver-1.0.4.crate https://crates.io/api/v1/crates/serde/1.0.132/download -> serde-1.0.132.crate https://crates.io/api/v1/crates/serde_derive/1.0.132/download -> serde_derive-1.0.132.crate https://crates.io/api/v1/crates/serde_json/1.0.73/download -> serde_json-1.0.73.crate https://crates.io/api/v1/crates/shellexpand/2.1.0/download -> shellexpand-2.1.0.crate https://crates.io/api/v1/crates/signal-hook/0.3.13/download -> signal-hook-0.3.13.crate https://crates.io/api/v1/crates/signal-hook-mio/0.2.1/download -> signal-hook-mio-0.2.1.crate https://crates.io/api/v1/crates/signal-hook-registry/1.4.0/download -> signal-hook-registry-1.4.0.crate https://crates.io/api/v1/crates/smallvec/1.7.0/download -> smallvec-1.7.0.crate https://crates.io/api/v1/crates/sqlite/0.26.0/download -> sqlite-0.26.0.crate https://crates.io/api/v1/crates/sqlite3-src/0.3.0/download -> sqlite3-src-0.3.0.crate https://crates.io/api/v1/crates/sqlite3-sys/0.13.0/download -> sqlite3-sys-0.13.0.crate https://crates.io/api/v1/crates/strsim/0.8.0/download -> strsim-0.8.0.crate https://crates.io/api/v1/crates/structopt/0.3.25/download -> structopt-0.3.25.crate https://crates.io/api/v1/crates/structopt-derive/0.4.18/download -> structopt-derive-0.4.18.crate https://crates.io/api/v1/crates/syn/1.0.84/download -> syn-1.0.84.crate https://crates.io/api/v1/crates/sysctl/0.4.3/download -> sysctl-0.4.3.crate https://crates.io/api/v1/crates/textwrap/0.11.0/download -> textwrap-0.11.0.crate https://crates.io/api/v1/crates/thiserror/1.0.30/download -> thiserror-1.0.30.crate https://crates.io/api/v1/crates/thiserror-impl/1.0.30/download -> thiserror-impl-1.0.30.crate https://crates.io/api/v1/crates/time/0.1.43/download -> time-0.1.43.crate https://crates.io/api/v1/crates/tinyvec/1.5.1/download -> tinyvec-1.5.1.crate https://crates.io/api/v1/crates/tinyvec_macros/0.1.0/download -> tinyvec_macros-0.1.0.crate https://crates.io/api/v1/crates/toml/0.5.8/download -> toml-0.5.8.crate https://crates.io/api/v1/crates/tui/0.16.0/download -> tui-0.16.0.crate https://crates.io/api/v1/crates/unicode-bidi/0.3.7/download -> unicode-bidi-0.3.7.crate https://crates.io/api/v1/crates/unicode-normalization/0.1.19/download -> unicode-normalization-0.1.19.crate https://crates.io/api/v1/crates/unicode-segmentation/1.8.0/download -> unicode-segmentation-1.8.0.crate https://crates.io/api/v1/crates/unicode-width/0.1.9/download -> unicode-width-0.1.9.crate https://crates.io/api/v1/crates/unicode-xid/0.2.2/download -> unicode-xid-0.2.2.crate https://crates.io/api/v1/crates/url/2.2.2/download -> url-2.2.2.crate https://crates.io/api/v1/crates/vcpkg/0.2.15/download -> vcpkg-0.2.15.crate https://crates.io/api/v1/crates/vec_map/0.8.2/download -> vec_map-0.8.2.crate https://crates.io/api/v1/crates/vergen/6.0.0/download -> vergen-6.0.0.crate https://crates.io/api/v1/crates/version_check/0.9.4/download -> version_check-0.9.4.crate https://crates.io/api/v1/crates/walkdir/2.3.2/download -> walkdir-2.3.2.crate https://crates.io/api/v1/crates/wasi/0.10.2+wasi-snapshot-preview1/download -> wasi-0.10.2+wasi-snapshot-preview1.crate https://crates.io/api/v1/crates/widestring/0.5.1/download -> widestring-0.5.1.crate https://crates.io/api/v1/crates/winapi/0.3.9/download -> winapi-0.3.9.crate https://crates.io/api/v1/crates/winapi-i686-pc-windows-gnu/0.4.0/download -> winapi-i686-pc-windows-gnu-0.4.0.crate https://crates.io/api/v1/crates/winapi-util/0.1.5/download -> winapi-util-0.1.5.crate https://crates.io/api/v1/crates/winapi-wsapoll/0.1.1/download -> winapi-wsapoll-0.1.1.crate https://crates.io/api/v1/crates/winapi-x86_64-pc-windows-gnu/0.4.0/download -> winapi-x86_64-pc-windows-gnu-0.4.0.crate https://crates.io/api/v1/crates/windows/0.18.0/download -> windows-0.18.0.crate https://crates.io/api/v1/crates/windows/0.29.0/download -> windows-0.29.0.crate https://crates.io/api/v1/crates/windows_aarch64_msvc/0.29.0/download -> windows_aarch64_msvc-0.29.0.crate https://crates.io/api/v1/crates/windows_gen/0.18.0/download -> windows_gen-0.18.0.crate https://crates.io/api/v1/crates/windows_i686_gnu/0.29.0/download -> windows_i686_gnu-0.29.0.crate https://crates.io/api/v1/crates/windows_i686_msvc/0.29.0/download -> windows_i686_msvc-0.29.0.crate https://crates.io/api/v1/crates/windows_macros/0.18.0/download -> windows_macros-0.18.0.crate https://crates.io/api/v1/crates/windows_x86_64_gnu/0.29.0/download -> windows_x86_64_gnu-0.29.0.crate https://crates.io/api/v1/crates/windows_x86_64_msvc/0.29.0/download -> windows_x86_64_msvc-0.29.0.crate https://crates.io/api/v1/crates/winreg/0.10.1/download -> winreg-0.10.1.crate https://crates.io/api/v1/crates/wmi/0.9.2/download -> wmi-0.9.2.crate https://crates.io/api/v1/crates/x11rb/0.9.0/download -> x11rb-0.9.0.crate +_eclasses_=multiprocessing 61c959fc55c15c00bbb1079d6a71370b toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 cargo 7ea27a358c2ff39754bf66a96c06f3de xdg-utils 4f29a8b760a594a212abe9c2ba957c31 +_md5_=55897bf722dcedac77d143e19143c857 diff --git a/metadata/md5-cache/app-misc/tealdeer-1.5.0 b/metadata/md5-cache/app-misc/tealdeer-1.5.0 index 5da2a8ca12..1fc8a87b27 100644 --- a/metadata/md5-cache/app-misc/tealdeer-1.5.0 +++ b/metadata/md5-cache/app-misc/tealdeer-1.5.0 @@ -1,9 +1,9 @@ -BDEPEND=>=virtual/rust-1.53 +BDEPEND=>=virtual/rust-1.54.0 >=virtual/rust-1.53 DEFINED_PHASES=compile configure install test unpack DESCRIPTION=A very fast implementation of tldr in Rust. EAPI=8 HOMEPAGE=https://github.com/tldr-pages/tldr https://github.com/dbrgn/tealdeer -INHERIT=cargo bash-completion-r1 +INHERIT=cargo flag-o-matic bash-completion-r1 IUSE=debug KEYWORDS=~amd64 LICENSE=MIT @@ -12,5 +12,5 @@ RDEPEND=!app-text/tldr RESTRICT=test SLOT=0 SRC_URI=https://github.com/dbrgn/tealdeer/archive/v1.5.0.tar.gz -> tealdeer-1.5.0.tar.gz https://crates.io/api/v1/crates/adler/1.0.2/download -> adler-1.0.2.crate https://crates.io/api/v1/crates/aho-corasick/0.7.18/download -> aho-corasick-0.7.18.crate https://crates.io/api/v1/crates/ansi_term/0.12.1/download -> ansi_term-0.12.1.crate https://crates.io/api/v1/crates/app_dirs2/2.3.3/download -> app_dirs2-2.3.3.crate https://crates.io/api/v1/crates/assert_cmd/2.0.2/download -> assert_cmd-2.0.2.crate https://crates.io/api/v1/crates/atty/0.2.14/download -> atty-0.2.14.crate https://crates.io/api/v1/crates/autocfg/1.0.1/download -> autocfg-1.0.1.crate https://crates.io/api/v1/crates/base64/0.13.0/download -> base64-0.13.0.crate https://crates.io/api/v1/crates/bitflags/1.3.2/download -> bitflags-1.3.2.crate https://crates.io/api/v1/crates/bstr/0.2.17/download -> bstr-0.2.17.crate https://crates.io/api/v1/crates/bumpalo/3.8.0/download -> bumpalo-3.8.0.crate https://crates.io/api/v1/crates/byteorder/1.4.3/download -> byteorder-1.4.3.crate https://crates.io/api/v1/crates/bytes/1.1.0/download -> bytes-1.1.0.crate https://crates.io/api/v1/crates/cc/1.0.72/download -> cc-1.0.72.crate https://crates.io/api/v1/crates/cesu8/1.1.0/download -> cesu8-1.1.0.crate https://crates.io/api/v1/crates/cfg-if/1.0.0/download -> cfg-if-1.0.0.crate https://crates.io/api/v1/crates/clap/3.0.0-rc.11/download -> clap-3.0.0-rc.11.crate https://crates.io/api/v1/crates/clap_derive/3.0.0-rc.11/download -> clap_derive-3.0.0-rc.11.crate https://crates.io/api/v1/crates/combine/4.6.2/download -> combine-4.6.2.crate https://crates.io/api/v1/crates/core-foundation/0.9.2/download -> core-foundation-0.9.2.crate https://crates.io/api/v1/crates/core-foundation-sys/0.8.3/download -> core-foundation-sys-0.8.3.crate https://crates.io/api/v1/crates/crc32fast/1.3.0/download -> crc32fast-1.3.0.crate https://crates.io/api/v1/crates/darling/0.10.2/download -> darling-0.10.2.crate https://crates.io/api/v1/crates/darling_core/0.10.2/download -> darling_core-0.10.2.crate https://crates.io/api/v1/crates/darling_macro/0.10.2/download -> darling_macro-0.10.2.crate https://crates.io/api/v1/crates/difflib/0.4.0/download -> difflib-0.4.0.crate https://crates.io/api/v1/crates/dirs/3.0.2/download -> dirs-3.0.2.crate https://crates.io/api/v1/crates/dirs-sys/0.3.6/download -> dirs-sys-0.3.6.crate https://crates.io/api/v1/crates/doc-comment/0.3.3/download -> doc-comment-0.3.3.crate https://crates.io/api/v1/crates/either/1.6.1/download -> either-1.6.1.crate https://crates.io/api/v1/crates/encoding_rs/0.8.30/download -> encoding_rs-0.8.30.crate https://crates.io/api/v1/crates/env_logger/0.9.0/download -> env_logger-0.9.0.crate https://crates.io/api/v1/crates/errno/0.2.8/download -> errno-0.2.8.crate https://crates.io/api/v1/crates/errno-dragonfly/0.1.2/download -> errno-dragonfly-0.1.2.crate https://crates.io/api/v1/crates/escargot/0.5.7/download -> escargot-0.5.7.crate https://crates.io/api/v1/crates/filetime/0.2.15/download -> filetime-0.2.15.crate https://crates.io/api/v1/crates/flate2/1.0.22/download -> flate2-1.0.22.crate https://crates.io/api/v1/crates/float-cmp/0.9.0/download -> float-cmp-0.9.0.crate https://crates.io/api/v1/crates/fnv/1.0.7/download -> fnv-1.0.7.crate https://crates.io/api/v1/crates/form_urlencoded/1.0.1/download -> form_urlencoded-1.0.1.crate https://crates.io/api/v1/crates/futures-channel/0.3.19/download -> futures-channel-0.3.19.crate https://crates.io/api/v1/crates/futures-core/0.3.19/download -> futures-core-0.3.19.crate https://crates.io/api/v1/crates/futures-io/0.3.19/download -> futures-io-0.3.19.crate https://crates.io/api/v1/crates/futures-sink/0.3.19/download -> futures-sink-0.3.19.crate https://crates.io/api/v1/crates/futures-task/0.3.19/download -> futures-task-0.3.19.crate https://crates.io/api/v1/crates/futures-util/0.3.19/download -> futures-util-0.3.19.crate https://crates.io/api/v1/crates/getrandom/0.2.3/download -> getrandom-0.2.3.crate https://crates.io/api/v1/crates/h2/0.3.9/download -> h2-0.3.9.crate https://crates.io/api/v1/crates/hashbrown/0.11.2/download -> hashbrown-0.11.2.crate https://crates.io/api/v1/crates/heck/0.3.3/download -> heck-0.3.3.crate https://crates.io/api/v1/crates/hermit-abi/0.1.19/download -> hermit-abi-0.1.19.crate https://crates.io/api/v1/crates/http/0.2.6/download -> http-0.2.6.crate https://crates.io/api/v1/crates/http-body/0.4.4/download -> http-body-0.4.4.crate https://crates.io/api/v1/crates/httparse/1.5.1/download -> httparse-1.5.1.crate https://crates.io/api/v1/crates/httpdate/1.0.2/download -> httpdate-1.0.2.crate https://crates.io/api/v1/crates/humantime/2.1.0/download -> humantime-2.1.0.crate https://crates.io/api/v1/crates/hyper/0.14.16/download -> hyper-0.14.16.crate https://crates.io/api/v1/crates/hyper-rustls/0.23.0/download -> hyper-rustls-0.23.0.crate https://crates.io/api/v1/crates/ident_case/1.0.1/download -> ident_case-1.0.1.crate https://crates.io/api/v1/crates/idna/0.2.3/download -> idna-0.2.3.crate https://crates.io/api/v1/crates/indexmap/1.7.0/download -> indexmap-1.7.0.crate https://crates.io/api/v1/crates/ipnet/2.3.1/download -> ipnet-2.3.1.crate https://crates.io/api/v1/crates/itertools/0.10.3/download -> itertools-0.10.3.crate https://crates.io/api/v1/crates/itoa/0.4.8/download -> itoa-0.4.8.crate https://crates.io/api/v1/crates/itoa/1.0.1/download -> itoa-1.0.1.crate https://crates.io/api/v1/crates/jni/0.19.0/download -> jni-0.19.0.crate https://crates.io/api/v1/crates/jni-sys/0.3.0/download -> jni-sys-0.3.0.crate https://crates.io/api/v1/crates/js-sys/0.3.55/download -> js-sys-0.3.55.crate https://crates.io/api/v1/crates/lazy_static/1.4.0/download -> lazy_static-1.4.0.crate https://crates.io/api/v1/crates/libc/0.2.112/download -> libc-0.2.112.crate https://crates.io/api/v1/crates/log/0.4.14/download -> log-0.4.14.crate https://crates.io/api/v1/crates/matches/0.1.9/download -> matches-0.1.9.crate https://crates.io/api/v1/crates/memchr/2.4.1/download -> memchr-2.4.1.crate https://crates.io/api/v1/crates/mime/0.3.16/download -> mime-0.3.16.crate https://crates.io/api/v1/crates/miniz_oxide/0.4.4/download -> miniz_oxide-0.4.4.crate https://crates.io/api/v1/crates/mio/0.7.14/download -> mio-0.7.14.crate https://crates.io/api/v1/crates/miow/0.3.7/download -> miow-0.3.7.crate https://crates.io/api/v1/crates/ndk/0.4.0/download -> ndk-0.4.0.crate https://crates.io/api/v1/crates/ndk-glue/0.4.0/download -> ndk-glue-0.4.0.crate https://crates.io/api/v1/crates/ndk-macro/0.2.0/download -> ndk-macro-0.2.0.crate https://crates.io/api/v1/crates/ndk-sys/0.2.2/download -> ndk-sys-0.2.2.crate https://crates.io/api/v1/crates/normalize-line-endings/0.3.0/download -> normalize-line-endings-0.3.0.crate https://crates.io/api/v1/crates/ntapi/0.3.6/download -> ntapi-0.3.6.crate https://crates.io/api/v1/crates/num-traits/0.2.14/download -> num-traits-0.2.14.crate https://crates.io/api/v1/crates/num_cpus/1.13.1/download -> num_cpus-1.13.1.crate https://crates.io/api/v1/crates/num_enum/0.5.6/download -> num_enum-0.5.6.crate https://crates.io/api/v1/crates/num_enum_derive/0.5.6/download -> num_enum_derive-0.5.6.crate https://crates.io/api/v1/crates/once_cell/1.9.0/download -> once_cell-1.9.0.crate https://crates.io/api/v1/crates/openssl-probe/0.1.4/download -> openssl-probe-0.1.4.crate https://crates.io/api/v1/crates/os_str_bytes/6.0.0/download -> os_str_bytes-6.0.0.crate https://crates.io/api/v1/crates/pager/0.16.0/download -> pager-0.16.0.crate https://crates.io/api/v1/crates/percent-encoding/2.1.0/download -> percent-encoding-2.1.0.crate https://crates.io/api/v1/crates/pin-project-lite/0.2.8/download -> pin-project-lite-0.2.8.crate https://crates.io/api/v1/crates/pin-utils/0.1.0/download -> pin-utils-0.1.0.crate https://crates.io/api/v1/crates/ppv-lite86/0.2.16/download -> ppv-lite86-0.2.16.crate https://crates.io/api/v1/crates/predicates/2.1.0/download -> predicates-2.1.0.crate https://crates.io/api/v1/crates/predicates-core/1.0.2/download -> predicates-core-1.0.2.crate https://crates.io/api/v1/crates/predicates-tree/1.0.4/download -> predicates-tree-1.0.4.crate https://crates.io/api/v1/crates/proc-macro-crate/0.1.5/download -> proc-macro-crate-0.1.5.crate https://crates.io/api/v1/crates/proc-macro-crate/1.1.0/download -> proc-macro-crate-1.1.0.crate https://crates.io/api/v1/crates/proc-macro-error/1.0.4/download -> proc-macro-error-1.0.4.crate https://crates.io/api/v1/crates/proc-macro-error-attr/1.0.4/download -> proc-macro-error-attr-1.0.4.crate https://crates.io/api/v1/crates/proc-macro2/1.0.36/download -> proc-macro2-1.0.36.crate https://crates.io/api/v1/crates/quote/1.0.14/download -> quote-1.0.14.crate https://crates.io/api/v1/crates/rand/0.8.4/download -> rand-0.8.4.crate https://crates.io/api/v1/crates/rand_chacha/0.3.1/download -> rand_chacha-0.3.1.crate https://crates.io/api/v1/crates/rand_core/0.6.3/download -> rand_core-0.6.3.crate https://crates.io/api/v1/crates/rand_hc/0.3.1/download -> rand_hc-0.3.1.crate https://crates.io/api/v1/crates/redox_syscall/0.2.10/download -> redox_syscall-0.2.10.crate https://crates.io/api/v1/crates/redox_users/0.4.0/download -> redox_users-0.4.0.crate https://crates.io/api/v1/crates/regex/1.5.4/download -> regex-1.5.4.crate https://crates.io/api/v1/crates/regex-automata/0.1.10/download -> regex-automata-0.1.10.crate https://crates.io/api/v1/crates/regex-syntax/0.6.25/download -> regex-syntax-0.6.25.crate https://crates.io/api/v1/crates/remove_dir_all/0.5.3/download -> remove_dir_all-0.5.3.crate https://crates.io/api/v1/crates/reqwest/0.11.8/download -> reqwest-0.11.8.crate https://crates.io/api/v1/crates/ring/0.16.20/download -> ring-0.16.20.crate https://crates.io/api/v1/crates/rustls/0.20.2/download -> rustls-0.20.2.crate https://crates.io/api/v1/crates/rustls-native-certs/0.6.1/download -> rustls-native-certs-0.6.1.crate https://crates.io/api/v1/crates/rustls-pemfile/0.2.1/download -> rustls-pemfile-0.2.1.crate https://crates.io/api/v1/crates/ryu/1.0.9/download -> ryu-1.0.9.crate https://crates.io/api/v1/crates/same-file/1.0.6/download -> same-file-1.0.6.crate https://crates.io/api/v1/crates/schannel/0.1.19/download -> schannel-0.1.19.crate https://crates.io/api/v1/crates/sct/0.7.0/download -> sct-0.7.0.crate https://crates.io/api/v1/crates/security-framework/2.4.2/download -> security-framework-2.4.2.crate https://crates.io/api/v1/crates/security-framework-sys/2.4.2/download -> security-framework-sys-2.4.2.crate https://crates.io/api/v1/crates/serde/1.0.132/download -> serde-1.0.132.crate https://crates.io/api/v1/crates/serde_derive/1.0.132/download -> serde_derive-1.0.132.crate https://crates.io/api/v1/crates/serde_json/1.0.73/download -> serde_json-1.0.73.crate https://crates.io/api/v1/crates/serde_urlencoded/0.7.0/download -> serde_urlencoded-0.7.0.crate https://crates.io/api/v1/crates/slab/0.4.5/download -> slab-0.4.5.crate https://crates.io/api/v1/crates/socket2/0.4.2/download -> socket2-0.4.2.crate https://crates.io/api/v1/crates/spin/0.5.2/download -> spin-0.5.2.crate https://crates.io/api/v1/crates/strsim/0.9.3/download -> strsim-0.9.3.crate https://crates.io/api/v1/crates/strsim/0.10.0/download -> strsim-0.10.0.crate https://crates.io/api/v1/crates/syn/1.0.84/download -> syn-1.0.84.crate https://crates.io/api/v1/crates/tealdeer/1.5.0/download -> tealdeer-1.5.0.crate https://crates.io/api/v1/crates/tempfile/3.2.0/download -> tempfile-3.2.0.crate https://crates.io/api/v1/crates/termcolor/1.1.2/download -> termcolor-1.1.2.crate https://crates.io/api/v1/crates/termtree/0.2.3/download -> termtree-0.2.3.crate https://crates.io/api/v1/crates/textwrap/0.14.2/download -> textwrap-0.14.2.crate https://crates.io/api/v1/crates/thiserror/1.0.30/download -> thiserror-1.0.30.crate https://crates.io/api/v1/crates/thiserror-impl/1.0.30/download -> thiserror-impl-1.0.30.crate https://crates.io/api/v1/crates/tinyvec/1.5.1/download -> tinyvec-1.5.1.crate https://crates.io/api/v1/crates/tinyvec_macros/0.1.0/download -> tinyvec_macros-0.1.0.crate https://crates.io/api/v1/crates/tokio/1.15.0/download -> tokio-1.15.0.crate https://crates.io/api/v1/crates/tokio-rustls/0.23.2/download -> tokio-rustls-0.23.2.crate https://crates.io/api/v1/crates/tokio-util/0.6.9/download -> tokio-util-0.6.9.crate https://crates.io/api/v1/crates/toml/0.5.8/download -> toml-0.5.8.crate https://crates.io/api/v1/crates/tower-service/0.3.1/download -> tower-service-0.3.1.crate https://crates.io/api/v1/crates/tracing/0.1.29/download -> tracing-0.1.29.crate https://crates.io/api/v1/crates/tracing-core/0.1.21/download -> tracing-core-0.1.21.crate https://crates.io/api/v1/crates/try-lock/0.2.3/download -> try-lock-0.2.3.crate https://crates.io/api/v1/crates/unicode-bidi/0.3.7/download -> unicode-bidi-0.3.7.crate https://crates.io/api/v1/crates/unicode-normalization/0.1.19/download -> unicode-normalization-0.1.19.crate https://crates.io/api/v1/crates/unicode-segmentation/1.8.0/download -> unicode-segmentation-1.8.0.crate https://crates.io/api/v1/crates/unicode-xid/0.2.2/download -> unicode-xid-0.2.2.crate https://crates.io/api/v1/crates/untrusted/0.7.1/download -> untrusted-0.7.1.crate https://crates.io/api/v1/crates/url/2.2.2/download -> url-2.2.2.crate https://crates.io/api/v1/crates/version_check/0.9.4/download -> version_check-0.9.4.crate https://crates.io/api/v1/crates/wait-timeout/0.2.0/download -> wait-timeout-0.2.0.crate https://crates.io/api/v1/crates/walkdir/2.3.2/download -> walkdir-2.3.2.crate https://crates.io/api/v1/crates/want/0.3.0/download -> want-0.3.0.crate https://crates.io/api/v1/crates/wasi/0.10.2+wasi-snapshot-preview1/download -> wasi-0.10.2+wasi-snapshot-preview1.crate https://crates.io/api/v1/crates/wasm-bindgen/0.2.78/download -> wasm-bindgen-0.2.78.crate https://crates.io/api/v1/crates/wasm-bindgen-backend/0.2.78/download -> wasm-bindgen-backend-0.2.78.crate https://crates.io/api/v1/crates/wasm-bindgen-futures/0.4.28/download -> wasm-bindgen-futures-0.4.28.crate https://crates.io/api/v1/crates/wasm-bindgen-macro/0.2.78/download -> wasm-bindgen-macro-0.2.78.crate https://crates.io/api/v1/crates/wasm-bindgen-macro-support/0.2.78/download -> wasm-bindgen-macro-support-0.2.78.crate https://crates.io/api/v1/crates/wasm-bindgen-shared/0.2.78/download -> wasm-bindgen-shared-0.2.78.crate https://crates.io/api/v1/crates/web-sys/0.3.55/download -> web-sys-0.3.55.crate https://crates.io/api/v1/crates/webpki/0.22.0/download -> webpki-0.22.0.crate https://crates.io/api/v1/crates/webpki-roots/0.22.2/download -> webpki-roots-0.22.2.crate https://crates.io/api/v1/crates/winapi/0.3.9/download -> winapi-0.3.9.crate https://crates.io/api/v1/crates/winapi-i686-pc-windows-gnu/0.4.0/download -> winapi-i686-pc-windows-gnu-0.4.0.crate https://crates.io/api/v1/crates/winapi-util/0.1.5/download -> winapi-util-0.1.5.crate https://crates.io/api/v1/crates/winapi-x86_64-pc-windows-gnu/0.4.0/download -> winapi-x86_64-pc-windows-gnu-0.4.0.crate https://crates.io/api/v1/crates/winreg/0.7.0/download -> winreg-0.7.0.crate https://crates.io/api/v1/crates/xdg/2.4.0/download -> xdg-2.4.0.crate https://crates.io/api/v1/crates/zip/0.5.13/download -> zip-0.5.13.crate -_eclasses_=multiprocessing 61c959fc55c15c00bbb1079d6a71370b toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 cargo 7ea27a358c2ff39754bf66a96c06f3de bash-completion-r1 d3a60385655d9b402be765a6de333245 -_md5_=14aff76a5772158e3e15ab12ccbad60f +_eclasses_=multiprocessing 61c959fc55c15c00bbb1079d6a71370b toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 cargo 7ea27a358c2ff39754bf66a96c06f3de flag-o-matic d5e1306543bc457213f68bb18f830d14 bash-completion-r1 d3a60385655d9b402be765a6de333245 +_md5_=df36ae453d5465e56a1b8b58690e28e1 diff --git a/metadata/md5-cache/media-sound/noson-app-4.5.1 b/metadata/md5-cache/media-sound/noson-app-4.5.2 similarity index 93% rename from metadata/md5-cache/media-sound/noson-app-4.5.1 rename to metadata/md5-cache/media-sound/noson-app-4.5.2 index d46ee3961e..7c6bd1c297 100644 --- a/metadata/md5-cache/media-sound/noson-app-4.5.1 +++ b/metadata/md5-cache/media-sound/noson-app-4.5.2 @@ -9,6 +9,6 @@ KEYWORDS=~amd64 ~x86 LICENSE=GPL-3 RDEPEND=>=dev-qt/qtcore-5.9 >=dev-qt/qtdbus-5.9 >=dev-qt/qtnetwork-5.9 >=dev-qt/qttranslations-5.9 >=dev-qt/qtgui-5.9 >=dev-qt/qtquickcontrols2-5.9 >=dev-qt/qtsvg-5.9 dev-libs/openssl:0 media-libs/flac media-sound/pulseaudio SLOT=0 -SRC_URI=https://github.com/janbar/noson-app/archive/4.5.1.tar.gz -> noson-app-4.5.1.tar.gz +SRC_URI=https://github.com/janbar/noson-app/archive/4.5.2.tar.gz -> noson-app-4.5.2.tar.gz _eclasses_=xdg-utils 4f29a8b760a594a212abe9c2ba957c31 xdg 6024fbc93167fad782e2032933654857 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 edos2unix 33e347e171066657f91f8b0c72ec8773 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 wrapper 4251d4c84c25f59094fd557e0063a974 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic d5e1306543bc457213f68bb18f830d14 multiprocessing 61c959fc55c15c00bbb1079d6a71370b ninja-utils a4dab848a4490e8e48cf0baab3e61bc2 cmake 11fee991ab428a3370e5c20fa8231fb6 _md5_=42107c500cc9c002540c5bc8e7ca6347 diff --git a/metadata/md5-cache/net-voip/discover-overlay-0.4.0 b/metadata/md5-cache/net-voip/discover-overlay-0.4.0 new file mode 100644 index 0000000000..29c23abdd8 --- /dev/null +++ b/metadata/md5-cache/net-voip/discover-overlay-0.4.0 @@ -0,0 +1,15 @@ +BDEPEND=python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) >=dev-python/setuptools-42.0.2[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] +DEFINED_PHASES=compile configure install prepare test +DESCRIPTION=Yet another Discord overlay for Linux written in Python using GTK3 +EAPI=8 +HOMEPAGE=https://github.com/trigg/Discover +INHERIT=distutils-r1 +IUSE=python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 +KEYWORDS=~amd64 +LICENSE=GPL-3 +RDEPEND=>=dev-python/pygobject-3.22[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/websocket-client[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pyxdg[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/requests[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] >=dev-python/python-pidfile-3.0.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pillow[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/python-xlib[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) +REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 ) +SLOT=0 +SRC_URI=mirror://pypi/d/discover-overlay/discover-overlay-0.4.0.tar.gz +_eclasses_=multiprocessing 61c959fc55c15c00bbb1079d6a71370b toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 multibuild 05a584848db4901c97fcd94ae7cc3a97 python-utils-r1 7ec9eb6bbbeccd424c0430368962d272 python-r1 4c008ab1e6c02cbead059dfe8b864c26 distutils-r1 f57fddd704fa9e86e732403aaa7ab164 +_md5_=96f9de5c630972b43973dcff58004424 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-24.0 new file mode 100644 index 0000000000..eb331f3dec --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure postinst prepare +DEPEND=>=dev-lang/ocaml-4.08.1[ocamlopt?] >=dev-ml/ocamlgraph-1.8.8[gtk(-)?,ocamlopt?] >=dev-ml/zarith-1.5[ocamlopt?] >=dev-ml/yojson-1.4.1[ocamlopt?] gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] ) media-gfx/graphviz +DESCRIPTION=Framework for analysis of source codes written in C +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools toolchain-funcs +IUSE=gtk +ocamlopt +KEYWORDS=~amd64 +LICENSE=BSD LGPL-2 LGPL-2.1 +RDEPEND=>=dev-lang/ocaml-4.08.1[ocamlopt?] >=dev-ml/ocamlgraph-1.8.8[gtk(-)?,ocamlopt?] >=dev-ml/zarith-1.5[ocamlopt?] >=dev-ml/yojson-1.4.1[ocamlopt?] gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] ) +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf +_md5_=f5c89d624460284b8aa6f7e729191113 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-aorai-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-aorai-24.0 new file mode 100644 index 0000000000..26ce3449ea --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-aorai-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] eva? ( ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ) >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Aorai (automaton annotations) plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=eva +ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] eva? ( ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ) dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=7fa41ef87050bffd59d89b62bf989fde diff --git a/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 new file mode 100644 index 0000000000..106cec2b94 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-callgraph-24.0 @@ -0,0 +1,17 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Callgraph plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=gtk +ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +PDEPEND=~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] +RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=755c50f31fc53e95fa0513bd7a698119 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-24.0 new file mode 100644 index 0000000000..727abd47a1 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-constant-folding-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Constant folding plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=9dedafbdf10127892f0ea6711ebe9e97 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-dive-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-dive-24.0 new file mode 100644 index 0000000000..e00aa339b7 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-dive-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-studia-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-server-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Dive plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-studia-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-server-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=e80c1e038c7cfcc33dfbcab484082def diff --git a/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-24.0 new file mode 100644 index 0000000000..99a7064572 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-e-acsl-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Runtime verification of ACSL (E-ACSL) plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=BSD LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=d40816a2ad82878feff86082c24821dc diff --git a/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 new file mode 100644 index 0000000000..b495483efe --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-eva-24.0 @@ -0,0 +1,17 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-loopanalysis-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-server-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Value analysis (EVA) plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=gtk +ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +PDEPEND=~sci-mathematics/frama-c-scope-24.0:=[ocamlopt?] +RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-loopanalysis-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-server-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=89cc502e094992cf5d325fdf8220fe16 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-from-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-from-24.0 new file mode 100644 index 0000000000..4b5076b15a --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-from-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-postdominators-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=From analysis plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=gtk +ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-postdominators-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=f767ec28128d3533df37c04412bbb994 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 new file mode 100644 index 0000000000..16708a0c4c --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-impact-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-24.0:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Impact plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=gtk +ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-24.0:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=b1e2e92fd1eb7052474e4838c44870ef diff --git a/metadata/md5-cache/sci-mathematics/frama-c-inout-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-inout-24.0 new file mode 100644 index 0000000000..25a7de4896 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-inout-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-from-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=In/out analysis plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-from-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=2299a5e7515a66156a49ddf6a2469466 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-instantiate-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-instantiate-24.0 new file mode 100644 index 0000000000..2cf6199a9c --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-instantiate-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Instantiate analysis plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=94611d89934f45b08e938b4fb377c203 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-24.0 new file mode 100644 index 0000000000..d554cb5e01 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-loopanalysis-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Loop analysis plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=abc760813fa689b50ed538f21a69a3f6 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 new file mode 100644 index 0000000000..f516014236 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-metrics-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Metrics plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=gtk +ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=fa91f70d6ea0636aab3bccfab6fd1887 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-nonterm-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-nonterm-24.0 new file mode 100644 index 0000000000..c8e64b4ef8 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-nonterm-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Nonterm plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=5ca966bc7e3a2f7ba4a98f14477a9392 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-24.0 new file mode 100644 index 0000000000..02d0ad6a84 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-obfuscator-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Obfuscator plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=e4e3cabcf20de8198dbf0f9d0c53cb5b diff --git a/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 new file mode 100644 index 0000000000..ab1c5185df --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-occurrence-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Occurrence analysis plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=gtk +ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=13b9f33b079600776285a44deecb6c65 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-pdg-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-pdg-24.0 new file mode 100644 index 0000000000..99ba740411 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-pdg-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-from-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Program dependence graph plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-from-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=fc51cc62af4dbab1d63e29a57df19824 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-postdominators-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-postdominators-24.0 new file mode 100644 index 0000000000..cfb87863c6 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-postdominators-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Postdominators plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=4aab26253bedf961f9c057d1d0e45964 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-printapi-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-printapi-24.0 new file mode 100644 index 0000000000..f1985b5147 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-printapi-24.0 @@ -0,0 +1,15 @@ +DEFINED_PHASES=compile install +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Plugin generating .mli interface files for plugin APIs for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=findlib e6df6108c2d753998b1206f4d5ea4a2d toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 +_md5_=27e5049e26dc2664f2d29ddc8fc32e5a diff --git a/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 new file mode 100644 index 0000000000..342d9f107e --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-qed-24.0 @@ -0,0 +1,15 @@ +DEFINED_PHASES=compile install +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Qed plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=findlib toolchain-funcs +IUSE=gtk +ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=findlib e6df6108c2d753998b1206f4d5ea4a2d toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 +_md5_=c01a57f3e70a4e1e2c96eab32c0e26aa diff --git a/metadata/md5-cache/sci-mathematics/frama-c-report-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-report-24.0 new file mode 100644 index 0000000000..e2c533c8a5 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-report-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Report plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=31cae3780402b7f2262b1d942728f426 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-rtegen-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-rtegen-24.0 new file mode 100644 index 0000000000..8cdc10ee5f --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-rtegen-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Runtime error annotation (RTE) generation plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=30c4b3888bc6dfbe06e870c62a510719 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 new file mode 100644 index 0000000000..86408a38ca --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-scope-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Scope plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=gtk +ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-inout-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=e6d3f7d456ee0012869e11a820c24306 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-24.0 new file mode 100644 index 0000000000..68acefee55 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-security-slicing-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-24.0:=[gtk,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Security slicing plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-slicing-24.0:=[gtk,ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=b28ac4c9f2b5b2b77969219d1c5118da diff --git a/metadata/md5-cache/sci-mathematics/frama-c-server-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-server-24.0 new file mode 100644 index 0000000000..3d9faf5d55 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-server-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Server plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=5eca3d9d18255fb05b3f2e90a3af29fa diff --git a/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 new file mode 100644 index 0000000000..ff14ca9aa5 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-slicing-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-sparecode-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Slicing plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=gtk +ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-sparecode-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=a7ed4fe47cfe6dabc3bbdc0f38a94ead diff --git a/metadata/md5-cache/sci-mathematics/frama-c-sparecode-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-sparecode-24.0 new file mode 100644 index 0000000000..7b41099666 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-sparecode-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-users-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Spare code plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-users-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=f764aa15e52083a1f9af84450002f9e6 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 new file mode 100644 index 0000000000..31a00ad92b --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-studia-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Studia plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=gtk +ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[gtk?,ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=87e316a19d544807264428e2dbf865eb diff --git a/metadata/md5-cache/sci-mathematics/frama-c-users-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-users-24.0 new file mode 100644 index 0000000000..3407137357 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-users-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Users plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-callgraph-24.0:=[ocamlopt?] ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=f49b36ca2478b77361e9f6541a7b8416 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-variadic-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-variadic-24.0 new file mode 100644 index 0000000000..4b15cd5f60 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-variadic-24.0 @@ -0,0 +1,16 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Variadic function transformation plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=+ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=e4dad3dd93bb7025e80c844e272ba197 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 a6203b3350..d16af3f1eb 100644 --- a/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1 +++ b/metadata/md5-cache/sci-mathematics/frama-c-wp-23.1 @@ -13,4 +13,4 @@ RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz _eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d -_md5_=97eb54760cb787cb1df1db59d273381d +_md5_=f500e42b779578963542dbf47831f374 diff --git a/metadata/md5-cache/sci-mathematics/frama-c-wp-24.0 b/metadata/md5-cache/sci-mathematics/frama-c-wp-24.0 new file mode 100644 index 0000000000..5586754e00 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/frama-c-wp-24.0 @@ -0,0 +1,16 @@ +BDEPEND=coq? ( >=sci-mathematics/coq-8.12.0 =app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +DEFINED_PHASES=compile configure install prepare +DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 >=dev-ml/findlib-1.0.4-r1 +DESCRIPTION=Deductive proof of ACSL contracts (WP) plugin for frama-c +EAPI=7 +HOMEPAGE=https://frama-c.com +INHERIT=autotools findlib toolchain-funcs +IUSE=coq gtk +ocamlopt +ocamlopt +KEYWORDS=~amd64 +LICENSE=LGPL-2.1 +RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 dev-lang/ocaml:=[ocamlopt?] +RESTRICT=strip +SLOT=0 +SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz +_eclasses_=gnuconfig 262062cef0ba4f22b397193da514a350 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf findlib e6df6108c2d753998b1206f4d5ea4a2d +_md5_=98b57ab38554f990e58a5824f0aad0b7 diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index index 7a75262257..d5278a9571 100644 --- a/metadata/pkg_desc_index +++ b/metadata/pkg_desc_index @@ -105,7 +105,7 @@ app-misc/grit 0.3.0: An personal task manager that represents tasks as multitree app-misc/hollywood 1.22: Fill your console with Hollywood melodrama technobabble app-misc/lf 20 22: Terminal file manager app-misc/liquidctl 1.7.2: Cross-platform tool and drivers for liquid coolers and other devices -app-misc/macchina 5.0.2: A system information fetcher, with an (unhealthy) emphasis on performance. +app-misc/macchina 5.0.2 6.0.5: A system information fetcher, with an (unhealthy) emphasis on performance. app-misc/mangadesk 0.7.5: Terminal Client for MangaDex app-misc/mat2 0.12.2: Metadata Anonymisation Toolkit: handy tool to trash your metadata app-misc/mobile-datovka 1.10.0: Mobile optimized GUI to access the Czech data box e-government system @@ -878,7 +878,7 @@ media-sound/loudgain 0.6.8: Versatile ReplayGain 2.0 loudness normalizer media-sound/mopidy 3.2.0: An extensible music server written in Python. media-sound/ncpamixer 1.3.3.1: A ncurses mixer for PulseAudio inspired by pavucontrol media-sound/netcat-cpi 2014.04.29: Kernel module edition of the Cycles Per Instruction (2014) album -media-sound/noson-app 4.5.1: The essential to control music from your SONOS devices on Linux platforms +media-sound/noson-app 4.5.2: The essential to control music from your SONOS devices on Linux platforms media-sound/nuclear-bin 0.6.15: Nuclear is a streaming program that pulls content from free sources on internet media-sound/pianobooster 1.0.0: A MIDI player/game that displays notes and teaches you how to play the piano media-sound/pulseaudio-virtualmic 0.1 9999: Use any offline or online media file or stream as a PulseAudio source @@ -971,7 +971,7 @@ net-p2p/monero 0.17.2.0 0.17.2.3 9999: The secure, private, untraceable cryptocu net-p2p/nuxhash 1.0.0_beta2_p20191013: NiceHash cryptocurrency mining client for Linux net-p2p/trezord-go 2.0.29-r1 2.0.30: TREZOR Communication Daemon net-p2p/yggdrasil-go 0.3.13-r1 0.3.14 0.3.15 0.4.0: An experiment in scalable routing as an encrypted IPv6 overlay network -net-voip/discover-overlay 0.3.3: Yet another Discord overlay for Linux written in Python using GTK3 +net-voip/discover-overlay 0.3.3 0.4.0: Yet another Discord overlay for Linux written in Python using GTK3 net-voip/gnome-calls 41.1: Phone dialer and call handler net-wireless/iwdgui 0.1.0 0.2.0: A graphical frontend for IWD, Intel's iNet Wireless Daemon net-wireless/rtl8192eu 0_pre20211023: Realtek 8192EU driver module for Linux kernel @@ -993,37 +993,37 @@ sci-libs/meschach 1.2b_p20170511-r1: Meschach is a C-language library of routine sci-libs/saclib 2.2.8: Reference implementations of algorithms and forms the basis of QEPCAD sci-libs/slicot 5.0_p20101122: Subroutine Library in Systems and Control Theory sci-mathematics/chaco 2.2-r2: Software for Partitioning Graphs -sci-mathematics/frama-c 23.1: Framework for analysis of source codes written in C -sci-mathematics/frama-c-aorai 23.1: Aorai (automaton annotations) plugin for frama-c -sci-mathematics/frama-c-callgraph 23.1: Callgraph plugin for frama-c -sci-mathematics/frama-c-constant-folding 23.1: Constant folding plugin for frama-c -sci-mathematics/frama-c-dive 23.1: Dive plugin for frama-c -sci-mathematics/frama-c-e-acsl 23.1: Runtime verification of ACSL (E-ACSL) plugin for frama-c -sci-mathematics/frama-c-eva 23.1: Value analysis (EVA) plugin for frama-c -sci-mathematics/frama-c-from 23.1: From analysis plugin for frama-c -sci-mathematics/frama-c-impact 23.1: Impact plugin for frama-c -sci-mathematics/frama-c-inout 23.1: In/out analysis plugin for frama-c -sci-mathematics/frama-c-instantiate 23.1: Instantiate analysis plugin for frama-c -sci-mathematics/frama-c-loopanalysis 23.1: Loop analysis plugin for frama-c -sci-mathematics/frama-c-metrics 23.1: Metrics plugin for frama-c -sci-mathematics/frama-c-nonterm 23.1: Nonterm plugin for frama-c -sci-mathematics/frama-c-obfuscator 23.1: Obfuscator plugin for frama-c -sci-mathematics/frama-c-occurrence 23.1: Occurrence analysis plugin for frama-c -sci-mathematics/frama-c-pdg 23.1: Program dependence graph plugin for frama-c -sci-mathematics/frama-c-postdominators 23.1: Postdominators plugin for frama-c -sci-mathematics/frama-c-printapi 23.1: Plugin generating .mli interface files for plugin APIs for frama-c -sci-mathematics/frama-c-qed 23.1: Qed plugin for frama-c -sci-mathematics/frama-c-report 23.1: Report plugin for frama-c -sci-mathematics/frama-c-rtegen 23.1: Runtime error annotation (RTE) generation plugin for frama-c -sci-mathematics/frama-c-scope 23.1: Scope plugin for frama-c -sci-mathematics/frama-c-security-slicing 23.1: Security slicing plugin for frama-c -sci-mathematics/frama-c-server 23.1: Server plugin for frama-c -sci-mathematics/frama-c-slicing 23.1: Slicing plugin for frama-c -sci-mathematics/frama-c-sparecode 23.1: Spare code plugin for frama-c -sci-mathematics/frama-c-studia 23.1: Studia plugin for frama-c -sci-mathematics/frama-c-users 23.1: Users plugin for frama-c -sci-mathematics/frama-c-variadic 23.1: Variadic function transformation plugin for frama-c -sci-mathematics/frama-c-wp 23.1: Deductive proof of ACSL contracts (WP) plugin for frama-c +sci-mathematics/frama-c 23.1 24.0: Framework for analysis of source codes written in C +sci-mathematics/frama-c-aorai 23.1 24.0: Aorai (automaton annotations) plugin for frama-c +sci-mathematics/frama-c-callgraph 23.1 24.0: Callgraph plugin for frama-c +sci-mathematics/frama-c-constant-folding 23.1 24.0: Constant folding plugin for frama-c +sci-mathematics/frama-c-dive 23.1 24.0: Dive plugin for frama-c +sci-mathematics/frama-c-e-acsl 23.1 24.0: Runtime verification of ACSL (E-ACSL) plugin for frama-c +sci-mathematics/frama-c-eva 23.1 24.0: Value analysis (EVA) plugin for frama-c +sci-mathematics/frama-c-from 23.1 24.0: From analysis plugin for frama-c +sci-mathematics/frama-c-impact 23.1 24.0: Impact plugin for frama-c +sci-mathematics/frama-c-inout 23.1 24.0: In/out analysis plugin for frama-c +sci-mathematics/frama-c-instantiate 23.1 24.0: Instantiate analysis plugin for frama-c +sci-mathematics/frama-c-loopanalysis 23.1 24.0: Loop analysis plugin for frama-c +sci-mathematics/frama-c-metrics 23.1 24.0: Metrics plugin for frama-c +sci-mathematics/frama-c-nonterm 23.1 24.0: Nonterm plugin for frama-c +sci-mathematics/frama-c-obfuscator 23.1 24.0: Obfuscator plugin for frama-c +sci-mathematics/frama-c-occurrence 23.1 24.0: Occurrence analysis plugin for frama-c +sci-mathematics/frama-c-pdg 23.1 24.0: Program dependence graph plugin for frama-c +sci-mathematics/frama-c-postdominators 23.1 24.0: Postdominators plugin for frama-c +sci-mathematics/frama-c-printapi 23.1 24.0: Plugin generating .mli interface files for plugin APIs for frama-c +sci-mathematics/frama-c-qed 23.1 24.0: Qed plugin for frama-c +sci-mathematics/frama-c-report 23.1 24.0: Report plugin for frama-c +sci-mathematics/frama-c-rtegen 23.1 24.0: Runtime error annotation (RTE) generation plugin for frama-c +sci-mathematics/frama-c-scope 23.1 24.0: Scope plugin for frama-c +sci-mathematics/frama-c-security-slicing 23.1 24.0: Security slicing plugin for frama-c +sci-mathematics/frama-c-server 23.1 24.0: Server plugin for frama-c +sci-mathematics/frama-c-slicing 23.1 24.0: Slicing plugin for frama-c +sci-mathematics/frama-c-sparecode 23.1 24.0: Spare code plugin for frama-c +sci-mathematics/frama-c-studia 23.1 24.0: Studia plugin for frama-c +sci-mathematics/frama-c-users 23.1 24.0: Users plugin for frama-c +sci-mathematics/frama-c-variadic 23.1 24.0: Variadic function transformation plugin for frama-c +sci-mathematics/frama-c-wp 23.1 24.0: Deductive proof of ACSL contracts (WP) plugin for frama-c sci-mathematics/lean-mathlib 0.1_p20211021: Lean mathematical components library sci-mathematics/the-omega-project 2.1_p20131119: Tools from Pugh et al.'s for constraint-based compiler tools sci-misc/boinc-wrapper 7.16.17 7.16.17-r1: Wrapper to use non-BOINC apps with BOINC diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk index 2d411e06c7..1c99c71183 100644 --- a/metadata/timestamp.chk +++ b/metadata/timestamp.chk @@ -1 +1 @@ -Thu, 13 Jan 2022 15:51:40 +0000 +Fri, 14 Jan 2022 23:36:40 +0000