diff options
Diffstat (limited to 'metadata/md5-cache/dev-lang')
| -rw-r--r-- | metadata/md5-cache/dev-lang/Manifest.gz | bin | 40598 -> 40601 bytes | |||
| -rw-r--r-- | metadata/md5-cache/dev-lang/boogie-2.15.8-r4 (renamed from metadata/md5-cache/dev-lang/boogie-2.15.8-r3) | 6 | ||||
| -rw-r--r-- | metadata/md5-cache/dev-lang/gnat-gpl-2020 | 2 | ||||
| -rw-r--r-- | metadata/md5-cache/dev-lang/gnat-gpl-2021-r1 | 4 | ||||
| -rw-r--r-- | metadata/md5-cache/dev-lang/gnat-gpl-2021-r4 | 2 |
5 files changed, 7 insertions, 7 deletions
diff --git a/metadata/md5-cache/dev-lang/Manifest.gz b/metadata/md5-cache/dev-lang/Manifest.gz Binary files differindex 81e4d70e68ec..9fd02e7c7783 100644 --- a/metadata/md5-cache/dev-lang/Manifest.gz +++ b/metadata/md5-cache/dev-lang/Manifest.gz diff --git a/metadata/md5-cache/dev-lang/boogie-2.15.8-r3 b/metadata/md5-cache/dev-lang/boogie-2.15.8-r4 index be43e1fd1e0a..4f35c25c0a43 100644 --- a/metadata/md5-cache/dev-lang/boogie-2.15.8-r3 +++ b/metadata/md5-cache/dev-lang/boogie-2.15.8-r4 @@ -1,4 +1,4 @@ -BDEPEND=dev-libs/icu virtual/dotnet-sdk:6.0 test? ( dev-python/lit dev-python/OutputCheck ) +BDEPEND=virtual/dotnet-sdk:6.0 test? ( dev-python/lit dev-python/OutputCheck ) DEFINED_PHASES=compile configure install prepare test DESCRIPTION=SMT-based program verifier EAPI=8 @@ -7,9 +7,9 @@ INHERIT=edo multiprocessing IUSE=debug test KEYWORDS=~amd64 LICENSE=MIT -RDEPEND=dev-libs/icu virtual/dotnet-sdk:6.0 sci-mathematics/z3 +RDEPEND=virtual/dotnet-sdk:6.0 sci-mathematics/z3 RESTRICT=!test? ( test ) SLOT=0 SRC_URI=https://github.com/boogie-org/boogie/archive/v2.15.8.tar.gz -> boogie-2.15.8.tar.gz https://dev.gentoo.org/~xgqt/distfiles/deps/boogie-2.15.8-deps.tar.xz _eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 -_md5_=b241c6e6bf57235fa4596581ab73b193 +_md5_=4d791ba9f8f18154933e3fa1c6e6b7ef diff --git a/metadata/md5-cache/dev-lang/gnat-gpl-2020 b/metadata/md5-cache/dev-lang/gnat-gpl-2020 index d9874e21b364..cc5e67bcb574 100644 --- a/metadata/md5-cache/dev-lang/gnat-gpl-2020 +++ b/metadata/md5-cache/dev-lang/gnat-gpl-2020 @@ -14,4 +14,4 @@ RESTRICT=test SLOT=9.3.1 SRC_URI=https://community.download.adacore.com/v1/649a561ec6de9e476c54b02715b79f7503600ce5?filename=gnat-2020-20200429-19B04-src.tar.gz -> gnat-2020-20200429-19B04-src.tar.gz https://community.download.adacore.com/v1/e6b6a3e318e13248456bd37b758435e602b367da?filename=gcc-9-2020-20200429-19AA7-src.tar.gz -> gcc-9-2020-20200429-19AA7-src.tar.gz https://community.download.adacore.com/v1/c7a97636b31f3575df85f1eb0965462a353630dd?filename=gcc-interface-9-2020-20200429-19B10-src.tar.gz -> gcc-interface-9-2020-20200429-19B10-src.tar.gz bootstrap? ( amd64? ( http://mirrors.cdn.adacore.com/art/564b3ebec8e196b040fbe66c -> gnat-gpl-2014-x86_64-linux-bin.tar.gz ) x86? ( http://mirrors.cdn.adacore.com/art/564b3e9dc8e196b040fbe248 -> gnat-gpl-2014-x86-linux-bin.tar.gz ) ) https://dev.gentoo.org/~soap/distfiles/gcc-9.3.0-patches-5.tar.bz2 https://dev.gentoo.org/~sam/distfiles/gcc-9.3.0-patches-5.tar.bz2 https://dev.gentoo.org/~sam/distfiles/sys-devel/gcc/gcc-9.3.0-patches-5.tar.bz2 https://dev.gentoo.org/~tamiko/distfiles/gcc-9.3.0-patches-5.tar.bz2 https://dev.gentoo.org/~zorry/patches/gcc/gcc-9.3.0-patches-5.tar.bz2 https://dev.gentoo.org/~vapier/dist/gcc-9.3.0-patches-5.tar.bz2 https://dev.gentoo.org/~blueness/dist/gcc-9.3.0-patches-5.tar.bz2 mirror://gentoo/gcc-9.3.0-patches-5.tar.bz2 _eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 29a755b1291d64133634d80b0328f153 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 241a8f577b9781a42a7421e53448a44e multilib 5ca4e49abed8e3a2f7b56920eadee157 pax-utils 91d47e5d20627c717aa878b9167c62a8 prefix eab3c99d77fe00506c109c8a736186f7 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain 91c07e1bd43a5c526b67d956e9c0fe04 toolchain-funcs 1542e649be915f43f6908a9e93909961 wrapper 4a1902f969e5718126434fc35f3a0d9c -_md5_=9204bdac5e41aa901db39c4a1f328db2 +_md5_=bd9e9975f2d0d32625f5b149c9f8e319 diff --git a/metadata/md5-cache/dev-lang/gnat-gpl-2021-r1 b/metadata/md5-cache/dev-lang/gnat-gpl-2021-r1 index e51fa7036a0d..cb62b57a4cba 100644 --- a/metadata/md5-cache/dev-lang/gnat-gpl-2021-r1 +++ b/metadata/md5-cache/dev-lang/gnat-gpl-2021-r1 @@ -9,9 +9,9 @@ IUSE=+ada +bootstrap test vanilla +nls debug +cxx +nptl +fortran doc hardened mu KEYWORDS=amd64 x86 LICENSE=GPL-3+ LGPL-3+ || ( GPL-3+ libgcc libstdc++ gcc-runtime-library-exception-3.1 ) FDL-1.3+ GPL-2 GPL-3 PDEPEND=>=sys-devel/gcc-config-2.3 -RDEPEND=!~sys-devel/gcc-10.3.1 sys-libs/zlib virtual/libiconv nls? ( virtual/libintl ) >=dev-libs/gmp-4.3.2:0= >=dev-libs/mpfr-2.4.2:0= >=dev-libs/mpc-0.8.1:0= objc-gc? ( >=dev-libs/boehm-gc-7.4.2 ) graphite? ( >=dev-libs/isl-0.14:0= ) zstd? ( app-arch/zstd:= ) +RDEPEND=sys-libs/zlib virtual/libiconv nls? ( virtual/libintl ) >=dev-libs/gmp-4.3.2:0= >=dev-libs/mpfr-2.4.2:0= >=dev-libs/mpc-0.8.1:0= objc-gc? ( >=dev-libs/boehm-gc-7.4.2 ) graphite? ( >=dev-libs/isl-0.14:0= ) zstd? ( app-arch/zstd:= ) RESTRICT=test SLOT=10 SRC_URI=https://community.download.adacore.com/v1/005d2b2eff627177986d2517eb31e1959bec6f3a?filename=gnat-2021-20210519-19A70-src.tar.gz -> gnat-2021-20210519-19A70-src.tar.gz https://community.download.adacore.com/v1/44cd393be0b468cc253bf2cf9cf7804c993e7b5b?filename=gcc-10-2021-20210519-19A74-src.tar.gz -> gcc-10-2021-20210519-19A74-src.tar.gz https://community.download.adacore.com/v1/8ace7d06e469d36d726cc8badb0ed78411e727f3?filename=gcc-interface-10-2021-20210519-19A75-src.tar.gz -> gcc-interface-10-2021-20210519-19A75-src.tar.gz bootstrap? ( amd64? ( https://community.download.adacore.com/v1/6eb6eef6bb897e4c743a519bfebe0b1d6fc409c6?filename=gnat-gpl-2014-x86_64-linux-bin.tar.gz&rand=1193 -> gnat-gpl-2014-x86_64-linux-bin.tar.gz ) x86? ( https://community.download.adacore.com/v1/c5e9e6fdff5cb77ed90cf8c62536653e27c0bed6?filename=gnat-gpl-2014-x86-linux-bin.tar.gz&rand=436 -> gnat-gpl-2014-x86-linux-bin.tar.gz ) ) https://dev.gentoo.org/~soap/distfiles/gcc-10.3.0-patches-3.tar.bz2 https://dev.gentoo.org/~sam/distfiles/gcc-10.3.0-patches-3.tar.bz2 https://dev.gentoo.org/~sam/distfiles/sys-devel/gcc/gcc-10.3.0-patches-3.tar.bz2 https://dev.gentoo.org/~tamiko/distfiles/gcc-10.3.0-patches-3.tar.bz2 https://dev.gentoo.org/~zorry/patches/gcc/gcc-10.3.0-patches-3.tar.bz2 https://dev.gentoo.org/~vapier/dist/gcc-10.3.0-patches-3.tar.bz2 https://dev.gentoo.org/~blueness/dist/gcc-10.3.0-patches-3.tar.bz2 mirror://gentoo/gcc-10.3.0-patches-3.tar.bz2 _eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 29a755b1291d64133634d80b0328f153 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 241a8f577b9781a42a7421e53448a44e multilib 5ca4e49abed8e3a2f7b56920eadee157 pax-utils 91d47e5d20627c717aa878b9167c62a8 prefix eab3c99d77fe00506c109c8a736186f7 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain 91c07e1bd43a5c526b67d956e9c0fe04 toolchain-funcs 1542e649be915f43f6908a9e93909961 wrapper 4a1902f969e5718126434fc35f3a0d9c -_md5_=fa8fd8a43d3d6b6035abb3fd96dd4496 +_md5_=a25fba29aa285bb0c651f735bce6d81b diff --git a/metadata/md5-cache/dev-lang/gnat-gpl-2021-r4 b/metadata/md5-cache/dev-lang/gnat-gpl-2021-r4 index 7addac19c20e..8605ca09652a 100644 --- a/metadata/md5-cache/dev-lang/gnat-gpl-2021-r4 +++ b/metadata/md5-cache/dev-lang/gnat-gpl-2021-r4 @@ -14,4 +14,4 @@ RESTRICT=test !test? ( test ) SLOT=10 SRC_URI=https://community.download.adacore.com/v1/005d2b2eff627177986d2517eb31e1959bec6f3a?filename=gnat-2021-20210519-19A70-src.tar.gz -> gnat-2021-20210519-19A70-src.tar.gz https://community.download.adacore.com/v1/44cd393be0b468cc253bf2cf9cf7804c993e7b5b?filename=gcc-10-2021-20210519-19A74-src.tar.gz -> gcc-10-2021-20210519-19A74-src.tar.gz https://community.download.adacore.com/v1/8ace7d06e469d36d726cc8badb0ed78411e727f3?filename=gcc-interface-10-2021-20210519-19A75-src.tar.gz -> gcc-interface-10-2021-20210519-19A75-src.tar.gz bootstrap? ( amd64? ( https://community.download.adacore.com/v1/6eb6eef6bb897e4c743a519bfebe0b1d6fc409c6?filename=gnat-gpl-2014-x86_64-linux-bin.tar.gz&rand=1193 -> gnat-gpl-2014-x86_64-linux-bin.tar.gz ) x86? ( https://community.download.adacore.com/v1/c5e9e6fdff5cb77ed90cf8c62536653e27c0bed6?filename=gnat-gpl-2014-x86-linux-bin.tar.gz&rand=436 -> gnat-gpl-2014-x86-linux-bin.tar.gz ) ) https://dev.gentoo.org/~soap/distfiles/gcc-10.3.0-patches-4.tar.xz https://dev.gentoo.org/~sam/distfiles/gcc-10.3.0-patches-4.tar.xz https://dev.gentoo.org/~sam/distfiles/sys-devel/gcc/gcc-10.3.0-patches-4.tar.xz https://dev.gentoo.org/~tamiko/distfiles/gcc-10.3.0-patches-4.tar.xz https://dev.gentoo.org/~zorry/patches/gcc/gcc-10.3.0-patches-4.tar.xz https://dev.gentoo.org/~vapier/dist/gcc-10.3.0-patches-4.tar.xz https://dev.gentoo.org/~blueness/dist/gcc-10.3.0-patches-4.tar.xz mirror://gentoo/gcc-10.3.0-patches-4.tar.xz _eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 flag-o-matic 29a755b1291d64133634d80b0328f153 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 241a8f577b9781a42a7421e53448a44e multilib 5ca4e49abed8e3a2f7b56920eadee157 pax-utils 91d47e5d20627c717aa878b9167c62a8 prefix eab3c99d77fe00506c109c8a736186f7 toolchain 91c07e1bd43a5c526b67d956e9c0fe04 toolchain-funcs 1542e649be915f43f6908a9e93909961 -_md5_=2bcd3dcf866291a49c57ddc1393a5094 +_md5_=873236366d743eb9d117e2093e4dbf6f |