From aa7b35472fc1daaa29e1ac5402d63040dc9a2f6c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=A2=D1=80=D0=B0=D1=86=D0=B5=D0=B2=D1=81=D0=BA=D0=B8?= =?UTF-8?q?=D0=B9=20=D0=90=D0=BB=D0=B5=D0=BA=D1=81=D0=B0=D0=BD=D0=B4=D1=80?= Date: Wed, 13 Jan 2021 17:52:37 +0300 Subject: [PATCH] =?UTF-8?q?=D0=9E=D0=B1=D0=BD=D0=BE=D0=B2=D0=BB=D0=B5?= =?UTF-8?q?=D0=BD=D1=8B=20=D0=BC=D0=B0=D1=81=D0=BA=D0=B8?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- profiles/default/package.keywords/depends | 1 + 1 file changed, 1 insertion(+) diff --git a/profiles/default/package.keywords/depends b/profiles/default/package.keywords/depends index 6741b5e86..85f57044a 100644 --- a/profiles/default/package.keywords/depends +++ b/profiles/default/package.keywords/depends @@ -581,6 +581,7 @@ net-vpn/wireguard-tools amd64 ~sci-libs/xdrfile-1.1.4 amd64 ~sci-mathematics/coq-8.9.1 amd64 ~sci-mathematics/num-utils-0.5 amd64 +~sci-mathematics/why3-for-spark-2019 amd64 ~sci-misc/netlogo-bin-6.0.2 amd64 ~sci-physics/lammps-20200303 amd64 ~sci-physics/lhapdf-6.2.3 amd64